marvinborner

7 ms·

91.
Every goto in the Linux kernel [video](youtube.com)
2 points by marvinborner 1y ago|0 comments
92.
Many Factorials in Lambda Calculus(text.marvinborner.de)
13 points by marvinborner 1y ago|5 comments
93.
by marvinborner 1y ago
Or just (flip .), which also allows ((flip .) .) etc. for further flips. In Smullyan's "To Mock a Mockingbird", these combinators are described as "cardinal combinator once/twice/etc. removed", where the c
94.
Programming language inventor or serial killer? (2003)(vole.wtf)
23 points by marvinborner 1y ago|5 comments
95.
by marvinborner 1y ago
In recent years there has been a movement to collaborate on math proofs via blueprints (dependency graphs) in the Lean language, which seems related. For example: https://teorth.github.io/equational_theories/ https:&#
96.
Determination of the fifth Busy Beaver value(arxiv.org)
288 points by marvinborner 1y ago|116 comments
97.
Git Cheat Sheet(git-scm.com)
3 points by marvinborner 1y ago|0 comments
98.
The Ruliology of Lambdas(writings.stephenwolfram.com)
134 points by marvinborner 1y ago|48 comments
99.
by marvinborner 1y ago
Regarding Effekt, here's an interactive introduction on how to use its effect system: https://effekt-lang.org/tour/effects Other pages also contain some more advanced details and casestudies on effect handling
100.
Microsoft BASIC for 6502 Microprocessor – Version 1.1(github.com)
290 points by marvinborner 1y ago|198 comments
101.
Closures and Objects Are Equivalent(wiki.c2.com)
3 points by marvinborner 1y ago|0 comments
102.
ActivityPub Rocks(activitypub.rocks)
2 points by marvinborner 1y ago|0 comments
103.
Typeclassopedia(wiki.haskell.org)
3 points by marvinborner 1y ago|0 comments
104.
Adventures in State Space [video](youtube.com)
11 points by marvinborner 1y ago|1 comments
105.
by marvinborner 1y ago
As a reference on the volume aspect: I have a tiny server where I host some of my git repos. After the fans of my server spun increasingly faster/louder every week, I decided to log the requests [1]. In a single week, ClaudeBot made 2.
106.
Geoffrey Hinton, Nobel Prize in Physics 2024: Banquet Speech [video](youtube.com)
2 points by marvinborner 1y ago|0 comments
107.
Resist AI – a handbook for concerned citizens(resist-ai.sh)
2 points by marvinborner 1y ago|0 comments
108.
Permacomputing 101 [video](youtube.com)
4 points by marvinborner 1y ago|0 comments
109.
Barack Obama – Computer Science Question (2008) [video](youtube.com)
3 points by marvinborner 1y ago|0 comments
110.
The concept of mass (2023) [video](youtube.com)
3 points by marvinborner 1y ago|0 comments
111.
by marvinborner 1y ago
I think emiT [1] comes quite close! A time paradox from [2]: create x = 10; time point; print x; //prints 10 in first timeline, and 20 in the next create traveler = 20; traveler warps point{ x = traveler;
112.
Replace your boss before they replace you(replaceyourboss.ai)
4 points by marvinborner 1y ago|0 comments
113.
Consent for Hackers, Negotiating consent based on the HTTP protocol [video](media.ccc.de)
1 points by marvinborner 1y ago|0 comments
114.
by marvinborner 1y ago
This should also include the chart on "Coding deception" [1] which is quite deceptive (50.0 is not in fact less than 47.4) [1]: https://youtu.be/0Uu_VJeVVfo?t=1840
115.
by marvinborner 1y ago
Reddit's r/programminglanguages is still quite active. Otherwise most of the community switched to Discord, it seems. (I found Par by hopping the Discord servers of "Programming Language Development"->HOC->Vine-&gt
116.
Is Information a Fundamental Force of the Universe? [video](youtube.com)
3 points by marvinborner 1y ago|0 comments
117.
by marvinborner 1y ago
Do you know about the Par language? They try to integrate Par into a usable syntax https://github.com/faiface/par-lang
118.
Linear Types for Programmers (2023)(twey.io)
60 points by marvinborner 1y ago|15 comments
119.
by marvinborner 1y ago
It's interesting how some of these diagrams are almost equivalent in the context of encoding computation in interaction nets using symmetric interaction combinators [1]. From the perspective of the lambda calculus for example, the dupl
120.
by marvinborner 1y ago
There's a video by Hannah Cairo that explains the conjecture and her results [1] Also, Terence Tao hinted at some further advances some time ago [2], does anyone know more about that? [1]: https://www.youtube.com/watch?

More ›