- formal verificationadvent of codedijkstra's algorithm
- Lowtype: Elegant Types in Ruby (codeberg.org)
- Previous: A NeXT Emulator (previous.alternative-system.com)
- Codex, Opus, Gemini try to build Counter Strike (www.instantdb.com)counter strike game developmentgaming software developmentmultiplayer online games
- garage door openerssmart home integrationschamberlain
- linux display managerstui interfacesncurses-based software
- Why Replicate is joining Cloudflare (blog.cloudflare.com)replica databasecloudflare acquisitionstartup mergers
- AI Is Forcing Docs to Grow Up (compositecode.blog)
- Pink Lexical Slime: The Dark Side of Autocorrect (2017) (www.cyberdemon.org)
- Ultrablack wool textiles inspired by hierarchical avian structure (www.nature.com)
- What Is "Open Recursion"? (2013) (journal.stuffwithstuff.com)
- Garfield's proof of the Pythagorean Theorem (en.wikipedia.org)mathematical proofsgeometrypythagoras
- The only winning move is not to play (gregg.io)strategygame theorychess
- MI300X vs. H100 vs. H200 Benchmark Part 1: Training (newsletter.semianalysis.com)
- c++pythonreflection
- Lazier Binary Decision Diagrams for set-theoretic types (elixir-lang.org)set-theoretic typesbinary decision diagramstype theory
- The Math of Why You Can't Focus at Work (justoffbyone.com)attention spancognitive overloadproductivity hacks
- cyber safetysmartphone securityindian technology policy
- Migrating Dillo from GitHub (dillo-browser.org)githubmigrationopen-source
- Show HN: Apple OS 1 inspired personal website (benrichardson.dev)
- Cross-Compiling Common Lisp to WASM (turtleware.eu)
- Arcee Trinity Mini: US-Trained Moe Model (www.arcee.ai)artificial intelligencechatbotslanguage models
- The Thinking Game Film – Google DeepMind documentary (thinkinggamefilm.com)artificial intelligencemachine learninggoogle technology
- Show HN: The notepad that thinks in numbers (numla.app)
- Mapping the US healthcare system’s financial flows (healthisotherpeople.substack.com)healthcare spendingus healthcare systemhealthcare market size
- Tested: 1981 Datsun 280ZX Turbo (1981) (www.caranddriver.com)
- Google unkills JPEG XL? (tonisagrista.com)google image compressionjpeg xlweb optimization
- Japanese game devs face font dilemma as license increases from $380 to $20k (www.gamesindustry.biz)japan game developmentfont licensingvideo games industry
- Google Antigravity just deleted the contents of whole drive (old.reddit.com)googledata losscloud storage