Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
📐E-graphs
How we built a structured Streamlit Application Framework in Snowflake
about.gitlab.com·1d
🌊Streaming Systems
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·1d·
Discuss: Hacker News, r/programming
✅Format Verification
Building the Reasoning Engine at Axiom
axiommath.ai·7h·
Discuss: Hacker News
⚔️Lean Tactics
Modern C and initializing an array
subethasoftware.com·1d
🗂Data structures
Debugging Humidity: Lessons from deploying software in the physical world
physical-ai.ghost.io·6h·
Discuss: Hacker News
🛡️Error Boundaries
Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.org·1d·
Discuss: Hacker News
🔢Reed-Solomon Math
Open Lineage
usenix.org·23h
🔌Interface Evolution
Let's Write a Macro in Rust
hackeryarn.com·10h·
Discuss: Hacker News
🦀Rust Macros
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org·22h
🧮Theorem Proving
ASP.NET Core 9 Essentials • Albert Tanure & Rafael Herik de Carvalho • GOTO 2025
youtube.com·1d
🌐WASI
go-async, a type-Safe, retryable, and deterministic concurrency for Go
reddit.com·19h·
Discuss: r/golang
🦀Rust Borrowing
Announcing coreboot 25.09 release
blogs.coreboot.org·3h
🔌Operating system internals
A Retrospective Survey of 2024/2025 Open Source Supply Chain Compromises
words.filippo.io·11h·
Discuss: Lobsters, Hacker News
🔓Open Source Software
The Library Method: Understanding @cache
dev.to·1d·
Discuss: DEV
⚡Cache Theory
Three Solutions to Nondeterminism in AI
blog.hellas.ai·2d·
Discuss: Hacker News
🎯Performance Proofs
Show HN: Realization Jsmn on a Pure Zig
github.com·17h·
Discuss: Hacker News
🔗Concatenative Programming
Item Patterns and Struct Await
noratrieb.dev·21h·
Discuss: Hacker News
🦀Rust Macros
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca·7h·
Discuss: Hacker News
🔗Concatenative Programming
Show HN: Comparegpt.io – Trustworthy Mode to reduce LLM hallucinations
news.ycombinator.com·1d·
Discuss: Hacker News
🔍BitFunnel