Announcing coreboot 25.09 release
blogs.coreboot.org·5h
🔌Operating system internals
Slip – A Lisp System in JavaScript
lisperator.net·15h·
Discuss: Hacker News
🔗Lisp
On some 2-binomial coefficients of binary words: geometrical interpretation, partitions of integers, and fair words
arxiv.org·2d
📜Manuscript Algebras
A Manifesto for the Programming Desperado
github.com·13h·
Discuss: Hacker News
💻Programming languages
Steve Jobs Signed 1988 NExt Inc. Memo Autograph Founder CEO
yourownmuseum.com·14h·
Discuss: Hacker News
🍎Apple Computing
Multi-Core By Default
rfleury.com·1d·
Discuss: Lobsters, Hacker News
🔩Systems Programming
Activation Alchemist: Sculpting Stability with Functional Signatures
dev.to·9h·
Discuss: DEV
🔍Concolic Testing
Let's Write a Macro in Rust
hackeryarn.com·13h·
Discuss: Hacker News
🦀Rust Macros
My First Week of Vibecoding
underreacted.leaflet.pub·2h·
Discuss: Hacker News
🎯Gradual Typing
Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com·15h·
Discuss: Hacker News
🌐Protocol Synthesis
All in on MatMul? Don’t Put All Your Tensors in One Basket!
sigarch.org·2d·
Discuss: Hacker News, r/programming
⚡Homebrew CPUs
[D] Anyone using smaller, specialized models instead of massive LLMs?
reddit.com·1d·
Discuss: r/MachineLearning
💻Local LLMs
Progress being made in porting AMD OpenSIL Turin PoC to Coreboot in a Gigabyte MZ33-AR1
blog.3mdeb.com·8h·
Discuss: Hacker News, r/hardware
🖥️Terminal Renaissance
Haskell Weekly Issue 493
haskellweekly.news·1d·
Discuss: Hacker News
🧬Functional Programming
Keyboard Holders, Generation 1
cceckman.com·1d·
Discuss: Hacker News
⌨️Mechanical Keyboards
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·1d·
Discuss: Hacker News, r/programming
🌳Incremental Parsing
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org·1d
🧮Theorem Proving
A gentle introduction to Generative AI: Historical perspective
medium.com·4h·
Discuss: Hacker News
🧠Learned Codecs
Ship Broken Things
matmul.net·1d·
Discuss: Hacker News
🔗Topological Sorting
Sorting encrypted data without decryption: a practical trick
dev.to·13h·
Discuss: DEV
🔐Hash Functions