I built an LLM from Scratch in Rust (Just ndarray and rand)
github.com·1d·
Discuss: Hacker News, r/LLM, r/rust
🧩Parser Combinators
Hosting a WebSite on a Disposable Vape
bogdanthegeek.github.io·16h·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🖥Self-Hosting
From Legal Documents to Knowledge Graphs
neo4j.com·2d·
Discuss: Hacker News
🧩Parser Combinators
The Capability-Tractability Tradeoff (2023)
buttondown.com·2d·
Discuss: Hacker News
🔍Formal Verification
Object Reorientation: Generic Functions
gigamonkeys.com·4d·
Discuss: Hacker News
🧮Lambda Calculus
LLM Rerankers for RAG: A Practical Guide
fin.ai·21h·
Discuss: Hacker News, Hacker News
🧩Parser Combinators
Kind Engineering: How to Engineer Kindness
kind.engineering·2h·
Discuss: Hacker News
🎮Verification Games
Meet the 11-Year-Old Whose Code Was Adopted by a Gaming Giant
thenewstack.io·1d·
Discuss: Hacker News
🎮Verification Games
Slidebee – turn any ArXiv paper into a presentation
slidebee.genmini.ai·18h·
Discuss: Hacker News
✓Automated Theorem Proving
Programming Deflation
tidyfirst.substack.com·4h·
Discuss: Substack
💎Refinement Types
Weighted random generation in Python (2010)
eli.thegreenplace.net·20h·
Discuss: Hacker News
🎮Verification Games
In response to a developer asking about systems
notes.eatonphil.com·18h·
Discuss: Hacker News
🔤DSLs
Choosing Rust for LLM-generated code
runmat.org·3d·
Discuss: Hacker News
🐫Embedded OCaml
MiniRust
github.com·2d·
Discuss: Hacker News
🐫OCaml
Coders End, from Typers to Thinkers
etsd.tech·8h·
Discuss: Hacker News
💎Refinement Types
Scvi-hub: an actionable repository for model-driven single-cell analysis
nature.com·2d·
Discuss: Hacker News
📚Automata Learning
Unit test isolation using MVCC
blog.alexsanjoseph.com·5h·
Discuss: Hacker News
🧪Property-Based Testing
Old norse roots of English words
en.wikipedia.org·2d·
Discuss: Hacker News
🧮Lambda Calculus
The Sacred Conspiracy by Georges Bataille (1936)
marxists.org·2d·
Discuss: Hacker News
🩹Self-Healing Systems
Prototype Pollution in Python (2023)
blog.abdulrah33m.com·4d·
Discuss: Hacker News
🔬Static Analysis