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
ai agents
security
site reliability
digital rights
malware analysis
cloud infrastructure
open source
energy
quantum computing
machine learning
behavioral economics
reverse engineering
devops
git internals
internet culture
physics
design
api design
economics
complexity
materials science
wasm
math olympiad
webdev
data engineering
space exploration
political philosophy
mathematics
game dev
cryptography
chemistry
databases
distributed systems
observability
solo dev
statistics
reinforcement learning
creative coding
aerospace
birding
climate science
game theory
algorithmic trading
neuroscience
elixir
thermodynamics
category theory
technical writing
procedural generation
urban exploration
cellular automata
golang
indie games
number theory
self hosted
nanotechnology
cognitive science
astrophysics
oceanography
history of science
worldbuilding
topology
anthropology
genetics
linux
robotics
python
board games
exploit development
operating systems
manga
archaeology
decision theory
astrobiology
film
consciousness
computer vision
information theory
swift
mechanical keyboards
computer graphics
containers
formal verification
amateur astronomy
chess
philosophy of mind
kotlin
nuclear
evolution
homelab
history
programming languages
data visualization
finance
bioinformatics
pharmacology
javascript
go game
compilers
paleoanthropology
photography
information design
demoscene
true crime
networking
retrocomputing
ham radio
animation
embedded systems
computer architecture
vinyl
fractals
ethics
nix
cartography
puzzles
meditation
writing
philosophy
audio programming
metaphysics
woodworking
sci fi
rust
ecology
3d printing
existentialism
electronic music
sourdough
speedrunning
history of computing
tabletop rpg
mycology
geology
semiotics
horror
synths
typography
lisp
pixel art
aquariums
type theory
fermentation
standup comedy
linguistics
witsrtn
typescript
cpp
phenomenology
fpga
shell scripting
lock picking
haskell
conlangs
forth
espresso
nonduality
music theory
zig
philosophy of science
25
DBM: Budget provisions unaffected by SC ruling implementable
(philstar.com)
17 hours ago ·
distributed systems
·
programming languages
5
Poetry for Engineers: Of Code and Shortleaf Pine
(spectrum.ieee.org)
21 hours ago ·
compilers
·
programming languages
140
Implementing std::visit -- Quasar Chunawala
(isocpp.org)
3 days ago ·
programming languages
·
kotlin
110
devto-post-1-precision
(dev.to)
3 days ago ·
programming languages
·
information theory
180
Langsec: Language-Theoretic Security
(langsec.org)
3 days ago ·
security
·
programming languages
120
NYC, New Webinar, Differential Testing
(buttondown.com)
3 days ago ·
wasm
·
programming languages
215
Horizontal Operations
(computerenhance.com)
4 days ago ·
computer architecture
·
programming languages
65
Operators and Expressions in Python
(realpython.com)
3 days ago ·
python
·
programming languages
165
Reducing C++ Template Bloat: Practical Exam -- Raymond Chen
(isocpp.org)
5 days ago ·
cpp
·
programming languages
165
My obituary for programming
(kbr.sh)
5 days ago ·
programming languages
·
compilers
280
What a Second Model Actually Catches: Seven Articles, Forty Review Comments, Measured
(dev.to)
6 days ago ·
technical writing
·
programming languages
110
What's new in C# 15: Overview
(dev.to)
5 days ago ·
typescript
·
programming languages
165
OpenAI models make huge gains in modernizing decades-old software with 97.9% accuracy
(interestingengineering.com)
6 days ago ·
wasm
·
programming languages
35
Jest zielone światło dla ostatniego odcinka obwodnicy Gliwic. Kiedy kierowcy pojadą nową trasą?
(rmf24.pl)
5 days ago ·
programming languages
·
cartography
420
Inside the Intel 8087 chip: floating-point addition and subtraction
(righto.com)
7 days ago ·
computer architecture
·
programming languages
160
Properties for a budgeting exercise
(blog.ploeh.dk)
7 days ago ·
programming languages
·
formal verification
140
Is Python the favorite language of LLMs?
(zansara.dev)
7 days ago ·
programming languages
·
python
50
Calls grow for India to lure tech talent home as US tightens job curbs
(scmp.com)
6 days ago ·
programming languages
·
machine learning
110
Learning to let go in the age of AI
(kirahowe.com)
7 days ago ·
ai
·
programming languages
45
Python Summit - Is Python the favorite language of LLMs?
(zansara.dev)
7 days ago ·
lisp
·
programming languages
120
A quick C++ standard container overview
(isocpp.org)
8 days ago ·
cpp
·
programming languages
210
The C++ fundamentals your seniors think they know -- Mateusz Pusz
(isocpp.org)
9 days ago ·
programming languages
·
cpp
180
No more tech debt
(swizec.com)
9 days ago ·
site reliability
·
programming languages
65
Python's Instance, Class, and Static Methods Demystified
(realpython.com)
8 days ago ·
python
·
programming languages
310
Automating Observable Closure Analysis for Graph Transformation Models with MolFoundry
(arxiv.org)
10 days ago ·
programming languages
·
javascript
210
AI says you’re right, formal methods say you’re wrong
(stackoverflow.blog)
10 days ago ·
formal verification
·
programming languages
45
Pas rozbiegowy to zmora polskich kierowców. Błąd, który popełniają niemal wszyscy
(moto.rp.pl)
8 days ago ·
aerospace
·
programming languages
320
You Should Specify Your Code Unambiguously (and Prove That You Did)
(lesswrong.com)
10 days ago ·
formal verification
·
programming languages
160
Probabilistic programming for Clojure programmers: write the model once, choose the inference later
(simm.is)
10 days ago ·
lisp
·
programming languages
220
Complexity and Lean
(blog.computationalcomplexity.org)
10 days ago ·
formal verification
·
programming languages
130
Parsing 12' 6" and 2.4 m: measurement input that doesn't annoy people
(dev.to)
10 days ago ·
compilers
·
programming languages
310
Architecting for Decay: Building Self-Maintaining Systems in the Age of AI-Generated Code
(dev.to)
11 days ago ·
compilers
·
programming languages
360
PPA 10: Deriving the PPA
(lesswrong.com)
11 days ago ·
type theory
·
programming languages
220
On Contracts and Safety -- Lucian Radu Teodorescu
(isocpp.org)
11 days ago ·
rust
·
programming languages
280
[$] GCC development with large-language models
(lwn.net)
11 days ago ·
compilers
·
programming languages
90
Optimizing Software Workflow: Exploring Fundamental Impacts in Technology
(infoq.com)
10 days ago ·
programming languages
·
site reliability
40
Our Next Plumbers Summit event - October 28, 2026
(bytecodealliance.org)
10 days ago ·
wasm
·
programming languages
85
What UK software employers want from Technical Writers and Technical Authors
(cherryleaf.com)
10 days ago ·
technical writing
·
programming languages
190
Apple Contributes SSAF Driver To LLVM Clang For Source Code Transformations
(phoronix.com)
11 days ago ·
compilers
·
programming languages
260
Making all divisions slower to fix a bug in 0.000000000000000000542% of cases
(futhark-lang.org)
12 days ago ·
programming languages
·
wasm
35
My Scheme
(aartaka.me)
11 days ago ·
programming languages
·
lisp
165
Magnus Therning: QuickCheck: shrinking like tuples, writing like applicative
(magnus.therning.org)
12 days ago ·
haskell
·
programming languages
85
A good application doesn't start with code
(dev.to)
12 days ago ·
design
·
programming languages
45
IEEE Continues Preparations for the Realignment of Its Regions
(spectrum.ieee.org)
11 days ago ·
programming languages
·
cloud infrastructure
280
C++26 Reflection: Simplifying JSON Serialization -- Vivek Bhadra
(isocpp.org)
13 days ago ·
kotlin
·
programming languages
180
Non-Determinism Doesn't Matter
(sklar.rocks)
13 days ago ·
programming languages
·
cellular automata
90
Python vs Go: A Practical Comparison for Developers
(blog.jetbrains.com)
13 days ago ·
python
·
programming languages
120
The geometric model of maintenance
(entropicthoughts.com)
13 days ago ·
git internals
·
programming languages
120
Your Computer Memory is a Lie
(hackaday.com)
13 days ago ·
computer architecture
·
programming languages
10
Permudah Akses Layanan, KB Bank Syariah Pindahkan Kantor Cabang di Solo
(rejogja.republika.co.id)
12 days ago ·
solo dev
·
programming languages
40
Releasing the full program of Meeting C++ 2026
(isocpp.org)
13 days ago ·
programming languages
·
cpp
10
My Tech Journey
(dev.to)
12 days ago ·
compilers
·
programming languages
90
Leaving Tech
(ryanbigg.com)
14 days ago ·
solo dev
·
programming languages
40
Na sygnalizatorach może pojawić się dodatkowy, czwarty kolor. Ma usprawnić ruch miejski
(moto.rp.pl)
14 days ago ·
programming languages
·
creative coding
12
Four timber-clad projects by Parnagian Architects: Your Next Employer?
(archinect.com)
13 days ago ·
programming languages
·
design
40
Te objawy łatwo zbagatelizować. Trwają parę minut, a mogą świadczyć o miniudarze
(rp.pl)
14 days ago ·
music theory
·
programming languages
220
The road to epsilon-zero: “Shortlex” isn't actually a single order
(blog.plover.com)
16 days ago ·
programming languages
·
conlangs
165
C++26: Reducing undefined behaviour -- Sandor Dargo
(isocpp.org)
16 days ago ·
programming languages
·
golang
25
Donald Trump After the Midterms
(newyorker.com)
14 days ago ·
internet culture
·
programming languages
230
Multicategorical Semantics for Untyped Effects
(arxiv.org)
17 days ago ·
programming languages
·
type theory
12
UBSI Kampus Solo Buka Prodi S1 Informatika, Warga Punya Pilihan Baru Kuliah Teknologi
(news.republika.co.id)
14 days ago ·
cartography
·
programming languages
140
Fixed-Point Scaffolding in the Clef Programming Language
(arxiv.org)
17 days ago ·
formal verification
·
programming languages
60
Quiz: Python Basics Exercises: Strings and String Methods
(realpython.com)
16 days ago ·
python
·
programming languages
85
Quoting Carson Gross
(simonwillison.net)
17 days ago ·
ai
·
programming languages
153
Well-Typed.Com: First official release of hs-bindgen
(well-typed.com)
18 days ago ·
haskell
·
programming languages
86
When code is cheap, judgement becomes the job
(swizec.com)
18 days ago ·
programming languages
·
compilers
180
Mastering SIMD with Java Vector API
(lemire.me)
19 days ago ·
wasm
·
programming languages
155
Clojure in the Age of Language Models
(yogthos.net)
19 days ago ·
lisp
·
programming languages
235
How fast is C++26’s std::hive? -- Daniel Lemire
(isocpp.org)
19 days ago ·
cpp
·
programming languages
150
Inheritance and Operator Overloading
(rgoswami.me)
20 days ago ·
kotlin
·
programming languages
235
GSOC26: Sharing LLVM-libc's floating-point routines with compiler-rt
(blog.llvm.org)
21 days ago ·
programming languages
·
wasm
125
Compilers for Machine Learning
(gist.github.com)
23 days ago ·
programming languages
·
wasm
175
Beautiful Type Erasure with C++26 Reflection -- Ryan Keane
(isocpp.org)
25 days ago ·
programming languages
·
kotlin
115
The Companions to Come
(blog.jetbrains.com)
25 days ago ·
programming languages
·
elixir
105
Python Language Summit 2026 blog posts are now available
(pyfound.blogspot.com)
25 days ago ·
python
·
programming languages
65
Notes from September 2026
(evanhahn.com)
26 days ago ·
programming languages
·
compilers
112
Bliki: Sensible Default
(martinfowler.com)
26 days ago ·
git internals
·
programming languages
95
The Wonders of Static Analysis
(bikeshed.thoughtbot.com)
26 days ago ·
reverse engineering
·
programming languages
25
Stop Using Java When Kotlin Exists
(spin.atomicobject.com)
25 days ago ·
kotlin
·
programming languages
57
The State of Kotlin in 2026 Report
(blog.jetbrains.com)
26 days ago ·
kotlin
·
programming languages
120
Keep It Tight: Restrict Variadic Templates Using C++20 Concepts -- Andreas Fertig
(isocpp.org)
27 days ago ·
cpp
·
programming languages
371
Reverse-engineering the vintage Intel 8087's tangent algorithm: more than CORDIC
(righto.com)
29 days ago ·
computer architecture
·
programming languages
139
Rusty thoughts on "Parse, don't validate"
(eli.thegreenplace.net)
29 days ago ·
programming languages
·
rust
280
C++26: Cleaning up string literals -- Sandor Dargo
(isocpp.org)
2 months ago ·
programming languages
·
compilers
220
Presentation: Producing the World's Cheapest Tokens: A How-to Guide
(infoq.com)
2 months ago ·
programming languages
·
ai
30
Javascript Variable
(dev.to)
2 months ago ·
javascript
·
programming languages
400
[$] Even more formal verification for BPF
(lwn.net)
2 months ago ·
formal verification
·
programming languages
170
Project Valhalla's First Preview: JEP 401 Redefines == for Java Objects
(infoq.com)
2 months ago ·
kotlin
·
programming languages
250
Profile-guided optimization in Go
(lemire.me)
2 months ago ·
programming languages
·
cpp
120
How to Implement Structured Output with Local LLMs
(towardsdatascience.com)
2 months ago ·
programming languages
·
kotlin
220
Unary operators and the Shunting Yard algorithm
(boston.conman.org)
2 months ago ·
compilers
·
programming languages
220
How not to calculate cosine
(johndcook.com)
2 months ago ·
programming languages
·
mathematics
130
What is even taste when it comes to programming?
(boston.conman.org)
2 months ago ·
internet culture
·
programming languages
20
Summer lightness: errors that puzzled and/or irritated you.
(crookedtimber.org)
2 months ago ·
worldbuilding
·
programming languages
230
Finally adding recursive functions to Futhark
(futhark-lang.org)
2 months ago ·
programming languages
·
forth
60
¿Dónde están los beneficios de programar con IA?
(a-chacon.com)
2 months ago ·
ai
·
programming languages
190
Purely functional digital circuit simulator (SICP 3.3)
(entropicthoughts.com)
2 months ago ·
programming languages
·
formal verification
170
The code that didn’t break
(johndcook.com)
2 months ago ·
programming languages
·
math olympiad
130
C++ Reflection: a Universal Printer -- Lieven de Cock
(isocpp.org)
2 months ago ·
programming languages
·
typescript
110
in Code: "Five-Point Haskell": Unconditional Election (via Parametricity)
(blog.jle.im)
2 months ago ·
haskell
·
programming languages
spaces
all
ai
ai agents
security
site reliability
digital rights
malware analysis
cloud infrastructure
open source
energy
quantum computing
machine learning
behavioral economics
reverse engineering
devops
git internals
internet culture
physics
design
api design
economics
complexity
materials science
wasm
math olympiad
webdev
data engineering
space exploration
political philosophy
mathematics
game dev
cryptography
chemistry
databases
distributed systems
observability
solo dev
statistics
reinforcement learning
creative coding
aerospace
birding
climate science
game theory
algorithmic trading
neuroscience
elixir
thermodynamics
category theory
technical writing
procedural generation
urban exploration
cellular automata
golang
indie games
number theory
self hosted
nanotechnology
cognitive science
astrophysics
oceanography
history of science
worldbuilding
topology
anthropology
genetics
linux
robotics
python
board games
exploit development
operating systems
manga
archaeology
decision theory
astrobiology
film
consciousness
computer vision
information theory
swift
mechanical keyboards
computer graphics
containers
formal verification
amateur astronomy
chess
philosophy of mind
kotlin
nuclear
evolution
homelab
history
programming languages
data visualization
finance
bioinformatics
pharmacology
javascript
go game
compilers
paleoanthropology
photography
information design
demoscene
true crime
networking
retrocomputing
ham radio
animation
embedded systems
computer architecture
vinyl
fractals
ethics
nix
cartography
puzzles
meditation
writing
philosophy
audio programming
metaphysics
woodworking
sci fi
rust
ecology
3d printing
existentialism
electronic music
sourdough
speedrunning
history of computing
tabletop rpg
mycology
geology
semiotics
horror
synths
typography
lisp
pixel art
aquariums
type theory
fermentation
standup comedy
linguistics
witsrtn
typescript
cpp
phenomenology
fpga
shell scripting
lock picking
haskell
conlangs
forth
espresso
nonduality
music theory
zig
philosophy of science