Well-Typed.Com: Welcoming a new Haskell Ecosystem Supporter: Standard Chartered
well-typed.com·14h
🧠Lisp Dialects
A gentle introduction to CP/M
eerielinux.wordpress.com·22h
📺VT100
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·3d
✅Format Verification
Invoicetronic, or what I've been working on recently
nicolaiarocci.com·1d
🎙️Whisper
Distributed/Compressed Regression Rocks
jamesbrandecon.github.io·1d·
Discuss: Hacker News
🧠Machine Learning
What a difference 2 years makes: MariaDB buys back SkySQL
theregister.com·2d·
Discuss: Hacker News
🗄️Database Internals
VSCodium: What Constitutes an Alternative?
theworksofegan.net·1d
🔓Open Source Software
# How Python Software Solutions Are Transforming Rental Property Cleaning Services
dev.to·21h·
Discuss: DEV
🌊Stream Processing
How GitHub Models can help open source maintainers focus on what matters
github.blog·19h·
Discuss: Hacker News
🌿git
Reproducible LLM Benchmarking: GPT-5 vs Grok-4 with Promptfoo
dev.to·2d·
Discuss: DEV
⚡gRPC
Escaping Your Java Habits in Python: Writing Clean, Pythonic Code
dev.to·11h·
Discuss: DEV
📝Concrete Syntax
MAPo : Motion-Aware Partitioning of Deformable 3D Gaussian Splatting for High-Fidelity Dynamic Scene Reconstruction
arxiv.org·1d
📐Projective Geometry
After hours of iteration, I one-shotted a Web Search Agent
github.com·2d·
Discuss: Hacker News
🌀Brotli Internals
TaDiCodec: Text-aware Diffusion Speech Tokenizer for Speech Language Modeling
arxiv.org·3d
🎙️Whisper
Technical Perspective: Memory Efficiency via Offloading in Warehouse-Scale Datacenters
cacm.acm.org·1d
⚡Hardware Transactional Memory
Performance requirements
reddit.com·1d·
Discuss: r/homelab
🖥️Modern CPU
Building Libra: the story of creating a modern label-manufacturing website (and everything under the hood)
dev.to·1d·
Discuss: DEV
📄Document Digitization
Show HN: StreamGrid – Open-Source Multi-Stream Viewer
github.com·22h·
Discuss: Hacker News
🎬WebCodecs
What Makes AI Applications Acceptable or Unacceptable? A Predictive Moral Framework
arxiv.org·1d
🤖AI Curation
AI Agents Can Talk, But Can We Trust Them?
thenewstack.io·1d
🌳Archive Merkle Trees