🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔠 Type-Level Programming

Dependent Haskell, GADTs, Type Families, Kind System

The Open Source CubeSat Workshop Is Back
events.libre.space·1d·
Discuss: Hacker News
⎈Kubernetes
Reversing a Fingerprint Reader Protocol (2021)
blog.th0m.as·19h·
Discuss: Hacker News
📦Unikernel Systems
Exposing the Unseen: Mapping MCP Servers Across the Internet
knostic.ai·2d·
Discuss: Hacker News
🌐NetworkProtocols
The end of leisure - What does it mean to 'feel productive'?
helenaaeberli.substack.com·1h·
Discuss: Substack
🖥️Self-hosted Infrastructure
Scraping and vibe coding a schedule app for Open Sauce 2025 entirely on my phone
simonwillison.net·2d·
Discuss: Lobsters, Hacker News
⚙️PL Implementation
Managing EFI Boot Loaders for Linux: Controlling Secure Boot
rodsbooks.com·19h·
Discuss: Hacker News
📦Unikernel Systems
Grafana and LLMs
opeonikute.dev·2d·
Discuss: Hacker News
👁️System Observability
What Would a Real Friendship With A.I. Look Like? Maybe Like Hers.
nytimes.com·8h·
Discuss: Hacker News
💾Retro Computing
Crawling a billion web pages in just over 24 hours, in 2025
andrewkchan.dev·4d·
Discuss: Hacker News, r/programming
🖥️Self-hosted Infrastructure
RNNoise: Learning Noise Suppression
jmvalin.ca·2d·
Discuss: Hacker News
🐫Embedded OCaml
The FIPS 140-3 Go Cryptographic Module
go.dev·5d·
Discuss: Lobsters, Hacker News, r/golang, r/programming
🛡️seL4
Make Your AI SaaS in a Weekend with ShipThing Boilerplate
shipthing.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
The AI Application Land Grab
frontierai.substack.com·2d·
Discuss: Substack
✓Automated Theorem Proving
Kubernetes Observability with OpenTelemetry Helm Charts | A Complete Setup Guide
signoz.io·2d·
Discuss: Hacker News, r/programming
⎈Kubernetes
On METR's AI Coding RCT
thezvi.substack.com·2d·
Discuss: Substack
👁️System Observability
Evaluating Reinforcement Learning Algorithms for Navigation in Simulated Robotic Quadrupeds: A Comparative Study Inspired by Guide Dog Behaviour
arxiv.org·2d
🐫OCaml
The State of Post-Quantum Cryptography in Kubernetes
kubernetes.dev·2d·
Discuss: Hacker News
🌐NetworkProtocols
Temperature and Persona Shape LLM Agent Consensus With Minimal Accuracy Gains in Qualitative Coding
arxiv.org·4d
✓Automated Theorem Proving
Source code analysis of Amazon Kiro
ghuntley.com·5d·
Discuss: Hacker News
❄️Nixified Development
Warm Starts Accelerate Generative Modelling
arxiv.org·5d
🎮Verification Games
Loading...Loading more...
AboutBlogChangelogRoadmap