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

TLS, Formal Specification, Protocol State Machines, Verification

Network APIs Are Radically Reshaping Dev-CSP Collaboration
thenewstack.io·1d
🖥️Self-hosted Infrastructure
What Is DPI Engine?
habr.com·5d·
Discuss: Hacker News
📡Network Protocol Design
Announcing GenAI Processors: Build powerful and flexible Gemini applications
developers.googleblog.com·17h·
Discuss: Hacker News
⚙️PL Implementation
REST Is for Humans, Not for APIs
jabbawookiees.bearblog.dev·1d·
Discuss: Hacker News
📡Network Protocol Design
The Right Approach to Authorization in RAG
osohq.com·1d·
Discuss: Hacker News
🛡️seL4
Building the Hugging Face MCP Server
huggingface.co·1d·
Discuss: Hacker News
🏠HomeLab
An InfoSec Architect's First Taste of Temporal
supasaf.com·2d·
Discuss: Hacker News
⚙️PL Implementation
Towards Exception Safety Code Generation with Intermediate Representation Agents Framework
arxiv.org·2d
🔍Formal Verification
Writing Bounds-Safe Code in C with Arrays
uecker.codeberg.page·17h·
Discuss: Hacker News
🔬Static Analysis
My first verified (imperative) program
markushimmel.de·3d·
Discuss: Lobsters, Hacker News, r/programming
🔍Formal Verification
Leaky chatbots: Understanding sensitive information disclosure in AI
scworld.com·15h·
Discuss: Hacker News
🛡️seL4
Proof Analysis of A Foundational Classical Singlesuccedent Sequent Calculus
arxiv.org·3d
🛡️seL4
My roommates and I are in the process of buying a home, and I am researching the things I can do to facilitate a home lab of my own.
reddit.com·1h·
Discuss: r/homelab
🏠HomeLab
LLM Inference Handbook
bentoml.com·8h·
Discuss: Hacker News
🛡️seL4
Show HN: Dispytch – Python framework for event-driven services
github.com·2d·
Discuss: Hacker News
🔤DSLs
Secure Cooperative Gradient Coding: Optimality, Reliability, and Global Privacy
arxiv.org·6h
🎮Verification Games
Learning To Communicate Over An Unknown Shared Network
arxiv.org·1d
📡Network Protocol Design
Devouring Details
devouringdetails.com·1d·
Discuss: Hacker News
👁️System Observability
Sound Interval-Based Synthesis for Probabilistic Programs
arxiv.org·1d
🤖Program Synthesis
Pipeline of Agents Pattern: Building Maintainable AI Workflows with LangGraph
vitaliihonchar.com·2d·
Discuss: Hacker News
🔍Formal Verification
Loading...Loading more...
AboutBlogChangelogRoadmap