| user: | marvinborner |
| created: | July 22, 2023 |
| karma: | 2.3k |
| about: | marvinborner.de |
| 1. | Maths Puzzle Endurance World Record [video](youtube.com) |
| 2. | A Dual View on Syntax(text.marvinborner.de) |
| 3. | |
| 4. | 15 days ago | discuss |
| 5. | F*Ex: Frams' Fast File EXchange(fex.belwue.de) |
| 6. | Developing a windowed OS for a homebrew Am29000 computer(nanochess.org) |
| 7. | 20 days ago | discuss |
| 8. | State of multi-player Wayland(blinry.org) |
| 9. | Did an AI Really Hack Hugging Face? [video](youtube.com) |
| 10. | |
| 11. | Medieval Football(en.wikipedia.org) |
| 12. | Learning games for the proof assistant Lean(adam.math.hhu.de) |
| 13. | Imaginary Bases(thegraycuber.com) |
| 14. | Interaction Nets and Hardware(tendrils.co) |
| 15. | Digital Signals Theory Book(brianmcfee.net) |
| 16. | Effects as Capabilities(nrinaudo.github.io) |
| 17. | Esolang: 2026 Topicality Proposal(esolangs.org) |
| 18. | |
| 19. | |
| 20. | Four by Three Puzzle(hankgreen.com) |
| 21. | Active Group and "Agentic Engineering"(funktionale-programmierung.de) |
| 22. | |
| 23. | Tiny Awards for Small Websites(tinyawards.net) |
| 24. | Why Even Signal Calls Apple and Google [video](youtube.com) |