Hataraku Chocobo (Wonderswan Color)
lunaticobscurity.blogspot.com·6h·
Discuss: lunaticobscurity.blogspot.com
🔲Cellular Automata
Double Maths First Thing: Issue 2E
aperiodical.com·3d
👑Isabelle
XOR Crack Kit
kobolt.website·2d
🔐Cryptographic Archaeology
Enhancing Firefox's Find-in-Page for Keyboard Navigation
h.43z.one·17h·
Discuss: Hacker News
🐧FOSS
First release: Popcorn – Bring Elixir to the browser
blog.swmansion.com·2h·
Discuss: Hacker News
🕸️WASM Archives
50x rendering speed improvements in Hologram (Elixir web framework)
hologram.page·1d·
Discuss: Hacker News
🎬WebCodecs
Things I Learned on the Road II
pballew.blogspot.com·1d·
Discuss: www.blogger.com
🛡️Proof-Carrying Archives
Lying Increases Trust in Science
link.springer.com·11h·
Discuss: Hacker News
📰Content Curation
Your AI Knowledge System is Garbage (And Here's How to Fix It)
dev.to·21h·
Discuss: DEV
🌀Brotli Internals
Dollo's Law of Irreversibility
en.wikipedia.org·2h·
Discuss: Hacker News
🦴Binary Paleontology
The Recursive Coherence Principle: A Formal Constraint on Scalable Intelligence, Alignment, and Reasoning Architecture
arxiv.org·3d
🧠Intelligence Compression
Assembly_verify
philipzucker.com·6d·
Discuss: Lobsters, Hacker News, r/programming
✅Format Verification
I Accidentally Discovered a Hidden Gem for Testing Premium AI Models (Completely Free!)
dev.to·6h·
Discuss: DEV
🔍Concolic Testing
Boolean SHA256 with TFHE-rs (2023)
zama.ai·1d·
Discuss: Hacker News
🔢Bitwise Algorithms
Zero Knowledge Proof
en.wikipedia.org·4d·
Discuss: Hacker News
🎯Proof Tactics
Actively evaluating and learning the distinctions that matter: Vaccine safety signal detection from emergency triage notes
arxiv.org·1d
🗺️Competency Maps
<p>I&rsquo;ve said this before and I&rsquo;ll say it again: the ability to make a lambda from a method, a la Java&rsquo;s double colon operator (e.g. <code>obj:...
lmika.org·4d
λLambda Formalization
Neural Corrective Machine Unranking
arxiv.org·1d
🧠Learned Indexing
Started a "simple" K8s tool. Now I'm drowning in systems complexity. Complexity or skills gap? Maybe both
reddit.com·1d·
Discuss: r/kubernetes
🌐Protocol Synthesis
Show HN: Hiconic – reflective, reactive, and portable modeling for any domain
github.com·2d·
Discuss: Hacker News
📦CBOR Extensions