Model-based Testing Distributed Systems with P Language (2021)
mydistributed.systems·4h·
Discuss: Lobsters, Hacker News, r/programming
📞Session Types
TypeScript Cookbook • Stefan Baumgartner & Peter Kröner
youtube.com·6h
🎯Gradual Typing
On systematic construction of correct logic programs
arxiv.org·14h
⚖️Hoare Logic
Guessing Game: Haskell Style
entropicthoughts.com·20h
👑Dependent Haskell
Trust Spanning Protocol (TSP) Specification
trustoverip.github.io·1d·
Discuss: Hacker News
🌳Archive Merkle Trees
Teaching programming languages
kmjn.org·1d
💻Programming languages
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·6h
✅Format Verification
Next‑Gen Chatbots: Extending Chat with MCP
dev.to·2h·
Discuss: DEV
🎙️Whisper
Show HN: Enterprise MCP Bridge – Solving the MCP Chaos for IT
blog.inxm.ai·1h·
Discuss: Hacker News
🔌Interface Evolution
Reversing a (not-so-) Simple Rust Loader | cxiao.net
cxiao.net·5h
🦀Rust Macros
Chatting with Unmesh about building language with LLMs
martinfowler.com·5h
💻Programming languages
Make and SQL: An old new way for Data Science workloads
vasvir.wordpress.com·55m·
Discuss: Hacker News
🦀Rust Macros
Do I not like Ruby anymore? (2024)
sgt.hootr.club·11h·
Discuss: Hacker News, r/programming
🎯Gradual Typing
How to Build a ChatGPT Clone in Go: Cost, Context, and Lessons
nleiva.medium.com·1d·
Discuss: Hacker News
⚡gRPC
Builder Pattern in CDK
medium.com·23h·
Discuss: Hacker News
🧱Immutable Infrastructure
Mojo Vision
docs.modular.com·14h·
Discuss: Hacker News
🔩Systems Programming
noble-curves: audited and minimal elliptic curve cryptography in JavaScript
github.com·1d·
Discuss: Hacker News
🔱Galois Cryptography
Song recommendations with F# free monads
blog.ploeh.dk·1d
🔗Functional Compilers
My thoughts on Vertical Slices, CQRS, Semantic Diffusion and other fancy words
architecture-weekly.com·1d·
Discuss: Hacker News, r/programming
🔌Interface Evolution
Chatbots, APIs, and the Hidden Risks Inside Your Application Stack
blog.qualys.com·2h
👁️System Observability