gpg -vv -r myid -e -a name,

:haskell: :gnu: :fsf:
usermod -a -G dialout $USER

Public Key

npub1wharawc5r9yp4g3ar5ha4rs0ve0xyl85z43rqmlhudxv6txs0sjsqhjvu8

NIP-05 Address

brokenix_at_emacs.ch@mostr.pub

Profile Code

nprofile1qqs8t737hv2pjjq65g736t763c8kvhnz0n6p2c3sdlm7xnxd9ng8cfgpz4mhxue69uhhyetvv9ujumt0wd68ytnsw43qn3stgx

Publishing to

relay.mostr.pub

Author Public Key

npub1wharawc5r9yp4g3ar5ha4rs0ve0xyl85z43rqmlhudxv6txs0sjsqhjvu8

Show more details

Last Notes

2024-08-18 15:26:11

- reply

@npub15fe…x47v so he used one substantiated? theory to prove an unsubstantiated theory

2024-08-13 08:59:56

- reply

@npub1dtw…85ra didn't occur me , nor do I know

2024-08-13 06:42:30

philosophically , is #rust finitist ?

2024-08-11 07:37:28

how you can support #foss if you just write #PDF?
well create it such that it allows external apps
st on can open them from termux and read them.in #amaze
else its no less than evil use of #drm

2024-08-09 06:57:00

#haskell vs #rust
h- you can't iterate over lists
r- just iter
h- list ops by simple keywords
r- use closures (capture references ie mover ownership , mutably or not)
h- defining a list can need (up to) a #monoid interfaces (although there re simpler ways)
r- just write the plain ol' list
-- one way or the other FP s going to need pure math

2024-08-06 05:41:21

On #Linux #BPF is much simpler than on #BSD One does not have to worry about devices or anything like that. You simply create your filter code, send it to the kernel via the SO_ATTACH_FILTER option and if your filter code passes the kernel check on it, you then immediately begin filtering data on that socket.

2024-08-05 10:35:36

- reply

@npub1zgl…rqd7 yes if the deps re clearly defined
zulip of coq, ct etc isn't like that. So good tool for org , not well suited for knowledge sharing
imho

2024-07-28 08:18:26

induction cooker is 74 percent efficient at transforming and transferring input #energy to the water, and the gas range comes in at 32 percent. The induction method was 32 percent faster and consumed 57 percent less energy
#india #cooking #economics

2024-07-21 01:02:28

By leveraging #NixOS and custom helper functions, I’ve significantly improved the efficiency of my HomeAssistant #YAML configuration.
https://nathan.gs/2023/12/09/adding-helper-functions-to-nixos/

2024-07-18 08:49:32

Not as bad as last time
#cooking rice
2nd attempt
https://media.emacs.ch/media_attachments/files/112/806/628/493/778/019/original/d6071491e1ce41ab.jpg

2024-07-16 07:51:12

#food 10% more expensive to consumers
#wpi - cost to producer
#gdp deflater production ~ mrp ()
#villagers are hurt worse by #inflation
#economists are simply or agents of political parties , negligible integrity... credibility ,well that can is subject to perception
Arguably - price deflation in #commodity prices post #covid has caused it
#India

2024-07-16 04:52:25

#rustlings is a cool way to try #rust
is there something like this for #haskell
besides #ghci or #cabal repl ?
https://media.emacs.ch/media_attachments/files/112/794/372/884/640/254/original/d36c03fdafe8094f.png
https://media.emacs.ch/media_attachments/files/112/794/372/919/903/223/original/414093b390d11ea1.png

2024-07-09 14:14:41

- reply

@npub1e7p…nvup well how about doing horrible things to them , starting by asking - what gave them power over you in 1st place

2024-07-08 14:51:08

- reply

@npub15zu…s7lx open invites is generally a bad idea , integrity of invitation is way more important than the crowd pulled

2024-07-06 01:32:45

- reply

@npub1l3g…vu48 aww c'mon , I am just beginning to like tmux

2024-07-04 12:49:25

- reply

@npub15fe…x47v
https://media.emacs.ch/media_attachments/files/112/728/300/459/901/801/original/4704e4d25c56c121.jpg

