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