Unpythonic: Supercharge your Python with parts of Lisp and Haskell
github.com·6h·
Discuss: Hacker News
📐Formal Methods
"high level" languages are easier to optimize
jyn.dev·13h·
Discuss: Hacker News
🗃️Database Internals
Dearest C++, Let Me Count the Ways I Love/Hate Thee
hackaday.com·1d·
Discuss: Hacker News
📐Formal Methods
Binding Application in Idris
andrevidela.com·2d·
Discuss: Hacker News
📐Formal Methods
WASM the Hard Way: Porting the Chicory Compiler to Android
blog.evacchi.dev·1d·
Discuss: Lobsters, Hacker News
🧠Memory Management
Why Golang Belongs in Your AI Stack—Especially for Preprocessing Pipelines
hackernoon.com·2d
🌊Stream Processing
Rethinking Object-Oriented Programming in Java Education
max.xz.ax·1d·
Discuss: Hacker News, r/programming
📐Formal Methods
Hacking Coroutines into C
wiomoc.de·7h·
Discuss: Lobsters, Hacker News, r/C_Programming, r/programming
🧠Memory Management
LLMs for coding (+ free workflow templates)
blog.n8n.io·1d·
Discuss: Hacker News
📐Formal Methods
"high level" languages are easier to optimize
jyn.dev·13h·
Discuss: Lobsters, Hacker News, Hacker News
🗃️Database Internals
Realbasic (2000)
joelonsoftware.com·2d·
Discuss: Hacker News
🗃️Database Internals
jank is C++
jank-lang.org·1d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust
Rust Language Cheat Sheet
cheats.rs·1d·
Discuss: Hacker News
🦀Rust
Types are Transforming Python
spin.atomicobject.com·3d·
Discuss: Hacker News
📐Formal Methods
Midio
midio.com·2h·
Discuss: Hacker News
🧩Microservices
Rex: Closing the language-verifier gap with safe and usable kernel extensions
usenix.org·1d·
Discuss: Hacker News
🗃️Database Internals
A deep dive into deeply recursive Go
mattermost.com·1d·
Discuss: Hacker News
🗃️Database Internals
I Built a Testable Recursive Theory of Language Models Using GPT – It Works
news.ycombinator.com·10h·
Discuss: Hacker News
📐Formal Methods
Who Killed class? A Forensic Look at C++’s Forgotten Keyword
hackernoon.com·2d
🦀Rust
Context Forge – A CLI-first tool for managing Claude context and AI workflows
github.com·5h·
Discuss: Hacker News
🧠Memory Management