2024-07-04 06:47:35

#solar bulbs are out to take at least 10% market of #led bulbs in #household markets

2024-06-29 06:58:08

#Nixpkgs provides a test environment to automate integration testing for distributed systems. It allows defining tests based on a set of declarative NixOS configurations and using a #Python shell to interact with them through #QEMU as the backend. Those tests are widely used to ensure that NixOS works as intended, so in general they are called NixOS Tests.
https://nix.dev/tutorials/nixos/integration-testing-using-virtual-machines

2024-06-27 15:16:02

Maybe #Deadlines can work when the system is governed by #database and workers are data entries

2024-06-11 09:47:11

that moment when #nix build throws #sbcl error
https://media.emacs.ch/media_attachments/files/112/597/351/095/961/675/original/4301617d2238738b.png

2024-06-09 01:07:52

- reply

@npub19cv…qnc3 tha ks for the feedback.its what I experienced as I grew up.
I need work on my way of telling story
A blog post maybe

2024-06-08 00:41:42

What happened to the times when people who slided newspaper from poor , guy who have milk, veggies on the door and such people who made their livelihood from society, their characters made us socially rich , we were not this lonely, some jobless one in the house knees them by name and talked to them ,when community was also the employer , now there is just house help.
I mean I d be been delighted had they been better off
#jobs

2024-06-07 14:19:58

I absolutely don't understand the difference between the infix and suffix of #magit transient
any help ? #emacs
https://magit.vc/manual/transient/Suffix-Specifications.html

2024-06-02 10:21:12

- reply

@npub15fe…x47v https://github.com/memorysafety/sudo-rs

2024-05-30 12:54:36

- reply

@npub1rnq…7anc URL?

2024-05-30 03:14:24

- reply

@npub15fe…x47v could you explain the rust part , how s that be be better for this task?

2024-05-29 23:54:32

- reply

@npub15fe…x47v and I am auth' ing with doas and ssh_auth keys ,on nixos , that's getting tricky
I ll try chroot

2024-05-29 22:46:49

#doas : multiple security issues
Buffer overflow (privilege escalation to root)
Broken UID parsing falls back to root (CVE-2019-15900)
Incorrect group change behaviour (CVE-2019-15901)
https://github.com/slicer69/doas/pull/23

2024-05-21 22:42:41

why wouldn't #markdown mode on emacs give #agpl license as an option ?
https://media.emacs.ch/media_attachments/files/112/481/491/946/421/692/original/77a6cfa83d2ecc7d.png

2024-05-20 04:46:41

have you tried /ssh:host:/path instead of scp? I know that scp is generally deprecated! The actual OpenSSH release notes say: "The scp protocol is outdated, inflexible and not readily fixed." I don't know if that would explain the performance issues, but it seems like something you might want to avoid in any case.
#ssh
https://www.openssh.com/txt/release-8.0

2024-05-20 02:07:28

#undergraduate students , has investing in a better pc helped you in landing a better internship ? How?

2024-05-19 09:13:44

- reply

@npub1can…0fm9 Practically, I mean, do they ship weed to India even if they do, wouldn't it cost me exorbitantly to import , let alone legality of the matter

2024-05-19 07:54:16

- reply

@npub1can…0fm9 list is only for limited places

2024-05-19 05:04:04

looks at it , in fatigue , hope, anger and lust :D
https://media.emacs.ch/media_attachments/files/112/466/004/664/455/304/original/185ec44bf11b6435.png

2024-05-19 01:31:33

- reply

@npub1fzx…t6h3 555 days

2024-05-09 07:57:01

A semiqroup , a ring, a group , an abelian group , an idempotent group , a quasiring , a lattice go to a bar .. and a monoid enters and all of them scream , who are you ? Why are you here , with us.
Monoid - check your laws

2024-05-09 07:36:45

ANSI Common #Lisp standard.
Convert a Lambda Expression as List to a Function

2024-05-08 03:40:43

M-x update-all-autoloads was so useful , why d #emacs deprecate it?

2024-05-08 01:20:42

dired diff in #emacs but with ztree
https://media.emacs.ch/media_attachments/files/112/402/840/909/561/993/original/f23533153144ab6e.png

