abetusk
- Karma
- 0
- Created
- ()
- Submissions
- 0
- What has happened to Clipper2 development? (github.com)
- A mountain of AI math, a few precious bytes (blog.adafruit.com)
- Tiny Brutalism (placeholders.itch.io)
- There is no Percolation at the Critical Probability in all Dimensions (gilkalai.wordpress.com)
- Universe, Drawn in ASCII (gcdatlas.vercel.app)
- Lean Game Server (adam.math.hhu.de)
- Natural Number Game (Lean4 Tutorial) (adam.math.hhu.de)
- Openness Made All of This Possible (opensource.org)
- Conformance vs. Comprehension (intertwingly.net)
- Lobste.rs is now running on SQLite (lobste.rs)
- We're Making an Open Source American Kei Truck [video] (youtube.com)
- Dig more coal – the PCs are coming (1999) (forbes.com)
- Derelict Corridor – Unreal to Gaussian Splat Plugin (superspl.at)
- Tindie Now Owned by EETree (blog.adafruit.com)
- The Iranian Teens Behind Lego Trump [video] (youtube.com)
- Iran's Lego Slopaganda Creator [video] (youtube.com)
- Mozilla Data Collective (datacollective.mozillafoundation.org)
- Graphics Programming Resources (develop--gpvm-website.netlify.app)
- No Tools for You: A Century of Men Policing Women's Tools (blog.adafruit.com)
- Terrence Tao: Why I Co-Founded SAIR [video] (youtube.com)