Lisp JVM, Immutability, STM, ClojureScript, REPL

News for October 2025
ptreview.sublinear.info·2d
Property Testing
Flag this post
A Deep Dive into Gorm: Architecture, Workflow, Tips, and Troubleshooting for Go’
devresourcehub.com·3d·
Discuss: DEV
🪨RocksDB
Flag this post
Wild 0.7 Released For This Very Fast Linker Written In Rust
phoronix.com·1d
⚠️Rust Unsafe
Flag this post
Tool Expressions: The Next Evolution in Agent Intelligence
blog.nishantjosh.dev·1d·
Discuss: r/programming
🎭Program Synthesis
Flag this post
How a Nix flake made our polyglot stack (and new dev onboarding) fast and sane
fiveonefour.com·16h·
Discuss: Hacker News
📦Nix Flakes
Flag this post
Field notes from making a living without writing a line of code
ag404labs.com·1d·
Discuss: Hacker News
💰TigerBeetle
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·3d·
Discuss: Hacker News
📐Type Theory
Flag this post
Enforcing Architecture in an Agent-Driven Codebase
phoebe.work·2d·
Discuss: Hacker News
🏗️Build Systems
Flag this post
Crafting High-Performance Full-Stack Applications: Quarkus Native and Angular
dev.to·8h·
Discuss: DEV
🌐Axum
Flag this post
The Curved Spacetime of Transformer Architectures
arxiv.org·6h
Category Theory
Flag this post
Automating MongoDB Atlas Cluster Discovery Across All Projects Using PowerShell
dev.to·1h·
Discuss: DEV
🐚Shell Scripting
Flag this post
When numbers lie: the Java equality bug every dev hits at least once
dev.to·1d·
Discuss: DEV
🏷️Memory Tagging
Flag this post
A Privacy-First AI Voice Cloning Tool with Local LLMs
dev.to·1d·
Discuss: DEV
📚Technical Writing
Flag this post
C++ implementation of SIP, ICE, TURN and related protocols
github.com·21h·
Discuss: Hacker News
🏗️Build Systems
Flag this post
Schaltwerk – The IDE Without Editor
github.com·2d·
Discuss: Hacker News
🪟Tauri
Flag this post
OpenSIR: Open-Ended Self-Improving Reasoner
arxiv.org·2d
🧮SMT Solvers
Flag this post
Graph Neural AI with Temporal Dynamics for Comprehensive Anomaly Detection in Microservices
arxiv.org·6h
📱Edge AI
Flag this post
🚀 My First Secure CI/CD Pipeline on GitLab: A Beginner's Walkthrough
dev.to·1d·
Discuss: DEV
🌳Git Internals
Flag this post
EQ-Negotiator: Dynamic Emotional Personas Empower Small Language Models for Edge-Deployable Credit Negotiation
arxiv.org·6h
📱Edge AI
Flag this post
What I Learned From Working on Legacy Codebases (And How It Made Me a Better Developer)
dev.to·16h·
Discuss: DEV
🔧DevOps
Flag this post