What Is a Modular Monolith And Why You Should Care? 🔥
thetshaped.dev·1d·
Discuss: r/programming
🧱Immutable Infrastructure
Announcing compile_flagz: Better editor integration for your C/C++ projects using build.zig
simonhartcher.com·1d·
Discuss: Hacker News
❄️Nixified Development
Ask HN: Feedback on a new framework aiming at the classic RPC headaches
news.ycombinator.com·2d·
Discuss: Hacker News
🌐NetworkProtocols
Using AI to Augment, Not Automate Your Writing
blog.apiad.net·1h·
Discuss: Hacker News
✓Automated Theorem Proving
Generating Website Banners Algorithmically
golfed.xyz·4h·
Discuss: Hacker News
💾Retro Computing
Introduction to Nyquist and Lisp Programming
manual.audacityteam.org·2d·
Discuss: Hacker News
🧮Lambda Calculus
Adventures in C++ Game Architecture
hoboker.substack.com·2d·
Discuss: Substack, r/programming
🔬Static Analysis
AI Agents vs. Agentic AI: A Kubernetes Developer’s Guide
thenewstack.io·1d
⎈Kubernetes
Collecting my thoughts about notation and user interfaces
interconnected.org·4h·
Discuss: Hacker News
🔄Finite State Machines
Low-Resource Fine-Tuning for Multi-Task Structured Information Extraction with a Billion-Parameter Instruction-Tuned Model
arxiv.org·14h
🧩Parser Combinators
Show HN: Forked styled-components with optimizations (40% faster for Linear)
github.com·1h·
Discuss: Hacker News
💎Refinement Types
ESP32-based boundary wire signal generator for Robomow RX/RT mowers
github.com·15h·
Discuss: Hacker News
🐫Embedded OCaml
A Robot Wrote My Research
particle.scitech.org.au·3h·
Discuss: Hacker News
✓Automated Theorem Proving
Show HN: SARE, a Hybrid Quantum-Safe Encryption System Implemented in Rust
github.com·6h·
Discuss: Hacker News
📦Unikernel Systems
LAMDAS: LLM as an Implicit Classifier for Domain-specific Data Selection
arxiv.org·2d
🐫OCaml
From Implicit Exploration to Structured Reasoning: Leveraging Guideline and Refinement for LLMs
arxiv.org·2d
📚Automata Learning
Q-SafeML: Safety Assessment of Quantum Machine Learning via Quantum Distance Metrics
arxiv.org·3d
✅Model Checking
LLM Ensemble for RAG: Role of Context Length in Zero-Shot Question Answering for BioASQ Challenge
arxiv.org·14h
🧩Parser Combinators
ADL-CLI – Generate enterprise-grade AI agents from a YAML spec
github.com·1d·
Discuss: Hacker News
⚙️PL Implementation
How To Upgrade Your MCP Server With Context Engineering
thenewstack.io·3d
💎Refinement Types