2024-04-15 23:34:36

An #emacs theme which solves a problem
https://media.emacs.ch/media_attachments/files/112/277/851/925/952/397/original/fe295bb82729e8fd.jpg

2024-04-13 23:51:15

#MELPA has decided to no longer accept Lisp libraries from EmacsWiki. This includes my libraries, even though these libraries are read-only (administrator lock on the wiki pages). Too bad. This means that you must download Bookmark+ and my other libraries only from Emacs Wiki. Sorry about that. I upload Bookmark+ files only to the wiki.
#emacs
https://www.emacswiki.org/emacs/BookmarkPlus

2024-04-13 02:45:40

Eating out vs at home
Economy -
#Kitchen / brand if applicable is an investment , so if its not your kitchen your cost of #food includes the fraction of return on that kitchen + the risk premium + rest of the profit that agent earns from manipulating the quality and you and cost saving at scale of production
So when you eat at home you miss out on all these profits and costs + pay additional cost of maintenance
Its similar to paying #rent vs buying a home
#costofliving

2024-04-01 00:33:10

- reply

@npub1fzx…t6h3 nix

2024-03-16 22:16:24

- reply

@npub19d9…f02p do you believe this? Do we need more of fermi vs dyson , bohr vs Einstein, russel vs Wittgenstein\marx, emma nother , tarski episodes
but as i write this, maybe i do as an audience , but if i were a scientist, maybe not ..

2024-02-29 06:14:15

Thats some list of papers by one author in - Verification
https://sites.google.com/view/tetsuyasato/

2024-02-28 23:15:49

A good strategy to go from a thesis to a typechecker #typetheory
https://spire-lang.org/blog/2014/01/05/an-unremarkable-type-checker/

2024-02-18 09:24:55

design of the POPLmark benchmark is guided by features common to reasoning about programming languages. The challenge problems do not require the formalisation of large programming languages, but they do require sophistication in reasoning about:
Binding
Most programming languages have some form of binding, ranging in complexity from the simple binders of simply typed lambda calculus to complex, potentially infinite binders needed in the treatment of record patterns.
Induction
Properties such as subject reduction and strong normalisation often require complex induction arguments.
Reuse
Furthering collaboration being a key aim of the challenge, the solutions are expected to contain reusable components that would allow researchers to share language features and designs without requiring them to start from scratch every time.
007, the POPLmark challenge is composed of three parts. Part 1 concerns solely the types of System F<: (System F with subtyping), and has problems such as:
Checking that the type system admits transitivity of subtyping.
Checking the transitivity of subtyping in the presence of records
Part 2 concerns the syntax and semantics of System F<:. It concerns proofs of
Type safety for the pure fragment
Type safety in the presence of pattern matching
Part 3 concerns the usability of the formalisation of System F<:. In particular, the challenge asks for:
Simulating and animating the operational semantics
Extracting useful algorithms from the formalisations
#popl
wiki
Image via Harper's slides
https://media.emacs.ch/media_attachments/files/111/951/768/310/566/059/original/e73927c9a5043dbf.png

2024-02-18 08:13:29

Simply Typed Lambda-Calculus with a small-step, allocation semantics.
This is an attempt to get a feel for #Twelf with a problem somewhere
between the trivial simply typed lambda-calculus with a large-step
semantics (a Twelf documentation example) and Karl Crary's TALT
formalization (which is too complex to be useful for a novice).
Problems from the basic metatheory of System F<::
1a Transitivity of Subtyping
1b Transitivity of Subtyping with Records
2a Type Safety for Pure F<:
2b Type Safety for with Records and Pattern Matching
3 Testing and Animating with Respect to the Semantics
Problems from the basic metatheory of System F<::
1a Transitivity (559 lines)
1b with Records (1227 lines)
2a Type Safety (745 lines)
2b with Records and Pattern Matching (4176 lines)
Type checking: higher-order abstract syntax, judgments-as-types.
• Unification-based argument synthesis, definition mechanism.
• Logic programming interpretation: backchaining (cf λ-Prolog)
• Coverage and totality checking: a prover for ∀∃ formulae.
tatics via Judgments-as-Types:
• Typing: of : tm → tp → Type.
• Example: arr-I : (x : tm → of x T1 → of (F x) T2) → of (lam F ) (arr T1 T2).
Dynamics via Plotkin’s SOS:
• Transition: step : tm → tm → Type.
• Example: beta : step (ap (lam F ) M) (F M)
https://www.cs.cornell.edu/people/fluet/twelf/alloc-sem/README.txt
https://www.cs.cornell.edu/people/fluet/twelf/
https://www.cs.cmu.edu/~rwh/talks/FP22.pdf

