Practical Guide to Production-Grade Observability in the JS ecosystem
medium.com·9h
👁️System Observability
Let’s talk about LLM guardrails
blog.adnansiddiqi.me·14h·
Discuss: Hacker News
🎯Proof Tactics
Watching AWS Instance Types Evolution in 2025
rmazur.io·6h·
Discuss: Hacker News
🔌Interface Evolution
Does Go have types?
youtube.com·1d·
Discuss: r/golang
🔒Linear Types
Homelab Jouney, Planning stage
reddit.com·7h·
Discuss: r/homelab
🏠HomeLab
Can AI Co-Design Distributed Systems? Scaling from 1 GPU to 1k
harvard-edge.github.io·1d·
Discuss: Hacker News
🎯Performance Proofs
Show HN: Prompts to make AI impersonate 10 programming legends
ai-impersonator.blueprintlab.io·16h·
🎙️Whisper
Show HN: Static builds of popular open source libraries on npmjs.org
github.com·1d·
Discuss: Hacker News
🔓Open Source Software
The Conveyor Belt Protocol: Understanding Iterators
dev.to·21h·
Discuss: DEV
🧬Functional Programming
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·1d·
Format Verification
Generalized Orders of Magnitude (GOOMs)
github.com·10h·
Discuss: Hacker News
🕸️Tensor Networks
Let's Prove Leftpad
github.com·4d·
Discuss: Hacker News
📜Proof Carrying Code
Scriptable mutating admission hook?
reddit.com·1d·
Discuss: r/kubernetes
🎯Gradual Typing
Property-based testing of batch-invariant operations
mmaaz.ca·6d·
Discuss: Hacker News
🧪Property-Based Testing
Loyca.ai – An open-source, local-first AI assistant with contextual awareness
github.com·6h·
Discuss: Hacker News
🌀Brotli Internals
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·4d
💻Programming languages
TRIM: Token-wise Attention-Derived Saliency for Data-Efficient Instruction Tuning
arxiv.org·2d
🔨Compilers
The Alert System: Try, Except, and Finally
dev.to·2d·
Discuss: DEV
🌳Incremental Parsing
Programmer in Wonderland
binaryigor.com·2d·
Discuss: Hacker News
🔩Systems Programming