On systematic construction of correct logic programs
arxiv.org·21h
⚖️Hoare Logic
The Lobster Programming Language
strlen.com·1d·
Discuss: Hacker News
🔗Concatenative Programming
Is Math Discovered or Invented?
curtispoe.org·18h
🔲Proof Irrelevance
Block unsafe prompts targeting your LLM endpoints with Firewall for AI
blog.cloudflare.com·11h
🛡️CLI Security
Why Semantic Layers Matter—and How to Build One with DuckDB
ssp.sh·2d
🗄️Database Internals
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·13h
✅Format Verification
Harnessing MCP Servers with LangChain and LangGraph: A Comprehensive Guide
dev.to·1d·
Discuss: DEV
🔗Constraint Handling
StrongBox: Simple, Safe Data Encryption for Rust
hezmatt.org·46m
🦀Embedded Rust
Sets & Heaps in Haskell and Rust
mmhaskell.com·1d
🔒Type Safety
Graph-R1: Incentivizing the Zero-Shot Graph Learning Capability in LLMs via Explicit Reasoning
arxiv.org·21h
💻Local LLMs
Guessing Game: Haskell Style
entropicthoughts.com·1d
👑Dependent Haskell
Making MCP Tool Use Feel Natural with Context-Aware Tools
ragie.ai·6h·
Discuss: Hacker News
🔗Constraint Handling
Paradigms of Intelligence Team
github.com·11h·
Discuss: Hacker News
🔲Cellular Automata
Structural vs. Mathematical “Under” (2023)
dyalog.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🐚Shell Calculus
Make and SQL: An old new way for Data Science workloads
vasvir.wordpress.com·7h·
Discuss: Hacker News
🦀Rust Macros
Chatting with Unmesh about building language with LLMs
martinfowler.com·11h
💻Programming languages
Put a ring on it: a lock-free MPMC ring buffer
h4x0r.org·10h·
Discuss: Lobsters, Hacker News, r/programming
⚡Hardware Transactional Memory
My thoughts on Vertical Slices, CQRS, Semantic Diffusion and other fancy words
architecture-weekly.com·1d·
Discuss: Hacker News, r/programming
🔌Interface Evolution
Reversing a (not-so-) Simple Rust Loader | cxiao.net
cxiao.net·11h
🦀Rust Macros
CSPs - Part 1: How to (Almost) Always Win at Minesweeper
dev.to·8h·
Discuss: DEV
🔲Cellular Automata