2024-02-16 13:16:21

- reply

@npub16mt…pnwy which phone ?

2024-02-16 09:58:23

- reply

@npub1fzx…t6h3 @npub1gvp…uh4q i recall this person, from the git repos i used to configure my emacs , i barely understood lisp in those days

2024-02-14 09:45:35

Even if you’re one of the “good devs,” and even if Copilot suddenly makes you twice as productive, as #Microsoft (dubiously) claims, your day didn’t just suddenly get half as long. You just suddenly got twice as many responsibilities
https://joshcollinsworth.com/blog/copilot

2024-02-14 04:13:25

#Typetheory started with things like ST, but it turned into something very different. You can see the roots in ST, but modern type theory takes a completely different approach. ST is an axiomatic foundation for a stratified version of type theory. Modern type theory, in contrast, has constructed a universe of mathematics that, rather than being based on an axiomatic foundation of first order predicate logic, is based almost entirely on ideas of computability and computation.
http://www.goodmath.org/blog/2014/08/18/the-constructivist-roots-of-type-theory/

2024-02-07 00:41:27

- reply

@npub1fzx…t6h3 2c tramp default method can be
alist
Scp
ssh
ftp
...

2024-02-04 05:57:33

- reply

@npub1fzx…t6h3 said

2024-01-23 07:32:43

#Python -like expressions over typed data, e.g. with the var keyword
#Ruby -like blocks, which enable DSLs and declarative configuration
Procs: enhanced shell functions,
https://www.oilshell.org/blog/tags.html?tag=shell-the-good-parts#shell-the-good-parts

2024-01-20 01:33:18

- reply

@npub1gfd…7gg6 #tmux is more usable than screen ( overheard) and is functionally a combination of dvtm , abduco
if you want something more minimal , you can try mtm.

2024-01-13 05:42:53

- reply

@npub1fzx…t6h3 its helpful for a team in which many people contribute to same goal , but not as much in live prod env managed by a lonely sysad

2024-01-10 03:16:09

- reply

@npub1zgl…rqd7
another thing i learnt about rde is i can provide one config for both home services and general services with it
til about another channel * with which i can override packages in guix and get close to nix overlay
since i am still digging rde, is something equivalent possible with rde?
-- noob
*
https://emacs.ch/@brokenix/111729362825146045

2024-01-09 23:31:31

#Emacs should become a #Wayland compositor
https://emacsconf.org/2022/talks/wayland/

2024-01-09 03:55:22

