marvinborner

5 ms·

31.
Active Group and "Agentic Engineering"(funktionale-programmierung.de)
4 points by marvinborner 4mo ago|1 comments
32.
Four Programming Languages You've Probably Never Heard of [video](youtube.com)
6 points by marvinborner 4mo ago|0 comments
33.
Tiny Awards for Small Websites(tinyawards.net)
4 points by marvinborner 4mo ago|0 comments
34.
Why Even Signal Calls Apple and Google [video](youtube.com)
4 points by marvinborner 4mo ago|0 comments
35.
JavaScript Crossword(lyra.horse)
4 points by marvinborner 4mo ago|0 comments
36.
The fastest way to say each number(thegraycuber.com)
2 points by marvinborner 4mo ago|0 comments
37.
AI slop is flooding maths YouTube [video](youtube.com)
2 points by marvinborner 5mo ago|0 comments
38.
Computing Reading List(timrodenbroeker.de)
2 points by marvinborner 5mo ago|0 comments
39.
KE:SAI Open Science Autonomy Lab(kesai.eu)
2 points by marvinborner 5mo ago|0 comments
40.
Fractals in Pure Lambda Calculus(lambda-screen.marvinborner.de)
8 points by marvinborner 5mo ago|0 comments
41.
Monoids in Public: Useful monoid structures in programming(blog.veritates.love)
1 points by marvinborner 5mo ago|0 comments
42.
by marvinborner 5mo ago
They are not functions, but variables. Maybe this helps, as they basically are "selectors": https://text.marvinborner.de/2024-11-18-00.html#tagged-union...
43.
Red and Black Knights (extraordinary result) [video](youtube.com)
2 points by marvinborner 5mo ago|0 comments
44.
Deadnet Internet Services(deadnet.se)
4 points by marvinborner 5mo ago|0 comments
45.
Extraordinary Ordinals(text.marvinborner.de)
46 points by marvinborner 5mo ago|14 comments
46.
Genesis Mission (US Government) [video](youtube.com)
3 points by marvinborner 5mo ago|1 comments
47.
The Par Programming Language(par.run)
4 points by marvinborner 5mo ago|0 comments
48.
Artemis II Photo Timeline(artemistimeline.com)
12 points by marvinborner 5mo ago|1 comments
49.
Generative AI Vegetarianism(sboots.ca)
40 points by marvinborner 5mo ago|55 comments
50.
To my students(ozark.hendrix.edu)
334 points by marvinborner 5mo ago|199 comments
51.
by marvinborner 6mo ago
fwiw, one of the FFT challenges is about the Scott encoding [1], while the other uses Church trees at least [2]. Both use a balanced ternary numeral system, which is a lot more efficient than plain Church/Scott and fairly well-known [3
52.
Lambda Calculus Benchmark for AI(victortaelin.github.io)
143 points by marvinborner 6mo ago|43 comments
53.
Effectful Recursion Schemes(effekt-lang.org)
40 points by marvinborner 6mo ago|2 comments
54.
US national level OS-level age verification bill(social.coop)
113 points by marvinborner 6mo ago|2 comments
55.
by marvinborner 6mo ago
You can inspect the point system in its source, `const questions = [...]`.
56.
Optimal Strategy for Connect 4(2swap.github.io)
318 points by marvinborner 6mo ago|33 comments
57.
Geo-Strategy #8: The Iran Trap [video](youtube.com)
4 points by marvinborner 7mo ago|0 comments
58.
Fibonacci slop is out of control [video](youtube.com)
1 points by marvinborner 7mo ago|0 comments
59.
A Big Pharma Company Stalled a Potentially Lifesaving Vaccine(propublica.org)
8 points by marvinborner 7mo ago|1 comments
60.
Squeezing π from 122 Bits of Lambda Calculus(text.marvinborner.de)
3 points by marvinborner 7mo ago|0 comments

More ›