Five Years After
isonomiaquarterly.com·20h·
Discuss: Hacker News
📡Information theory
Perplexity's engineers use 2 AI coding tools, and they've cut development time from days to hours
businessinsider.com·3m
📏Code Metrics
AWS Challenges – Verifying the Rust standard library
model-checking.github.io·3d·
Discuss: Hacker News
🦀Rust Verification
Rethinking Object-Oriented Programming in Java Education
max.xz.ax·2d·
Discuss: Hacker News, r/programming
💻Programming languages
GCC 12.5 Compiler Released To End Out The GCC 12 Series With 241+ Bug Fixes
phoronix.com·2d
🔨Compilers
System Design Basics - Databases and Connection Pools
javarevisited.substack.com·14h·
Discuss: Substack, r/programming
🗄️Database Sharding
Ask HN: Business logic that runs everywhere – would you use it?
news.ycombinator.com·7h·
Discuss: Hacker News
🔄Sync Engine
My first verified (imperative) program
markushimmel.de·6d·
Discuss: Lobsters, Hacker News, r/programming
⚔️Lean Tactics
Spending Inference Time
kevinlu.ai·16h·
Discuss: Hacker News
🌊Streaming Algorithms
Ramanujan-Computing: Distributed Computing with Idle Smart Devices: Open-Source
news.ycombinator.com·17h·
Discuss: Hacker News
🧮Z3 Applications
JavaScript is easy, but how good is Claude Code at writing Malbolge code?
somethingwithai.substack.com·3d·
Discuss: Substack
🔗Concatenative Programming
Why Golang Belongs in Your AI Stack—Especially for Preprocessing Pipelines
hackernoon.com·4d
🌊Stream Processing
Building a Kubernetes Operator in Go with Kube-Shift
dev.to·2h·
Discuss: DEV
🌊Streaming Systems
Database Transactions: A Comprehensive Guide with Go
dev.to·1d·
Discuss: DEV
📝Database WAL
Text to model via SysML: Automated generation of dynamical system computational models from unstructured natural language text via enhanced System Modeling Lang...
arxiv.org·4d
📋Document Grammar
Hiding in plain sight - Mount namespaces
haxrob.net·1d·
Discuss: Hacker News
🦠Parasitic Storage
AI Writes Code Now—So Why Do Developers Still Matter?
hackernoon.com·4d
🔍Concolic Testing
Transfer Learning and Mixup for Fine-Grained Few-Shot Fungi Classification
arxiv.org·2h
👁️Perceptual Hashing
What Factors Affect LLMs and RLLMs in Financial Question Answering?
arxiv.org·2h
🌳Context free grammars
Understanding Driving Risks using Large Language Models: Toward Elderly Driver Assessment
arxiv.org·2h
🎙️Whisper