A gentle introduction to Generative AI: Historical perspective
medium.com·4h·
Discuss: Hacker News
🧠Learned Codecs
Debugging Humidity: Lessons from deploying software in the physical world
physical-ai.ghost.io·9h·
Discuss: Hacker News
🛡️Error Boundaries
AsyncSpade: Efficient Test-Time Scaling with Asynchronous Sparse Decoding
arxiv.org·1d
⚙️Compression Benchmarking
TypeScript Flaws (2024)
intercaetera.com·4d·
Discuss: Hacker News
🎯Gradual Typing
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
📐E-graphs
Sorting encrypted data without decryption: a practical trick
dev.to·14h·
Discuss: DEV
🔐Hash Functions
The Day I Hacked XCTrack
blog.syrac.org·14h·
Discuss: Hacker News
🔐PKI Archaeology
SAT problems are kind of cool
blog.karanjanthe.me·2d·
Discuss: Hacker News
🧮SMT Solvers
The Porcelain to Come
stackdiver.com·6h·
Discuss: Hacker News
🔲Cellular Automata
Randomized and quantum approximate matrix multiplication
arxiv.org·1d
🔐Quantum Cryptography
The Mondrian introduction to functional optics
marcosh.github.io·3d·
Discuss: Lobsters, Hacker News
⟷Bidirectional Programming
Tiny AI model outperforms o3‑mini and Gemini 2.5 Pro in ARC‑AGI benchmark
the-decoder.com·1d
🧠Intelligence Compression
Stress-Testing Model Specs Reveals Character Differences among Language Models
arxiv.org·1d
📋Document Grammar
Cactus Language • Semantics 2
inquiryintoinquiry.com·2d
🔢Denotational Semantics
A Manifesto for the Programming Desperado
github.com·13h·
Discuss: Hacker News
💻Programming languages
Neuro-Symbolic AI
en.wikipedia.org·15h·
Discuss: Hacker News
🔲Cellular Automata
CaRT: Teaching LLM Agents to Know When They Know Enough
arxiv.org·1d
🔲Cellular Automata
Parameterized Complexity of s-Club Cluster Edge Deletion
arxiv.org·2d
🧮Kolmogorov Complexity
In-Depth Analysis: "Attention Is All You Need"
dev.to·14h·
Discuss: DEV
🧠Intelligence Compression
M\"obius transforms and Shapley values for vector-valued functions on weighted directed acyclic multigraphs
arxiv.org·3d
🕸️Graph Algorithms