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
280
C++26: Cleaning up string literals -- Sandor Dargo
(isocpp.org)
1 month ago ·
programming languages
·
compilers
220
Presentation: Producing the World's Cheapest Tokens: A How-to Guide
(infoq.com)
1 month ago ·
programming languages
·
ai
30
Javascript Variable
(dev.to)
1 month ago ·
javascript
·
programming languages
400
[$] Even more formal verification for BPF
(lwn.net)
1 month ago ·
formal verification
·
programming languages
170
Project Valhalla's First Preview: JEP 401 Redefines == for Java Objects
(infoq.com)
1 month ago ·
kotlin
·
programming languages
250
Profile-guided optimization in Go
(lemire.me)
1 month ago ·
programming languages
·
cpp
120
How to Implement Structured Output with Local LLMs
(towardsdatascience.com)
1 month ago ·
programming languages
·
kotlin
220
Unary operators and the Shunting Yard algorithm
(boston.conman.org)
1 month ago ·
compilers
·
programming languages
220
How not to calculate cosine
(johndcook.com)
1 month ago ·
programming languages
·
mathematics
130
What is even taste when it comes to programming?
(boston.conman.org)
1 month ago ·
internet culture
·
programming languages
20
Summer lightness: errors that puzzled and/or irritated you.
(crookedtimber.org)
1 month ago ·
worldbuilding
·
programming languages
230
Finally adding recursive functions to Futhark
(futhark-lang.org)
1 month ago ·
programming languages
·
forth
60
¿Dónde están los beneficios de programar con IA?
(a-chacon.com)
1 month ago ·
ai
·
programming languages
190
Purely functional digital circuit simulator (SICP 3.3)
(entropicthoughts.com)
1 month ago ·
programming languages
·
formal verification
170
The code that didn’t break
(johndcook.com)
1 month ago ·
programming languages
·
math olympiad
130
C++ Reflection: a Universal Printer -- Lieven de Cock
(isocpp.org)
1 month ago ·
programming languages
·
typescript
110
in Code: "Five-Point Haskell": Unconditional Election (via Parametricity)
(blog.jle.im)
1 month ago ·
haskell
·
programming languages
40
LISP — ภาษา 67 ปีก่อน ที่ยังมีชีวิตอยู่ในทุกภาษาที่คุณเขียน
(dev.to)
1 month ago ·
lisp
·
programming languages
180
The Velocity Trap: Why the Best Software Architects Move the Slowest
(spin.atomicobject.com)
1 month ago ·
wasm
·
programming languages
10
Kodee’s Kotlin Roundup: Birthday Wishes, Shipaton 2026, and the New Kotlin AI Benchmark
(blog.jetbrains.com)
1 month ago ·
kotlin
·
programming languages
5
dotInsights | August 2026
(blog.jetbrains.com)
1 month ago ·
technical writing
·
programming languages
30
BeCPP Symposium 2026 - Phil Nash - Contemporary C++ Testing
(isocpp.org)
1 month ago ·
wasm
·
programming languages
380
Full flattening of nested data parallelism
(futhark-lang.org)
1 month ago ·
programming languages
·
wasm
30
Kodebits: July 2026—Crossing Fifty! [FREE]
(kodeco.com)
1 month ago ·
kotlin
·
programming languages
25
Fridays With Bob
(spectrum.ieee.org)
1 month ago ·
open source
·
programming languages
200
The Economic Benefit of Refactoring
(martinfowler.com)
1 month ago ·
programming languages
·
compilers
200
Finite Algebraic Effects as dicts and such
(philipzucker.com)
1 month ago ·
programming languages
·
haskell
20
GHC Developer Blog: GHC 9.14.2-rc1 is now available
(haskell.org)
1 month ago ·
haskell
·
programming languages
15
Logic for Programmers is Done
(buttondown.com)
1 month ago ·
formal verification
·
programming languages
200
Rotation revisited: Cycle decomposition in clang’s libcxx -- Raymond Chen
(isocpp.org)
1 month ago ·
programming languages
·
cpp
180
Digital circuit simulator in Haskell (SICP 3.3)
(entropicthoughts.com)
1 month ago ·
formal verification
·
programming languages
290
Ambient Category
(june.kim)
5 months ago ·
type theory
·
programming languages
240
A Simple Categorical Calculus of Interacting Processes
(arxiv.org)
5 months ago ·
programming languages
·
type theory
88
Lobsters Interview with Internet_Jannitor
(alexalejandre.com)
5 months ago ·
open source
·
programming languages
160
An effect notation based on with-clauses and blocks
(blog.yoshuawuyts.com)
5 months ago ·
programming languages
·
rust
65
Embedded regex flags
(johndcook.com)
5 months ago ·
programming languages
·
compilers
125
C++26: std::is_within_lifetime -- Sandor Dargo
(isocpp.org)
5 months ago ·
rust
·
programming languages
68
Does Bad Code in Your Context Window Misalign LLM Recommendations?
(christiantietze.de)
5 months ago ·
wasm
·
programming languages
42
The Abstraction Layer
(swiftjectivec.com)
5 months ago ·
compilers
·
programming languages
175
How many branches can your CPU predict?
(lemire.me)
5 months ago ·
computer architecture
·
programming languages
125
The cost of a function call -- Daniel Lemire
(isocpp.org)
5 months ago ·
programming languages
·
cpp
20
CppCon 2025 More Speed & Simplicity: Practical Data-Oriented Design in C++ -- Vittorio Romeo
(isocpp.org)
5 months ago ·
programming languages
·
wasm
20
Google Summer of Code 2026 Is Here: Contribute to Kotlin
(blog.jetbrains.com)
5 months ago ·
kotlin
·
programming languages
115
Defeating Return Type Polymorphism
(philipphagenlocher.de)
6 months ago ·
haskell
·
programming languages
125
The Radix Heap
(ssp.impulsetrain.com)
6 months ago ·
exploit development
·
programming languages
95
Lazy Dynamic Programming
(jelv.is)
6 months ago ·
haskell
·
programming languages
128
Fine-Tuned Small Models Beat RAG: The 2026 Economics
(dev.to)
6 months ago ·
programming languages
·
compilers
25
It Takes All The Running You Can Do to Still Not Get a Job
(xlii.space)
5 months ago ·
solo dev
·
programming languages
95
Debugging Haskell Type Errors
(jelv.is)
6 months ago ·
programming languages
·
haskell
78
The Lawless Guide to Monads
(blog.peramid.es)
6 months ago ·
haskell
·
programming languages
72
Haskell, Monads and Purity
(jelv.is)
6 months ago ·
haskell
·
programming languages
65
Is it c? Or is it с?
(jezenthomas.com)
6 months ago ·
lisp
·
programming languages
72
Complexity is Bad—as a Concept
(jelv.is)
6 months ago ·
complexity
·
programming languages
70
Thinking Elixir 295: Is Your Type System Leaking?
(elixirstatus.com)
6 months ago ·
elixir
·
programming languages
72
Big-O Misconceptions
(ssp.impulsetrain.com)
6 months ago ·
math olympiad
·
programming languages
45
Supercede's House Style for Haskell
(jezenthomas.com)
6 months ago ·
haskell
·
programming languages
105
Les tests d’architecture logicielle : 4 exemples pour les adopter
(blog.octo.com)
6 months ago ·
wasm
·
programming languages
65
‘Grief and the AI Split’
(blog.lmorchard.com)
6 months ago ·
ai
·
programming languages
88
Christoph Breitkopf: Functional Valhalla?
(bokesan.blogspot.com)
6 months ago ·
programming languages
·
haskell
42
Disposable Software?
(balanarayan.com)
6 months ago ·
ai
·
programming languages
32
GHC Developer Blog: GHC 9.12.4-rc1 is now available
(haskell.org)
6 months ago ·
haskell
·
programming languages
62
Christoph Breitkopf: Functional Valhalla?
(bokesan.blogspot.com)
6 months ago ·
programming languages
·
haskell
72
8 NDepend Rules to Enforce Domain-Driven Design in .NET
(blog.ivankahl.com)
6 months ago ·
programming languages
·
rust
170
TLA+ as a Design Accelerator: Lessons from the Industry
(muratbuffalo.blogspot.com)
6 months ago ·
programming languages
·
formal verification
125
Simple over easy for operations
(bigconfig.it)
6 months ago ·
golang
·
programming languages
40
Quoting John Carmack
(simonwillison.net)
6 months ago ·
behavioral economics
·
programming languages
38
From Classroom Code to NASA Challenges: Carlos Orozco’s Journey Into Big Tech
(blog.jetbrains.com)
6 months ago ·
formal verification
·
programming languages
250
Type resolution redesign, with language changes to taste
(ziglang.org)
6 months ago ·
zig
·
programming languages
82
Tony Hoare (1934-2026)
(blog.computationalcomplexity.org)
6 months ago ·
formal verification
·
programming languages
38
Your Static Types Are Not Safe. Mine Are.
(xlii.space)
6 months ago ·
typescript
·
programming languages
70
SOLIDify your Object Oriented Programming
(dkrichards.com)
6 months ago ·
programming languages
·
javascript
32
Which of these languages are best for AI?
(blog.ploeh.dk)
6 months ago ·
compilers
·
programming languages
24
Thinnings: Sublist Witnesses and de Bruijn Index Shift Clumping
(philipzucker.com)
6 months ago ·
type theory
·
programming languages
35
Is It Blue, or Is It a Bug?
(spin.atomicobject.com)
6 months ago ·
programming languages
·
design
18
Cambrian
(denialof.services)
6 months ago ·
open source
·
programming languages
42
One Size Does Not Fit All: Token-Wise Adaptive Compression for KV Cache
(arxiv.org)
6 months ago ·
information theory
·
programming languages
85
On the Effectiveness of Mutational Grammar Fuzzing
(projectzero.google)
6 months ago ·
compilers
·
programming languages
85
a grand vision for rust
(blog.yoshuawuyts.com)
6 months ago ·
programming languages
·
wasm
42
GitHub Data Shows AI Tools Creating "Convenience Loops" That Reshape Developer Language Choices
(infoq.com)
6 months ago ·
programming languages
·
javascript
85
Fast Software: More Programmers, Not Fewer
(yegor256.com)
6 months ago ·
ai agents
·
programming languages
12
'Power comes from the ground' - meet the man tasked with improving Ireland's 'scrum culture'
(the42.ie)
6 months ago ·
programming languages
72
Flavours of Reflection -- Bernard Teo
(isocpp.org)
6 months ago ·
programming languages
·
cpp
42
Addressing a type system limitation with syntactic sugar
(futhark-lang.org)
6 months ago ·
programming languages
·
haskell
12
recursions
(suriya.cc)
6 months ago ·
programming languages
·
haskell
42
Donnacha Oisín Kidney: Monuses and Heaps
(doisinkidney.com)
6 months ago ·
mathematics
·
programming languages
42
DTOs at the Speed of Plain PHP
(dereuromark.de)
6 months ago ·
kotlin
·
programming languages
12
Nobody knows what it will look like in 2 years
(idratherbewriting.com)
6 months ago ·
programming languages
48
Programming Languages
6 months ago ·
programming languages
·
lisp
38
Programming Languages
6 months ago ·
programming languages
·
lisp
22
Programming Languages
6 months ago ·
programming languages
·
lisp
18
Programming Languages
6 months ago ·
programming languages
·
lisp
42
IIFE for Complex Initialization -- Bartlomiej Filipek
(isocpp.org)
6 months ago ·
programming languages
·
kotlin
12
Why Objective-C
(inessential.com)
6 months ago ·
compilers
·
programming languages
85
Against Query Based Compilers
(matklad.github.io)
6 months ago ·
programming languages
·
wasm
12
The Future of Software
(inference.vc)
6 months ago ·
programming languages
·
compilers
42
Making Wolfram Tech Available as a Foundation Tool for LLM Systems
(blog.wolfram.com)
6 months ago ·
cellular automata
·
programming languages
42
Range adaptors – 5 years after C++20 -- Hannes Hauswedell
(isocpp.org)
6 months ago ·
wasm
·
programming languages
42
TDD as induction
(blog.ploeh.dk)
6 months ago ·
formal verification
·
programming languages
52
The why and how of parallel in-place random-access accumulation
(futhark-lang.org)
6 months ago ·
rust
·
programming languages
72
How fast do browsers correct UTF-16 strings?
(lemire.me)
6 months ago ·
wasm
·
programming languages
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