virtual machine shares its /gnu/store with the host, your new VM takes up far less space than you might expect! On my system, the disk image is just 2MiB! All the heavyweight stuff (qemu, the kernel, #initrd) is shared among all my up-to-date VMs, and the state files all live elsewhere and can be managed directly from the host! You can also choose how much memory and how many cores your service is allowed to use
#guix
https://benwr.posthaven.com/magic-immutable-ish-virtual-machines-with-guix-and-tailscale

2024-01-07 08:32:27

#guix, wraps every executable in a #bash script, thereby always eating PS1
With that in place, guix shell can pretty much fill the same role as direnv and similar tools, with one difference though: speed. When all the packages are already in store, guix shell can take one to a few seconds to run, depending on the package set, on whether you’re using a solid state device (SSD) or a “spinning” hard disk, and so on. It’s acceptable but prohibitively slow for direnv-like use cases.
To address that, guix shell maintains a profile cache for the -D -f guix.scm and -m manifest.scm cases. On a hot cache, it runs in 0.1 second. All it has to do is fork a shell with the right environment variable definitions; it does not talk to guix-daemon, and it does not even read guix.scm or manifest.scm (it’s possible to forcefully update the cache with --rebuild-cache). (manual)
2c

2024-01-06 09:33:32

Really miss the #homemanager util on #guix
where i could just manage all my dotfiles with it in $HOME and could just give the #nix profile path in bash in init , I had nearly nothing in /root/.config* and never cared about whether to source .profile or .bash-profile based on how i append my list of pkgs in home.comfiguration ( fwiw source the former when you append with specification / (output?) in scm) .
Case in point after a couple of baffled days , i now realize that my #nyxt config had no error ( how could it , it was working just fine elsewhere) , its just that it was fetching it config from * , while i had it in ~/.config/nyxt
Quick and dirty way was to just copy the latter to the former path of finding the config
similarly emacs-pkg were listed in config.scm, but they could only be found by $USER and not $ROOT
yes nix exprs need not eval below a minimum version , bit that s not my immediate concern

2024-01-01 02:01:08

@npub1zgl…rqd7
I followed the manual , but
for some some reason rde channel derivative won't build on my systems
I tried both $HOME & /root env (even though I s less sure about the latter)
update - regrets for distraction , it was a commit confilict, it builds now
https://media.emacs.ch/media_attachments/files/111/678/224/241/197/527/original/47e3e4c10509bd62.png
https://media.emacs.ch/media_attachments/files/111/678/389/282/005/566/original/5f8abb535a06d64a.png

2023-12-31 18:49:42

- reply

@npub1zgl…rqd7
About rde , why boot the iso, when one can just , use the channel?I mean if I add rde channel , I should be able to use rde functionalities?(Do correct me, if I am wrong [1])
for my use-case and gtd first thing,I found a non-ideal quick and dirty fix too #guix
which I post here, in hope that it can save time for someone else in a rush (although I don't advocate this)
[1]: to fully specify a system, you need 2
pieces of information:
The config.scm and the channels.scm.
These files have orthogonal roles (which is a feature,
not a bug): you can apply the same system configuration to different
Guix channel specifications. so instead if being added to systems it need be added to home.
https://github.com/pmeiyu/guix-config/tree/master

2023-12-31 13:37:51

- reply

@npub1zgl…rqd7 Thanks try to write some web-services and vpn configs here

2023-12-31 13:27:09

Where #NixOS has Modules that are enabled and disabled through attribute sets in the system, #Guix has System Services which provide a more structured way of assembling your system.
System services are bits of self-contained logic that can "extend" your system in some way. They usually do this by providing extensions to other services. These extension points can be thought of as hooks. A few illustrative examples: the "user account" service provides an extension to add new users, the "shepherd" service provides an extension to add new daemons to the system, the "activation" service provides a hook to run code when you "start" the system. This mechanism is open, so you can write services to extend existing services, as well as write services which provide extension points for other services.
On the whole, I think the abstraction of system services makes it a bit easier to reason about the final system than NixOS's "big ball of merged modules". That said, I think NixOS's modules have had more development time put into them, so it's more likely that you can find a module that does what you want and enable it with less fuss. Guix's services are bit rougher around the edges, so it's not always as obvious/trivial how to get things working.
https://www.reddit.com/r/GUIX/comments/p9n8xd/does_guix_have_modules_options_that_abstract_away/

2023-12-29 00:11:54

Flakes seems to provide more hermetic builds than #guix channels. Guix still can access different values on host
Inconsistent #nix cli
https://gist.github.com/abcdw/e54807b0a25e61fe2cf1bf8991410f83

2023-12-25 05:19:59

#typst package manager
https://typst.app/blog/2023/package-manager/

2023-12-23 05:39:17

- reply

@npub1fzx…t6h3 I have tried convincing trashing windows, as they were bound to use nix and they stuck to wsl ( india - skepticism was relatively low externally, if not internally ) , all cool folks ,how hard it is to switch , depends on what a group of individuals have been thinking and for how long, its also the inertia they acquire from their community\ market env, plus team needs care about the majority of what it has ( people\market) to gtd in order to sustain , which is practically a collective responsibility. Each has to go big or go home. Its a scary path for everyone

2023-12-21 13:27:18

- reply

@npub1fzx…t6h3 i think i could quote my own case
as a sophomore\ ug at one of the most reputed colleges in my country, with a full time experience of that job for 2 years at 2 other bigger enough companies in same field, i walked into many part time job openings , which could have helped . Nobody cared. I booked a loss on the pursuit and the profession itself. at that time , i couldnt figure out for my life, what went wrong.
Much later , i d realise , that i d skip the to avoid the labyrinth of interpersonal biases, profession and gruelling process ( maybe) i d never mention the UG part ( the reason why my college was reputed) , college offered many other courses but they were not revered as much in that profession , i had enough communication skills to deliver at my job , but not enough motivation to get there for the sake of management. Management d rarely give me an opportunity to even demonstrate the former.For them the latter was more important.

2023-12-21 13:09:49

interpersonal #Communication need contain all the needful and correct info and specifics . Even if its delayed or\and uninteresting . Else , you cant blame others for not caring or causing it a cost that seems unfair to you

2023-12-21 07:28:33

one of the myths concerning #LISP that people think up or invent for themselves becomes apparent, and that is that LISP is somehow a realization of the lambda calculus, or that was the intention. The truth is that I didn't understand the lambda calculus, really" - John #McCarthy
If it was a realization of a lambda calculus, then it is one with (a) primitives, (b) strict evaluation, (c) quoted lambda terms, and (d) "dynamic" bindings.
(a) In classic lambda calculus, everything is a lambda term. McCarthy's Lisp has primitives like lists and numbers. However, it is known that lambda calculus is powerful enough to encode these things as lambda terms (for example,
null = (lambda (n c) (n))
(cons a b) = (lambda (n c) (c a b))
gives a way to encode lists. The car function would be something like
(car a) = (lambda (lst)
(lst (lambda () (error "car: not cons"))
(lambda (a b) a)))
This would not work in the original Lisp because of binding issues: the definition of cons requires the specific a and b bindings be remembered by the returned lambda.)
(b) Lambda calculus does not have any evaluation rules. Rather, it is like algebra where you can try to normalize an expression if you wish, but the point is that some lambda terms are equivalent to others based on some simple rules that model abstract properties of function compositions. Lambda-calculus-based programming languages choose some evaluation rule, but there is no guarantee of convergence: there might be two programs that lambda calculus says are formally equivalent, but one might terminate while the other might not. Depending on how you're feeling, you might say that no PL for a computer can ever realize the lambda calculus, but more pragmatically we can say most languages use lambda calculus with a strict evaluation strategy.
(c) The lambda terms in lambda calculus are not inspectable objects, but more just a sequence of symbols. Perhaps one of the innovations of McCarthy is that lambda terms can be represented using lists, and the evaluator can be written as a list processor (much better than Godel numbering!). In any case, the fact that terms have the ability to evaluate representations of terms within the context of the eval makes things a little different. It's also not too hard to construct a lambda evaluator in the lambda calculus[1], but you don't have the "level collapse" of Lisp.
(d) In lambda calculus, one way to model function application is that you immediately substitute in arguments wherever that parameter is used in the function body. Shadowing is dealt with using a convention in PL known as lexical scoping, and an efficient implementation uses a linked list of environments. In the original Lisp, there was a stack of variable bindings instead, leading to something that is now known as dynamic scoping, which gives different results from the immediate substitution model. Pretty much everything fun you can do with the lambda calculus depends on having lexical scoping.
All this said, the widespread belief about Lisp being the lambda calculus probably comes from Scheme, which was intentionally lambda calculus with a strict evaluation model. Steele and Sussman were learning about actors for AI research, and I think it was Sussman (a former logician) who suggested that their planning language Schemer (truncated to Scheme) ought to have real lambdas. At some point, they realized actors and lambdas (with mutable environments) had the exact same implementation. This led to "Scheme: An Interpreter for Extended Lambda Calculus" (1975) and the "Lambda the ultimate something" papers. Later, many of these ideas were backported to Lisp during the standardization of Common Lisp.
differentiation of algebraic expressions was among the first achievements of Lisp systems.
writing recursive function definitions using conditional expressions allowed combining the base case and the inductive case into a single formula
publication notation. With the conditional expression defined as:
(p1→e1,…,pn→en)(1)
The traditional brace notation for factorial:
fac(n)={1mult(n,fac(n−1)):n=0:n>0(2)
McCarthy's formalism is regarded as a precise and substantial refinement of the partial recursive functions
prf + minimisation operator = mu-rf st a broader set of definable functions, equivalent to those computable by a #Turingmachine
Moschovakis has proposed a mathematical modeling of the notion of algorithm a set-theoretic "definition" of algorithms, much like the "definition" of real numbers as #Dedekind cuts on the rationals or that of random variables as measurable functions on a probability space
.
https://news.ycombinator.com/item?id=20696931

2023-12-14 02:59:07

What PID 1 Should Do
When your system boots up the kernel is executing a given binary in its known namespace. To see what are the only tasks the application running as pid 1 has to do, see sinit. Just wait for child process to reap and run some other init scripts.
#systemd #sucklesstools wiki

2023-12-05 06:19:23

mastering #git without years of dedicated use is a myth
https://media.emacs.ch/media_attachments/files/111/526/357/334/557/572/original/a4bd781fcf7e2e77.png

2023-11-22 09:40:16

Minsky emphasized that the most difficult human skills to reverse engineer are those that are below the level of conscious awareness. "In general, we're least aware of what our minds do best", he wrote, and added "we're more aware of simple processes that don't work well than of complex ones that work flawlessly".
#ai #mind

2023-11-07 06:53:25

I like abstract math as its free from #javascript :D

2023-11-02 00:57:27

Nothing Protects #Black Women From Dying in Pregnancy and Childbirth
So #blm has a very valid point besides incidentals , today #abortion is imposed
https://www.propublica.org/article/nothing-protects-black-women-from-dying-in-pregnancy-and-childbirth

2023-11-01 22:22:58

list variable list is itself the cons at the beginning of the list. (cdr list) is the second cons in the list. And so one with (cddr list), (nthcdr N list). Generally speaking, a member of a list is a cons (value . next-member-in-list). Most of Elisp is built around these (CAR . CDR) double pointers. You can even construct binary trees with it.
#lisp README-duo #emacs

2023-10-27 16:00:19

https://issues.guix.gnu.org/48083
#guix #telegram issue and i was missing #telega

2023-10-22 16:22:36

- reply

@npub15fe…x47v And i thought this d be philosophers debating about both :neofox:

2023-10-18 17:54:00

- reply

@npub1fzx…t6h3 is there nothing compatible with pass of linux? I mean android has password store

2023-10-13 18:38:20

- reply

@npub1fzx…t6h3 so am I and I am saw a delay just now , oh wait I think if i change my masto settings on mobile app they are propagate on other machines too.
In that case, my bad, Another case of absent-minded-ness

2023-10-13 18:31:30

- reply

@npub1fzx…t6h3 which browser? ON my OS , sometimes I also needed to switch browser to cope with the issues of apps like #jitsi

2023-10-13 11:46:55

Funny sometimes I don't get any notification for DM
Is this happening because of those random tiny downtimes?
cc @npub1fzx…t6h3

2023-09-20 22:50:10

Don't write documentation in Markdown | Hacker News
"Developers: reStructuredText is better than .txt and .md because it has feature XYZ, and it's special syntax is great.
Researchers: .rst and .md are poor with math symbols, please write the technical documentation in beautiful LaTeX with rendered symbols.
Managers: If I can't read or edit it easily, I'll hire someone to rewrite it using Word or Google Docs.
Everyone: Here's the Word document."
https://news.ycombinator.com/item?id=22675165#:~:text=Developers%3A%20reStructuredText%20is,the%20Word%20document.

2023-09-18 12:42:28

- reply

@npub1fzx…t6h3 Bigger question is , why build the reputation their way, which hinders my free thought , for one

2023-09-18 11:51:43

https://stackoverflow.com/a/77126936/229467
Sof karma sucks , why need one post an answer when , one wants to comment
I never liked that place, never posted there, but like they say, never say never :D
First and probably the last one

2023-09-08 06:09:26

@npub1fzx…t6h3 is there any way to write coloured (rgb) text , with html/MD editors here?

2023-09-02 18:36:50

- reply

@npub1fzx…t6h3 yes so long as education is a right and not a privilege and rightly so , that implies inclusion irrespective of a single part of id
The latter is perhaps the more and most challenging part with a huge political risk , they need be protected and financially secure and more rigorous a body with integrity than sec ( sry no good governance examples that i could insert here), need ensure and enforce the quality of education to all

2023-09-02 11:53:55

#teaching need be incentivised better so that people make more for putting more efforts

2023-09-02 07:51:58

- reply

@npub1fzx…t6h3 random thought , a #fediverse flavor of #git instances ll also be useful , where i don't need 10 git-web accounts to open various issues and have to lookup the google or equivalent to sport it

2023-08-30 13:26:17

what are your thoughts on running a mastodon-bot instance like this? #nixos
https://codeberg.org/raboof/nix-mastodon-bot/src/branch/main/default.nix#L12
cc @npub1fzx…t6h3

2023-08-29 17:42:05

- reply

@npub1fzx…t6h3
nostalgic
that's one of the first thing I got after getting my hands on emacs , i didn't even need tmux ,zsh,tty back then. Didn't even know what nixos is.
what fascinated me was, how I got rid of server #rent and html/css/lamp/sql yeda yeda , whatever my intern boss asked me to do and sacked me when I didn't
it just worked, didn't go very far too metaarpa is still periodic payment , last I checked
fwiw, it got me in to emacs , in my rookie way
https://media.emacs.ch/media_attachments/files/110/974/118/826/643/382/original/7b0873f22323fdc8.png
https://media.emacs.ch/media_attachments/files/110/974/119/834/912/367/original/83d6fba633644933.png
https://media.emacs.ch/media_attachments/files/110/974/120/669/292/466/original/736e9c7709aff579.png
https://media.emacs.ch/media_attachments/files/110/974/121/683/851/502/original/1ae8da1f5ba7e0af.png

2023-08-29 10:10:20

How about a #pubnix on #mastodon instances? :D
https://media.emacs.ch/media_attachments/files/110/972/358/734/005/525/original/362c210019c7d72a.png

2023-08-29 08:53:21

- reply

@npub1fzx…t6h3 I have been close to often getting in trouble , so i wouldn't advise that to other , but when i know enough, i ve no problem , getting in to trouble for real... again .. alone

2023-08-29 08:43:12

- reply

@npub1fzx…t6h3 yes , we take our rights for granted, it's a grass root political issue first CCP , then human rights.
Yet if some nutjob crusader , runs a donation like model , it can succeed, because some people believe in earning their rights or greater good , in a right way.
examples, snowden, sci-hub, anna-archives for books, piratebay.
Yes at times those things go horribly wrong - megaupload, silk road .
Then again, their is no royal road to claim your rights and it can only be done collectively and co-incidently
IMHO - ( noob)

2023-08-29 08:29:46

- reply

@npub1fzx…t6h3 heart of the matter is , when can most data on web be linked in some form to fediverse index, which doesn't belong to any single party and how far do designs to prevent such a coalition can go, to get an effective fedi search engine to anyone.
If any one party controls the index, It ll be hard for me to see it different from CCP

2023-08-29 04:26:15

A #bigtech free fediverse search engine , when the majority has adopted it, as an alternative
Cc @npub1wkc…e39e

2023-08-28 09:50:09

- reply

@npub1fzx…t6h3 @npub1pls…u0km gotta say , this is better than #tumblr

2023-08-28 09:30:32

- reply

@npub1fzx…t6h3 @npub1pls…u0km @npub1l5y…82u4
Why is it different with other topics?
https://media.emacs.ch/media_attachments/files/110/966/539/023/172/032/original/e734427bc70457bc.png
https://media.emacs.ch/media_attachments/files/110/966/539/255/320/249/original/cdc60cfc3076860f.png
https://media.emacs.ch/media_attachments/files/110/966/539/403/226/834/original/6091ec3c7bbd4793.png