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

Psychedelics reopen the social reward learning critical period
nature.com·8h·
Discuss: Hacker News
🐫OCaml
Every part on a bicycle is safety critical
escapecollective.com·9h·
Discuss: Hacker News
👁️System Observability
RNNoise: Learning Noise Suppression
jmvalin.ca·1d·
Discuss: Hacker News
🐫Embedded OCaml
Show HN: I made a private, portable, virtual LLM OS with JavaScript and Gemini
oopisos.neocities.org·6d·
Discuss: Hacker News
🔬Unikernels
Cloudflare 1.1.1.1 Incident on July 14, 2025
blog.cloudflare.com·3d·
Discuss: Lobsters, Hacker News
📡Network Protocol Design
A code quality battle between 6 AI agents
sourcery.ai·4d·
Discuss: Hacker News
👁️System Observability
Role-Playing LLM-Based Multi-Agent Support Framework for Detecting and Addressing Family Communication Bias
arxiv.org·3d
🛡️seL4
Show HN: Anemos – CLI tool to manage Kubernetes manifests using JavaScript
github.com·2d·
Discuss: Hacker News
⎈Kubernetes
It Would Be Good if the AI Bubble Burst
stephendiehl.com·1d·
Discuss: Hacker News
💾Retro Computing
Life Finds A Way: Emergence of Cooperative Structures in Adaptive Threshold Networks
arxiv.org·1d
➡️Category Theory
Ilion Framework: A Public Layer for Semantic Alignment with Truth
zenodo.org·6d·
Discuss: Hacker News
🐫OCaml
Less Stress, More Privacy: Stress Detection on Anonymized Speech of Air Traffic Controllers
arxiv.org·4d
💻CS
Intuitive Fine-Tuning: Towards Simplifying Alignment into a Single Process
arxiv.org·4d
🐫OCaml
PLEX: Perturbation-free Local Explanations for LLM-Based Text Classification
arxiv.org·3d
✓Automated Theorem Proving
Outbound Modeling for Inventory Management
arxiv.org·3d
👁️System Observability
Multi-site connectivity testing -> TCP Mesh
reddit.com·5d·
Discuss: r/homelab
⎈Kubernetes
Will AI agents replace software developers? A realistic breakdown
victoronsoftware.com·3d·
Discuss: Hacker News
🤖Program Synthesis
I built a full Android app using just one prompt in Gemini CLI 🤯
reddit.com·1d·
Discuss: r/programming
❄️Nixified Development
Dipping a toe in the water
reddit.com·3d·
Discuss: r/homelab
🏠HomeLab
Dual LiDAR-Based Traffic Movement Count Estimation at a Signalized Intersection: Deployment, Data Collection, and Preliminary Analysis
arxiv.org·1d
🔄Finite State Machines
Loading...Loading more...
AboutBlogChangelogRoadmap