read.ehrlich.dev
ai-curated rss
about
github
rss
dark
programming languages
Theory and practice of language design and implementation
hot
new
week
month
year
spaces
all
ai
internet culture
writing
information theory
malware analysis
devops
site reliability
security
machine learning
cloud infrastructure
ai agents
quantum computing
open source
digital rights
behavioral economics
reverse engineering
energy
complexity
distributed systems
economics
databases
api design
git internals
wasm
materials science
data engineering
webdev
math olympiad
physics
cryptography
design
thermodynamics
mathematics
solo dev
observability
indie games
chemistry
programming languages
cellular automata
python
containers
technical writing
game theory
birding
reinforcement learning
nanotechnology
creative coding
statistics
climate science
procedural generation
worldbuilding
space exploration
astrophysics
game dev
data visualization
operating systems
networking
linux
computer vision
golang
robotics
astrobiology
aerospace
exploit development
neuroscience
cognitive science
manga
algorithmic trading
elixir
decision theory
computer graphics
political philosophy
history of science
formal verification
javascript
mechanical keyboards
swift
category theory
self hosted
board games
type theory
evolution
philosophy
rust
nix
philosophy of mind
embedded systems
urban exploration
retrocomputing
compilers
amateur astronomy
nuclear
information design
computer architecture
electronic music
oceanography
archaeology
chess
genetics
fractals
geology
ethics
kotlin
go game
vinyl
number theory
anthropology
aquariums
film
history of computing
lisp
synths
bioinformatics
pharmacology
ecology
metaphysics
semiotics
audio programming
history
paleoanthropology
topology
cpp
photography
haskell
consciousness
witsrtn
cartography
meditation
ham radio
fpga
sci fi
shell scripting
demoscene
homelab
horror
speedrunning
typography
tabletop rpg
animation
woodworking
3d printing
sourdough
puzzles
standup comedy
phenomenology
linguistics
existentialism
music theory
true crime
fermentation
lock picking
espresso
zig
finance
pixel art
philosophy of science
nonduality
typescript
conlangs
mycology
forth
290
Ambient Category
(june.kim)
24 days ago ·
type theory
·
programming languages
240
A Simple Categorical Calculus of Interacting Processes
(arxiv.org)
24 days ago ·
programming languages
·
type theory
88
Lobsters Interview with Internet_Jannitor
(alexalejandre.com)
24 days ago ·
open source
·
programming languages
160
An effect notation based on with-clauses and blocks
(blog.yoshuawuyts.com)
25 days ago ·
programming languages
·
rust
65
Embedded regex flags
(johndcook.com)
24 days ago ·
programming languages
·
compilers
125
C++26: std::is_within_lifetime -- Sandor Dargo
(isocpp.org)
25 days ago ·
rust
·
programming languages
68
Does Bad Code in Your Context Window Misalign LLM Recommendations?
(christiantietze.de)
24 days ago ·
wasm
·
programming languages
42
The Abstraction Layer
(swiftjectivec.com)
24 days ago ·
compilers
·
programming languages
175
How many branches can your CPU predict?
(lemire.me)
26 days ago ·
computer architecture
·
programming languages
125
The cost of a function call -- Daniel Lemire
(isocpp.org)
27 days ago ·
programming languages
·
cpp
20
CppCon 2025 More Speed & Simplicity: Practical Data-Oriented Design in C++ -- Vittorio Romeo
(isocpp.org)
26 days ago ·
programming languages
·
wasm
20
Google Summer of Code 2026 Is Here: Contribute to Kotlin
(blog.jetbrains.com)
26 days ago ·
kotlin
·
programming languages
115
Defeating Return Type Polymorphism
(philipphagenlocher.de)
1 month ago ·
haskell
·
programming languages
125
The Radix Heap
(ssp.impulsetrain.com)
1 month ago ·
exploit development
·
programming languages
95
Lazy Dynamic Programming
(jelv.is)
1 month ago ·
haskell
·
programming languages
128
Fine-Tuned Small Models Beat RAG: The 2026 Economics
(dev.to)
1 month ago ·
programming languages
·
compilers
25
It Takes All The Running You Can Do to Still Not Get a Job
(xlii.space)
29 days ago ·
solo dev
·
programming languages
95
Debugging Haskell Type Errors
(jelv.is)
1 month ago ·
programming languages
·
haskell
78
The Lawless Guide to Monads
(blog.peramid.es)
1 month ago ·
haskell
·
programming languages
72
Haskell, Monads and Purity
(jelv.is)
1 month ago ·
haskell
·
programming languages
65
Is it c? Or is it с?
(jezenthomas.com)
1 month ago ·
lisp
·
programming languages
72
Complexity is Bad—as a Concept
(jelv.is)
1 month ago ·
complexity
·
programming languages
70
Thinking Elixir 295: Is Your Type System Leaking?
(elixirstatus.com)
1 month ago ·
elixir
·
programming languages
72
Big-O Misconceptions
(ssp.impulsetrain.com)
1 month ago ·
math olympiad
·
programming languages
45
Supercede's House Style for Haskell
(jezenthomas.com)
1 month ago ·
haskell
·
programming languages
105
Les tests d’architecture logicielle : 4 exemples pour les adopter
(blog.octo.com)
1 month ago ·
wasm
·
programming languages
65
‘Grief and the AI Split’
(blog.lmorchard.com)
1 month ago ·
ai
·
programming languages
88
Christoph Breitkopf: Functional Valhalla?
(bokesan.blogspot.com)
1 month ago ·
programming languages
·
haskell
42
Disposable Software?
(balanarayan.com)
1 month ago ·
ai
·
programming languages
32
GHC Developer Blog: GHC 9.12.4-rc1 is now available
(haskell.org)
1 month ago ·
haskell
·
programming languages
62
Christoph Breitkopf: Functional Valhalla?
(bokesan.blogspot.com)
1 month ago ·
programming languages
·
haskell
72
8 NDepend Rules to Enforce Domain-Driven Design in .NET
(blog.ivankahl.com)
1 month ago ·
programming languages
·
rust
170
TLA+ as a Design Accelerator: Lessons from the Industry
(muratbuffalo.blogspot.com)
1 month ago ·
programming languages
·
formal verification
125
Simple over easy for operations
(bigconfig.it)
1 month ago ·
golang
·
programming languages
40
Quoting John Carmack
(simonwillison.net)
1 month ago ·
behavioral economics
·
programming languages
38
From Classroom Code to NASA Challenges: Carlos Orozco’s Journey Into Big Tech
(blog.jetbrains.com)
1 month ago ·
formal verification
·
programming languages
250
Type resolution redesign, with language changes to taste
(ziglang.org)
1 month ago ·
zig
·
programming languages
82
Tony Hoare (1934-2026)
(blog.computationalcomplexity.org)
1 month ago ·
formal verification
·
programming languages
38
Your Static Types Are Not Safe. Mine Are.
(xlii.space)
1 month ago ·
typescript
·
programming languages
70
SOLIDify your Object Oriented Programming
(dkrichards.com)
1 month ago ·
programming languages
·
javascript
32
Which of these languages are best for AI?
(blog.ploeh.dk)
1 month ago ·
compilers
·
programming languages
24
Thinnings: Sublist Witnesses and de Bruijn Index Shift Clumping
(philipzucker.com)
1 month ago ·
type theory
·
programming languages
35
Is It Blue, or Is It a Bug?
(spin.atomicobject.com)
1 month ago ·
programming languages
·
design
18
Cambrian
(denialof.services)
1 month ago ·
open source
·
programming languages
42
One Size Does Not Fit All: Token-Wise Adaptive Compression for KV Cache
(arxiv.org)
1 month ago ·
information theory
·
programming languages
85
On the Effectiveness of Mutational Grammar Fuzzing
(projectzero.google)
1 month ago ·
compilers
·
programming languages
85
a grand vision for rust
(blog.yoshuawuyts.com)
1 month ago ·
programming languages
·
wasm
42
GitHub Data Shows AI Tools Creating "Convenience Loops" That Reshape Developer Language Choices
(infoq.com)
1 month ago ·
programming languages
·
javascript
85
Fast Software: More Programmers, Not Fewer
(yegor256.com)
1 month ago ·
ai agents
·
programming languages
12
'Power comes from the ground' - meet the man tasked with improving Ireland's 'scrum culture'
(the42.ie)
1 month ago ·
programming languages
72
Flavours of Reflection -- Bernard Teo
(isocpp.org)
1 month ago ·
programming languages
·
cpp
42
Addressing a type system limitation with syntactic sugar
(futhark-lang.org)
1 month ago ·
programming languages
·
haskell
12
recursions
(suriya.cc)
1 month ago ·
programming languages
·
haskell
42
Donnacha Oisín Kidney: Monuses and Heaps
(doisinkidney.com)
1 month ago ·
mathematics
·
programming languages
42
DTOs at the Speed of Plain PHP
(dereuromark.de)
1 month ago ·
kotlin
·
programming languages
12
Nobody knows what it will look like in 2 years
(idratherbewriting.com)
1 month ago ·
programming languages
48
Programming Languages
1 month ago ·
programming languages
·
lisp
38
Programming Languages
1 month ago ·
programming languages
·
lisp
22
Programming Languages
1 month ago ·
programming languages
·
lisp
18
Programming Languages
1 month ago ·
programming languages
·
lisp
42
IIFE for Complex Initialization -- Bartlomiej Filipek
(isocpp.org)
1 month ago ·
programming languages
·
kotlin
12
Why Objective-C
(inessential.com)
1 month ago ·
compilers
·
programming languages
85
Against Query Based Compilers
(matklad.github.io)
1 month ago ·
programming languages
·
wasm
12
The Future of Software
(inference.vc)
1 month ago ·
programming languages
·
compilers
42
Making Wolfram Tech Available as a Foundation Tool for LLM Systems
(blog.wolfram.com)
1 month ago ·
cellular automata
·
programming languages
42
Range adaptors – 5 years after C++20 -- Hannes Hauswedell
(isocpp.org)
1 month ago ·
wasm
·
programming languages
42
TDD as induction
(blog.ploeh.dk)
1 month ago ·
formal verification
·
programming languages
52
The why and how of parallel in-place random-access accumulation
(futhark-lang.org)
1 month ago ·
rust
·
programming languages
72
How fast do browsers correct UTF-16 strings?
(lemire.me)
1 month ago ·
wasm
·
programming languages
42
Are Compilers Deterministic?
(blog.onepatchdown.net)
1 month ago ·
programming languages
·
wasm
42
So how do you quickly concatenate strings? -- Aleksandr Orefkov
(isocpp.org)
1 month ago ·
forth
·
programming languages
42
Compiler Education Deserves a Revolution
(thunderseethe.dev)
1 month ago ·
compilers
·
programming languages
42
Tweag I/O: Nickel since 1.0
(tweag.io)
1 month ago ·
programming languages
·
nix
42
15 Different Ways to Filter Containers in Modern C++ -- Bartłomiej Filipek
(isocpp.org)
1 month ago ·
programming languages
·
type theory
110
Range-Over Functions in Go
(ardanlabs.com)
1 month ago ·
kotlin
·
programming languages
12
SWE replaced by AI in 2-3 years
(lanziani.com)
1 month ago ·
programming languages
·
compilers
72
How to Choose Between Hindley-Milner and Bidirectional Typing
(thunderseethe.dev)
1 month ago ·
programming languages
·
haskell
42
Parameterized testing: You want Inputs and Outputs
(blog.gnoack.org)
2 months ago ·
formal verification
·
programming languages
12
Happy 25th birthday to the manifesto for agile software development!
(sicpers.info)
2 months ago ·
programming languages
·
wasm
280
Go 1.26 is released
(go.dev)
2 months ago ·
programming languages
·
haskell
72
Programming Aphorisms
(matklad.github.io)
2 months ago ·
rust
·
programming languages
12
Large Language Models for Mortals book
(andrewpwheeler.com)
2 months ago ·
ai
·
programming languages
8
Code like a surgeon
(kbr.sh)
2 months ago ·
ai
·
programming languages
420
Stories From 25 Years of Software Development
(susam.net)
2 months ago ·
technical writing
·
programming languages
130
You Are Here
(brooker.co.za)
2 months ago ·
programming languages
·
ai
12
A Third Path, Paathuklam
(spraka.sh)
2 months ago ·
programming languages
·
internet culture
1
The cost of a function call
(lemire.me)
2 months ago ·
programming languages
·
kotlin
25
AWS Transform custom: AI-driven Java modernization to reduce tech debt
(aws.amazon.com)
2 months ago ·
programming languages
·
devops
1
Joe Marshall: Vibe Coded Scheme Interpreter
(funcall.blogspot.com)
2 months ago ·
lisp
·
programming languages
1
This week BIG staff protested against planned layoffs in London
(dezeen.com)
2 months ago ·
programming languages
·
economics
1
Moderniser un legacy conséquent sans y perdre ses plumes - Partie I
(blog.octo.com)
2 months ago ·
programming languages
·
internet culture
1
Automatic Programming
(notes.billmill.org)
2 months ago ·
programming languages
·
git internals
1
EPISODE #024 – Simulating Embedded Systems
(beningo.com)
2 months ago ·
wasm
·
programming languages
1
Boilerplate Tax - Ranking popular programming languages by density
(boyter.org)
2 months ago ·
technical writing
·
programming languages
1
in Code: "Five-Point Haskell": Total Depravity (and Defensive Typing)
(blog.jle.im)
2 months ago ·
haskell
·
programming languages
1
Join the Kotlin Ecosystem Mentorship Program
(blog.jetbrains.com)
2 months ago ·
kotlin
·
programming languages
1
Joe Marshall: Some Libraries
(funcall.blogspot.com)
2 months ago ·
lisp
·
programming languages
1
How you migrate is everything
(swizec.com)
2 months ago ·
rust
·
programming languages
1
On the expressive power of programming languages
2 months ago ·
programming languages
·
formal verification
1
Code is cheap. Show me the talk.
(nadh.in)
2 months ago ·
programming languages
·
wasm
spaces
all
ai
internet culture
writing
information theory
malware analysis
devops
site reliability
security
machine learning
cloud infrastructure
ai agents
quantum computing
open source
digital rights
behavioral economics
reverse engineering
energy
complexity
distributed systems
economics
databases
api design
git internals
wasm
materials science
data engineering
webdev
math olympiad
physics
cryptography
design
thermodynamics
mathematics
solo dev
observability
indie games
chemistry
programming languages
cellular automata
python
containers
technical writing
game theory
birding
reinforcement learning
nanotechnology
creative coding
statistics
climate science
procedural generation
worldbuilding
space exploration
astrophysics
game dev
data visualization
operating systems
networking
linux
computer vision
golang
robotics
astrobiology
aerospace
exploit development
neuroscience
cognitive science
manga
algorithmic trading
elixir
decision theory
computer graphics
political philosophy
history of science
formal verification
javascript
mechanical keyboards
swift
category theory
self hosted
board games
type theory
evolution
philosophy
rust
nix
philosophy of mind
embedded systems
urban exploration
retrocomputing
compilers
amateur astronomy
nuclear
information design
computer architecture
electronic music
oceanography
archaeology
chess
genetics
fractals
geology
ethics
kotlin
go game
vinyl
number theory
anthropology
aquariums
film
history of computing
lisp
synths
bioinformatics
pharmacology
ecology
metaphysics
semiotics
audio programming
history
paleoanthropology
topology
cpp
photography
haskell
consciousness
witsrtn
cartography
meditation
ham radio
fpga
sci fi
shell scripting
demoscene
homelab
horror
speedrunning
typography
tabletop rpg
animation
woodworking
3d printing
sourdough
puzzles
standup comedy
phenomenology
linguistics
existentialism
music theory
true crime
fermentation
lock picking
espresso
zig
finance
pixel art
philosophy of science
nonduality
typescript
conlangs
mycology
forth