🐿️ 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

Software Engineer (Platform Infrastructure)
kaleido.io·1d·
Discuss: Hacker News
⎈Kubernetes
Parsing 1 Billion Rows in Bun/TypeScript Under 10s
taekim.dev·2d·
Discuss: Hacker News, r/node, r/programming, r/typescript
⚙️PL Implementation
Cocoindex: Data Transformation for AI
cocoindex.io·1d·
Discuss: Hacker News
🛡️seL4
Icechunk 1.0: Production-Grade Cloud-Native Array Storage Is Here
earthmover.io·1d·
Discuss: Hacker News
📦Unikernel Systems
The zero-day that could've compromised every Cursor and Windsurf user
bleepingcomputer.com·1d·
Discuss: Hacker News
📦Unikernel Systems
Using Protobuf to make Jira Cloud faster
atlassian.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
Should LLMs ask "Is this real or fiction?" before replying to suicidal thoughts?
news.ycombinator.com·23h·
Discuss: Hacker News
🛡️seL4
Plurality Philosophy in an Oversized Nutshell
vitalik.eth.limo·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
The inevitable trend toward low code makes programming tedious
thefoggiest.dev·2d·
Discuss: Hacker News
🔄Reproducible Builds
Text 2 shorts AI POWERED VIDEO AUTOMATION
github.com·2d·
Discuss: r/programming
🎮Verification Games
(Attempting to) Engineer the chaos out of AI agents
trunk.io·2d·
Discuss: Hacker News
🧪Property-Based Testing
I Detect ChatGPT Code in Pull Requests (and Why It's Harder Than You Think)
medium.com·3d·
Discuss: Hacker News
🧪Property-Based Testing
EN-ANALYSER – Open-source AI tool for network threat detection and analysis
github.com·5d·
Discuss: Hacker News
👁️System Observability
Can adversarial attacks by large language models be attributed?
arxiv.org·2d
🛡️seL4
ArchiveGPT: A human-centered evaluation of using a vision language model for image cataloguing
arxiv.org·1d
✓Automated Theorem Proving
Checklists Are The Thief Of Joy
soatok.blog·5d·
Discuss: Hacker News
🛡️seL4
Keep secrets and configmaps syncronized across clusters and namespaces
github.com·3d·
Discuss: Hacker News
⎈Kubernetes
Show HN: Tansive – AI Agents that won't accidentally restart your prod database
github.com·4d·
Discuss: Hacker News
⎈Kubernetes
ViDove: A Translation Agent System with Multimodal Context and Memory-Augmented Reasoning
arxiv.org·1d
🐫Embedded OCaml
Agentic AI Is Quietly Replacing Developers
thenewstack.io·2h
🤖Program Synthesis
Loading...Loading more...
AboutBlogChangelogRoadmap