🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🌐 Protocol Synthesis

Session Types, Communication Safety, Distributed Systems, Type-driven Development

Security Principles for Designing an Unhackable Crypto Wallet
cacm.acm.org·2h
🌳Archive Merkle Trees
oapi-codegen v2.5.0 is out
github.com·2d·
Discuss: r/golang
📜Proof Carrying Code
GitGuardian Humanizes Non-Human Identity Controls Inside Developer Workflows
devops.com·1d
🌳Archive Merkle Trees
The Impact of Prompt Bloat on LLM Output Quality
mlops.community·10h·
Discuss: Hacker News
✨Effect Handlers
Show HN: Tanu – High-performance WebAPI testing framework for Rust
github.com·1d·
Discuss: Hacker News
🦀Rust Borrowing
Coming to ISO C++ 26 Standard: An AI Acceleration Edge
thenewstack.io·3d·
Discuss: Hacker News
🔩Systems Programming
Reversing Google's New VM-Based Integrity Protection: PairIP
blog.byterialab.com·1d·
Discuss: Hacker News
🌐WASI
How Apex Fusion and Well-Typed Are Shaping the Future of Institutional DeFi on Cardano
hackernoon.com·1d
🤝Distributed Consensus
Python Fundamentals: build
dev.to·2d·
Discuss: DEV
🔄Reproducible Builds
I Accidentaly Wrote a Compile-Time Executable State Machine (2020)
philippegroarke.com·4d·
Discuss: Hacker News
🔗Functional Compilers
SEALGuard: Safeguarding the Multilingual Conversations in Southeast Asian Languages for LLM Software Systems
arxiv.org·2d
📝ABNF Parsing
How To Build an AI Health Care Agent on Amazon Bedrock
thenewstack.io·6h
🔌Archive APIs
How we automated GitHub Actions Runner updates with Claude
dev.to·21h·
Discuss: DEV
🧲RISC-V Preservation
Protocols for Verifying Smooth Strategies in Bandits and Games
arxiv.org·1d
🎯Performance Proofs
Thesys React SDK: Turn LLM Responses into real time User Interfaces
dev.to·10h·
Discuss: DEV
🧩WASM Components
AI whiplash, and Neovim in the age of AI
dlants.me·14h·
Discuss: Hacker News, r/neovim
✨Effect Handlers
Show HN: ProjectD – Google Drive-based, AES-encrypted C2 in C/C++
github.com·2d·
Discuss: Hacker News
🔓Open Source Software
Why Your Agent Always Seems a Little Dumb
dev.to·15h·
Discuss: DEV
🔢Denotational Semantics
How a 12% Tax Rule Becomes Code: Grammar, Law, and Machine Execution
dev.to·1d·
Discuss: DEV
📝Concrete Syntax
Using LLVM To Supercharge AI Model Execution On Edge Devices
hackernoon.com·12h
🏭Compiler Backends
Loading...Loading more...
AboutBlogChangelogRoadmap