State of Opinion – Programming Languages – Autumn 2025 Edition
xlii.space·9h·
Discuss: Hacker News
🔗Concatenative Languages
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·1d
🔗Graph Isomorphism
Monument Engine: Jx
monument.ai·7h·
Discuss: Lobsters
⚡SIMD Vectorization
Managing Asynchronous Work with Celery and Redis
dev.to·1d·
Discuss: DEV
🌊Apache Kafka
My Top 5 Favourite Features in Python 3.14
blog.codingconfessions.com·13h
🦀Rust Macros
SLip - An aspiring Common Lisp environment in the browser.
lisperator.net·1d·
Discuss: r/programming
🧠Lisp Dialects
Graphulo: Accumulo library of matrix math primitives and graph algorithms
github.com·7h·
Discuss: Hacker News
🧮Algebraic Datatypes
Testing Language Models: Engineering Confidence Without Certainty
gojiberries.io·40m·
Discuss: Hacker News
⚙️Proof Engineering
An enough week
blog.mitrichev.ch·2d·
Discuss: blog.mitrichev.ch
🧮Z3 Solver
Codeminer42 Dev Weekly #82
blog.codeminer42.com·1d
🎯Gradual Typing
Dealing with Eventual Consistency and Idempotency in projections
event-driven.io·14h·
Discuss: r/programming
🌊Stream Processing
Announcing state-machines: Rust Port of Ruby's state_machines Gem
reddit.com·1d·
Discuss: r/rust
🦀Rust Macros
Getting a Hypergraph of Functions to a Browser
systeminit.com·2d·
Discuss: Hacker News
📐E-graphs
Categorical systems theory
topos.institute·1d
🔀Category Theory
Modern C and initializing an array
subethasoftware.com·2d
🗂Data structures
GoMem is a high-performance memory allocator library for Go
github.com·1d
🧠Memory Allocators
Debugging Humidity: Lessons from deploying software in the physical world
physical-ai.ghost.io·1d·
Discuss: Hacker News
🛡️Error Boundaries
OCaml 5.4 Release: New Features, Fixes, and More
tarides.com·15h·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
Learning from software errors – Part 3: A Mars probe gets out of control
heise.de·1d
📞Session Types
Creating Real-Time Multimodal AI Pipelines: Scaling File Processing to 50M Daily Uploads
engineering.salesforce.com·22h
🌊Stream Processing