ZkML Breakthrough: 13B Models Verified in 15 Minutes
lightcapai.medium.com·11h·
Discuss: Hacker News
🚀JIT Compilation
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.com·2d·
Discuss: Lobsters, Hacker News
💻Programming
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·3d·
Discuss: Hacker News
🌳Tree-sitter
Flag this post
Show HN: Using GitHub Pages as zero-cost APT repository with global CDN
vejeta.com·1d·
Discuss: Hacker News
⚙WebAssembly
Flag this post
MS-DOS Development with GCC
hackaday.com·14h·
Discuss: Hacker News
🔌RISC-V
Flag this post
Writing an Asciidoc Parser in Rust: Asciidocr
bikesbooksandbullshit.com·1d·
Discuss: Hacker News
💻Programming
Flag this post
Product Designer's workflow for prototyping with Cursor
hvpandya.com·11h·
Discuss: Hacker News
🧰Developer Ergonomics
Flag this post
Improving Emacs' iCalendar Support
recursewithless.net·7h·
Discuss: Hacker News
🌳Tree-sitter
Flag this post
AWK technical notes (2023)
maximullaris.com·8h·
Discuss: Lobsters
🔬PLT
Flag this post
The Cargo Cult in the Machine: Why LLMs Are the Ultimate Imitators
steviee.medium.com·14h·
Discuss: Hacker News
🔬PLT
Flag this post
The Evolution of GPUs: How Floating-Point Changed Computing
dell.com·13h·
Discuss: Hacker News
🔌RISC-V
Flag this post
Text rendering and effects using GPU-computed distances
blog.pkh.me·1d·
Discuss: Lobsters, Hacker News
🔬PLT
Flag this post
From hours to seconds: AI tools to detect animal calls
seangoedecke.com·20h·
Discuss: Hacker News
🌳Tree-sitter
Flag this post
Understanding Type-Based Alias Analysis in C and C++
kdab.com·6d·
Discuss: Hacker News
🖥️Computer Architecture
Flag this post
What's new in Swift: October 2025 Edition
swift.org·2d·
Discuss: Hacker News
💻Programming
Flag this post
Show HN: Everything it took to run an LLM at 10k tok/s on H200s
relace.ai·4d·
Discuss: Hacker News
🌳Tree-sitter
Flag this post
Hou Tu Pranownse Inglish
zompist.com·9h·
Discuss: Hacker News
🔬PLT
Flag this post
Developer salaries may increase with AI
mtyurt.net·13h·
Discuss: Hacker News
🧰Developer Ergonomics
Flag this post
Handbook of Satisfiability (2021)
iospress.com·15h·
Discuss: Hacker News
🔬PLT
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·2d·
Discuss: Hacker News
🌳Tree-sitter
Flag this post