abnv's Top FindsLoading...
The Trillion Dollar AI Software Development Stack
a16z.com·7h·
Discuss: Hacker News
🎭Program Synthesis
Understanding Web and Internet Fundamentals
dev.to·16h·
Discuss: DEV
🌍Minimal HTTP
Unforgettable factory revisited
holyblackcat.github.io·1d·
Discuss: r/cpp
🪆Embedded DSLs
CLI tool that translates plain English into Linux commands
reddit.com·13h·
Discuss: r/linux
🐚Shell Languages
Why Do Data Pipelines Need Streaming — Isn’t Batch Processing Enough?
linkedin.com·1d·
Discuss: DEV
📡Erlang BEAM
SAT problems are kind of cool
blog.karanjanthe.me·2d·
Discuss: Hacker News
🧩SAT Solvers
Item Patterns and Struct Await
noratrieb.dev·23h·
Discuss: Hacker News
🛡️Error Handling
Making Documentation Simpler and Practical: Our Docs-as-Code Journey
engineering.squarespace.com·13h
📚Self-Documenting Code
Show HN: Realization Jsmn on a Pure Zig
github.com·19h·
Discuss: Hacker News
📋JSON Parsing
IASC: Interactive Agentic System for ConLangs
arxiv.org·1d
🔄Incremental Lexing
Three ways formally verified code can go wrong in practice
buttondown.com·11h
📜Proof Languages
Programmer in Wonderland
binaryigor.com·1d·
Discuss: Hacker News
📚Self-Documenting Code
Defeating Return Type Polymorphism
philipphagenlocher.de·2d·
Discuss: Hacker News
📏Linear Haskell
Building A Real-Time Communication System Using Go and WebSocket
dev.to·9h·
Discuss: DEV
🌍HTTP Servers
go-async, a type-Safe, retryable, and deterministic concurrency for Go
reddit.com·21h·
Discuss: r/golang
🐹Goroutine Scheduling
🌟 Understanding Generics in TypeScript: The Key to Reusable, Type-Safe Code
dev.to·1d·
Discuss: DEV
🔗Go Generics
🖥️ Mastering the Terminal: From Beginner to Power User
dev.to·1d·
Discuss: DEV
💻Terminal Control
Building a Redis Clone in Zig—Part 1
charlesfonseca.substack.com·2d·
Discuss: r/Zig
💾Zig Allocators
How static analysis encourages developers to refactor code: Another look at Source SDK
dev.to·14h·
Discuss: DEV
🪄C Metaprogramming
GaloisInc/parameterized-utils
github.com·3d
📏Linear Haskell