Comprehensive MCP Security Checklist: Protecting Your AI-Powered Infrastructure
lab.wallarm.com·1d
🛡️CLI Security
Minimize Misconfiguration Issues by Embracing a Minimum Configuration to Run Mindset
itnext.io·1d
🔗Dependency Resolution
Optique: Type-safe combinatorial CLI parser for TypeScript
optique.dev·2d·
Discuss: Lobsters, Hacker News, r/javascript, r/node, r/typescript
💧Liquid Types
A string formatting library in 65 lines of C++
riki.house·14h·
Discuss: Lobsters, Hacker News
✅Format Verification
Herb Sutter "Three Cool Things in C++26"
herbsutter.com·2d·
Discuss: Hacker News
🔩Systems Programming
Saleae Analyzer for the BDM protocol
zetier.com·2d
🔬Binary Analysis
CRYSTALS - The Gently Introduction
dev.to·1d·
Discuss: DEV
⚗️Algebraic Coding
Lobsters Interview with Matklad
lobste.rs·20h·
Discuss: Lobsters
🦀Rust Macros
Don't Repeat Yourself, Coarse-Grained Circuit Deduplication to Accelerate Sim
danglingpointers.substack.com·19h·
Discuss: Substack
🖥️Game Emulation
Signal Relays
pzuraq.com·17h·
Discuss: Hacker News
✨Effect Handlers
Derek Elkins: Arithmetic Functions
hedonisticlearning.com·10h
⚔️Lean Theorem
Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
arxiv.org·5d
🔮Proof Search
Hacker and Physicist – A Tale of "Common Sense"
supasaf.com·18h·
Discuss: Hacker News
🔐Cryptographic Archaeology
Racket 8.18 Released
blog.racket-lang.org·1d·
Discuss: Hacker News
🧠Lisp Dialects
WeakC4, or Distilling an Emergent Object
2swap.github.io·9h·
Discuss: Hacker News
🔲Cellular Automata
How to load test PostgreSQL database and not miss anything
habr.com·1d·
Discuss: Hacker News
🗄️PostgreSQL WAL
My tips for using LLM agents to create software
efitz-thoughts.blogspot.com·8h·
Discuss: Hacker News
⚡Proof Automation
Bisimilarity and Simulatability of Processes Parameterized by Join Interactions
arxiv.org·3d
⚡Dependent Rust
Centrally Collecting Events from Go Microservices
pliutau.com·20h·
Discuss: r/golang
📝Log Parsing
Case Study: Migrating a Rush.js Monorepo to Node Type Stripping
blog.calm.com·1d·
Discuss: Hacker News
🎯Gradual Typing