marvinborner
- Karma
- 0
- Created
- ()
- Submissions
- 0
- The Association for Human Mathematics (ahmath.org)
- Artificial Intelligence Markup Language (en.wikipedia.org)
- Weird Little Guys of FOSS (drewdevault.com)
- Four Weeks of a Vegan Diet Alter Signs of Inflammation and Aging (uniklinik-freiburg.de)
- An integrated approach to time and food (1990) (girard.perso.math.cnrs.fr)
- Maths Puzzle Endurance World Record [video] (youtube.com)
- A Dual View on Syntax (text.marvinborner.de)
- F*Ex: Frams' Fast File EXchange (fex.belwue.de)
- Developing a windowed OS for a homebrew Am29000 computer (nanochess.org)
- State of multi-player Wayland (blinry.org)
- Did an AI Really Hack Hugging Face? [video] (youtube.com)
- Medieval Football (en.wikipedia.org)
- Learning games for the proof assistant Lean (adam.math.hhu.de)
- Imaginary Bases (thegraycuber.com)
- Interaction Nets and Hardware (tendrils.co)
- Digital Signals Theory Book (brianmcfee.net)
- Effects as Capabilities (nrinaudo.github.io)
- Esolang: 2026 Topicality Proposal (esolangs.org)
- Designing Math Ft. Grant Sanderson (3Blue1Brown) [video] (youtube.com)
- Four by Three Puzzle (hankgreen.com)
- Active Group and "Agentic Engineering" (funktionale-programmierung.de)