Magos Logis Logan @jmw150@qoto.org

All hail the trinity.

https://ncatlab.org/nlab/show/computational+trilogy

All people that say all programs are Turing complete, and therefore equivalent, need to be slapped.

https://link.springer.com/article/10.1007/s10817-021-09604-0

Also formal logics are picking up speed, due to being more democratic than conventional proofs and easier to collaborate on.

@CKsTechnologyNews

A powerful tool for controlling the masses

@hackernews@die-partei.social lol

@fribbledom

Or a graph, some high dimensional vector space, a category, or one large lambda equation.

@Vextaur@mastodon.social Not that the capitalist should be blamed either.

Could put a floor on the wage. Somebody would still be out of a job though.

@urusan @cypnk

Hmm.. mine was:

Lua: Point and click. Fun. And I could get turtles to move in Minecraft.

C++: It was that or Java. Java does not compile down to binary. I said "C++ is a super set of C right? So I can just skip C and get all of the features.". My traditional engineering buddies were learning C and I was one-upping them. Although there are more compilers that do cool C things, in retrospect.

assembly: Now that was fun. Good assemblers have macros. There is a wealth of actual machine details accessible in the instructions. Real control. Knuth wrote a book series on it. I like how code is data and everything is so simple.

Scheme: Lisp is the language of AI. I am free to write my own languages. Chicken Scheme inter-ops directly with C, like Lua does. Also Racket is great for designing languages.

Python: Numerical algorithms are so easy. So is AI. So is pretty much everything. I can build a compiler for assembly or C instructions, if need be. I would say actual computer scientists are not limited by their language. So comfort has more value.

Coq: Empires of code-bases come and go. I am not going spend my time re-implementing the wheel, when there is research grade artifacts to build. Also I can code in real numbers via Dedekind cuts or whatever. So few languages have adult level math built into them by default. SMT solvers can do the heavy lifting. Maintenance costs are basically 0.

@Emerades Honestly, as of 2021, these organizations are dying anyway. So I guess it is fitting that this is the legacy they leave behind, one last tribalistic grunt before they are shoved into obscurity.

Complaining that people used money to do things, is also what small folk do. Don't complain about fortunes of birth or someone's source of income when they try to do something. That is just petty and insecure.

@Emerades Then they can become a marine, or climb mount Everest, or something to feel special.

In the public mind astronaut means someone who went to space. Space travel should get easier.

It makes these organizations look like a joke.

@Emerades Wow. The idiots think being an astronaut is a badge of honor or something. Or they are planning ahead, I guess...

It is not some future space age yet. People do not need an astronaut license like they would a pilot license.

@ruffni@mstdn.io

Ah interesting. The zr and zR seemed to be mapped to the same s-expr. That is not the case in vim. zr would do a global single level unfold.

@ruffni@mstdn.io

zM to fold recursively globally.
zc to fold recursively on a particular fold.

@ruffni@mstdn.io

zo in evil.

Geometric algebra is pretty fun to be honest.

@kingu_platypus_gidora@octodon.social

Not to mention it is an odd city folk dream. In most of the United States are not a densely packed human anthill, like non-English speaking countries tend to be.

@kingu_platypus_gidora@octodon.social

Self driving cars are mostly a digital problem. You can have both.

@rysiek@mastodon.technology @mala

*about:profiles

And it is in pref.js of the profiles folder. about:config allows access in the browser, but that is manual.

@Shamar
Debian seems to have them off in the pref.js file. Which indicates they put in some effort to keep telemetry junk out of the binary apt version. But doing "apt source" should give a version that you can compile on your own.

@Shamar @rysiek@mastodon.technology @mala

And people ask why some compile Firefox from source... Most of the telemetry flags are in about:profile, but not all of them. Good distros, probably, compile the right versions on their servers.

@FiveYellowMice nya