Cactus Language • Syntax 12
inquiryintoinquiry.com·6h
📝Concrete Syntax
Ensuring syntactic interoperability using consumer-driven contract testing [STVR Journal]
dirkriehle.com·2d
🔄Reproducible Builds
Worth Reading 062425
rule11.tech·6h
🌐DNS over QUIC
Coping with Complexity
slott56.github.io·4d
🔗Concatenative Programming
Networking for Systems Administrators
mwl.io·9h·
Discuss: Hacker News
🌐DNS over QUIC
Single Core Hundred Thousand Concurrency（1750866547511600）
dev.to·6h·
Discuss: DEV
🌊Stream Processing
What LLMs Know About Their Users
schneier.com·11h·
Discuss: Hacker News
💻Local LLMs
Supporting Deterministic Traffic on Standard NICs
arxiv.org·1d
📡Network Calculus
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
Portia – open-source framework that makes it easy to build Agentic AI workflows
quiz.businessexplain.com·3h·
Discuss: Hacker News
👑Isabelle
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.org·18h
🔍Concolic Testing
Understand MCP (Model Context Protocol) with example
dev.to·17h·
Discuss: DEV
🎙️Whisper
The AI Agent schism: deterministic vs. non deterministic
writing.kunle.app·4h·
Discuss: Hacker News
⚡Proof Automation
Counter Service: How we rewrote it in Rust
engineering.grab.com·2d
🔒Linear Types
Exploring High Efficiency Web Analysis Results（1750876031390300）
dev.to·3h·
Discuss: DEV
🌊Stream Processing
BNFGen: A random text generator based on context-free grammars
baturin.org·4h·
Discuss: Hacker News
🌳Context free grammars
Agentic Workflows Are Just Code – Treat Them That Way
restate.dev·1d·
Discuss: Hacker News
⚙️TLA+
Apps Script MCP Server
dev.to·2h·
Discuss: DEV
🔐CBOR
Heartbeat of Modern Web Real Time Patterns User Design（1750836074761900）
dev.to·14h·
Discuss: DEV
🌊Stream Processing
MATE: LLM-Powered Multi-Agent Translation Environment for Accessibility Applications
arxiv.org·18h
🎙️Whisper