Relative Completeness of Incorrectness Separation Logic
arxiv.org·3h
🧠Separation Logic
Building Testable Telegram Bots with Zustand
zwit.link·1d·
Discuss: Hacker News
🌊Streaming Systems
Building a Multi-Modal GPT Agent in TypeScript with OpenAI
dev.to·1d·
Discuss: DEV
🎙️Whisper
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·20h
⚗️Algebraic Coding
Detection Engineering: Practicing Detection-as-Code – Validation – Part 3
blog.nviso.eu·32m
✅Archive Validation
The Generativity Pattern in Rust
arhan.sh·13h·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
Introductory Computer Science and Software Engineering Topics
albertyw.com·1d
🛠Language Design
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·18h
📝Concrete Syntax
In Support Of Shitty Types
lucumr.pocoo.org·13h·
Discuss: Lobsters, Hacker News
🎯Gradual Typing
How to Write Inductive Invariants
quint-lang.org·3d·
Discuss: Lobsters, Hacker News, r/programming
⚖️Hoare Logic
I Built a Custom MCP Server in Golang To Make Claude Smarter—Here's How
hackernoon.com·21h
⚡gRPC
An easy, realistic model for MCP connectivity
tailscale.com·16h·
Discuss: Hacker News
🔌Interface Evolution
Software Internals Book Club
eatonphil.com·1h
⚙️Operating System Design
These protocols will help AI agents navigate our messy lives
technologyreview.com·1d
🔌Interface Evolution
Cybersecurity Instruction Tuned Model
huggingface.co·4h·
Discuss: Hacker News
🔒WASM Capabilities
Prefer Module Composition over Inheritance With TF
newsletter.masterpoint.io·16h·
Discuss: Hacker News
🧩WASM Modules
RapiTapir: Type-Safe HTTP APIs for Ruby
github.com·11h·
Discuss: Hacker News
🔌Archive APIs
Running C++ on Cloudflare WASM
saus.app·1d·
Discuss: Hacker News
🧩WASM Components
LLMs won't save you from bad software engineering culture
atelfo.github.io·1d·
Discuss: Hacker News
🔄Language Evolution
Paralegal: Practical Static Analysis for Privacy Bugs
cs.brown.edu·1d·
Discuss: Hacker News
📜Proof Carrying Code