📋 Datalog - abnv · Scour

Making an archer automaton

blog.adafruit.com·8h

📝Rope Editors

Timbers Ships (Knock on Wood)

blog.gorewood.games·1h

🔄Bootstrapping

About the Information System on Graph Classes and their Inclusions

graphclasses.org·1d

🔗Graph Rewriting

Shane Borden: Do PostgreSQL Sub-Transactions Hurt Performance?

shaneborden.com·13h

🗑️Concurrent GC

Simplifying assertions with lenses

blog.ploeh.dk·1d

🚂Error Monads

Understanding Providers and Dependency Injection in NestJS

en.wikipedia.org·12h·

Discuss: DEV

🔀Control Structures

The Return of Algol 68

jxself.org·2d

📚Forth Compilers

plrg-bristol/advanced-haskell-2026: Resources for the 2026 Advanced Haskell seminar series at Bristol

github.com·1d

👑Dependent Haskell

Rewrote my Node.js data generator in Rust. 20x faster, but the 15MB binary (vs 500MB node_modules) is the real win.

algomimic.com·7h·

Discuss: r/rust

A practical systems engineering guide: Architecting AI-ready infrastructure for the agentic era

thenewstack.io·1d

🌐Network Protocols

bpftrace in C++

kuniga.me·1d

🔄Tail Call Analysis

The Evolution of a Lean Programmer

unnamed.website·2d·

Discuss: Hacker News

🎭Staged Interpreters

Python Morsels: Need switch-case in Python? It's not match-case!

pythonmorsels.com·5h

🎯Pattern Matching

Main Content || Math ∩ Programming

jeremykun.com·2d

🔢Algebraic Datatypes

Learn Weird Programming Languages

okienko.day·1d·

Discuss: Hacker News

🏗️Minimal Compilers

A high-performance Go framework (250k+ req/sec) with built-in batteries

go-kvolt.github.io·18h

🤖Embedded Go

Sneaky quokka: Testing and debugging with LLMs

honnibal.dev·20h

🧪Parser Testing

Ready to generate more value from your Data?

guitton.co·1d

📋Souffle Datalog

Formal Methods Practice and Theory

adacore.com·15h·

Discuss: Hacker News

🎯Symbolic Execution

EdgeQuake: Rust-powered RAG framework for production knowledge graphs

news.ycombinator.com·17h·

Discuss: Hacker News

🚂Cranelift IR

Loading more...