๐Ÿฟ๏ธ 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

The Power and Potential of Zero-Knowledge Proofs
cacm.acm.orgยท1h
๐Ÿ”Quantum Security
API Auth Is Deeper Than It Looks
nango.devยท1dยท
Discuss: Hacker News
๐Ÿ”ŒInterface Evolution
oapi-codegen v2.5.0 is out
github.comยท1dยท
Discuss: r/golang
๐Ÿ“œProof Carrying Code
Agents Built from Alloys
xbow.comยท46mยท
Discuss: Hacker News
โšกProof Automation
GitGuardian Humanizes Non-Human Identity Controls Inside Developer Workflows
devops.comยท22h
๐ŸŒณArchive Merkle Trees
How we automated GitHub Actions Runner updates with Claude
dev.toยท15hยท
Discuss: DEV
๐ŸงฒRISC-V Preservation
The power of the Unix philosophy for LLM agentic tools
blog.korny.infoยท3hยท
Discuss: Hacker News
๐ŸšShell Calculus
The Impact of Prompt Bloat on LLM Output Quality
mlops.communityยท5hยท
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ยท2dยท
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ยท3dยท
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ยท1h
๐Ÿ”ŒArchive APIs
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ยท5hยท
Discuss: DEV
๐ŸงฉWASM Components
AI whiplash, and Neovim in the age of AI
dlants.meยท9hยท
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
Loading...Loading more...
AboutBlogChangelogRoadmap