Binding Application in Idris
andrevidela.com·1d·
Discuss: Hacker News
📐Formal Methods
Realbasic (2000)
joelonsoftware.com·1d·
Discuss: Hacker News
🗃️Database Internals
Why Golang Belongs in Your AI Stack—Especially for Preprocessing Pipelines
hackernoon.com·2d
🌊Stream Processing
WASM the Hard Way: Porting the Chicory Compiler to Android
blog.evacchi.dev·19h·
Discuss: Lobsters, Hacker News
🧠Memory Management
jank is C++
jank-lang.org·21h·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust
Rethinking Object-Oriented Programming in Java Education
max.xz.ax·22h·
Discuss: Hacker News, r/programming
📐Formal Methods
LLMs for coding (+ free workflow templates)
blog.n8n.io·17h·
Discuss: Hacker News
📐Formal Methods
Types are Transforming Python
spin.atomicobject.com·3d·
Discuss: Hacker News
📐Formal Methods
A deep dive into deeply recursive Go
mattermost.com·21h·
Discuss: Hacker News
🗃️Database Internals
Rex: Closing the language-verifier gap with safe and usable kernel extensions
usenix.org·15h·
Discuss: Hacker News
🗃️Database Internals
Who Killed class? A Forensic Look at C++’s Forgotten Keyword
hackernoon.com·2d
🦀Rust
LLM Failures
funcall.blogspot.com·3d·
Discuss: Hacker News
📐Formal Methods
ANN: Miso-lynx, create iOS apps with Haskell and LynxJS
github.com·2d·
Discuss: Hacker News
🦀Rust
Building Real-Time AI Streaming Services with AWS Lambda and Architect
metaduck.com·23h·
Discuss: Hacker News
🌊Stream Processing
Writing an IR from Scratch and survive to write a post
farena.in·1d·
Discuss: Lobsters
🗃️Database Internals
Why LLMs Can't Write Q/Kdb+: Writing Code Right-to-Left
medium.com·4d·
Discuss: Hacker News
📐Formal Methods
Writing Bounds-Safe Code in C with Arrays
uecker.codeberg.page·1d·
Discuss: Hacker News
🧠Memory Management
Introducing Rudy: A Toolchain for Rust Debuginfo
samjs.io·2d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust
JavaScript is easy, but how good is Claude Code at writing Malbolge code?
somethingwithai.substack.com·1d·
Discuss: Substack
📊Performance Profiling
Puzzle Languages
prog21.dadgum.com·3d·
Discuss: Lobsters
📐Formal Methods