building a personal finance app: a journey through open banking hell
mbaurin.com·1d
🛡️Error Ergonomics
Quark: A simple note-taking system
lorbic.com·15h·
Discuss: Hacker News
📚Self-Documenting Code
Race Against Time in the Kernel’s Clockwork
streypaws.github.io·11h·
Discuss: Lobsters
📊perf Tools
The self-trivialisation of software development
stefvanwijchen.com·5h·
Discuss: Hacker News
📚Self-Documenting Code
Determinate Nix: the recent past and the shining future
determinate.systems·18h·
Discuss: Hacker News
🏗️Build Systems
Porting a library to a different language with a sentence
randomlabs.ai·1d·
Discuss: Hacker News
🎮Language Ergonomics
I built Foyer: a Rust hybrid cache that slashes S3 latency
medium.com·17h·
Discuss: Hacker News
⚡Cache Optimization
Synth-MIA: A Testbed for Auditing Privacy Leakage in Tabular Data Synthesis
arxiv.org·1d
🎲Parser Fuzzing
Trainee Action Recognition through Interaction Analysis in CCATT Mixed-Reality Training
arxiv.org·1d
🏗️MLIR
Synergies between Federated Foundation Models and Smart Power Grids
arxiv.org·1d
🏛️Elm Architecture
SLICET5: Static Program Slicing using Language Models with Copy Mechanism and Constrained Decoding
arxiv.org·1d
🔪Program Slicing
Building an Extendable Data Migration Utility in Java Using the Strategy Pattern
dev.to·1d·
Discuss: DEV
🚚Code Migration
Building 'The Scroll of Dharma': A Technical Deep Dive into an Interactive Meditation Platform
dev.to·3h·
Discuss: DEV
💬Interactive REPLs
AC^0[p]-Frege Cannot Efficiently Prove that Constant-Depth Algebraic Circuit Lower Bounds are Hard
arxiv.org·1d
🧮Theorem Provers
MiniMeshT: A tiny terminal chat client for Meshtastic. No protobufs, no bloat
github.com·17h·
Discuss: Hacker News
💬Smalltalk VMs
DjangoCon US 2025: Security, Simplicity, and Community
dev.to·1d·
Discuss: DEV
🛡️Security Type Systems
Book Review: Microsoft Copilot in Azure: AI-powered cloud automation and optimization
dev.to·1h·
Discuss: DEV
📋Task Queues
The Unbreachable Resort: When Symfony 6.4 Goes to Therapy with GDPR, PCI DSS and HIPAA(1 part)
zeroday.forem.com·1d·
Discuss: DEV
🛡️Security Type Systems
G\"odel Mirror: A Formal System For Contradiction-Driven Recursion
arxiv.org·1d
🪜Recursive Descent
Reasoning Core: A Scalable RL Environment for LLM Symbolic Reasoning
arxiv.org·1d
📋Souffle Datalog