🐿️ 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·20h·
Discuss: Hacker News
⎈Kubernetes
The current technology is not ready for proper blending
blog.pkh.me·1d·
Discuss: Lobsters, Hacker News, r/programming
🔬Unikernels
Reversing a Fingerprint Reader Protocol (2021)
blog.th0m.as·7h·
Discuss: Hacker News
📦Unikernel Systems
Exposing the Unseen: Mapping MCP Servers Across the Internet
knostic.ai·1d·
Discuss: Hacker News
🌐NetworkProtocols
Grafana and LLMs
opeonikute.dev·2d·
Discuss: Hacker News
👁️System Observability
Crawling a billion web pages in just over 24 hours, in 2025
andrewkchan.dev·3d·
Discuss: Hacker News, r/programming
🖥️Self-hosted Infrastructure
AI That Thinks Offline, Skia Animations, and a Glimpse of the Future
thereactnativerewind.com·3d·
Discuss: Hacker News
🔬Unikernels
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·1d·
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·1d·
Discuss: Hacker News, r/programming
⎈Kubernetes
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·1d·
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
My Participation in the METR AI Productivity Study
domenic.me·4d·
Discuss: Hacker News
👁️System Observability
Exploiting Jailbreaking Vulnerabilities in Generative AI to Bypass Ethical Safeguards for Facilitating Phishing Attacks
arxiv.org·3d
🔬Unikernels
Genius, stupid, or well duh....? My setup:
reddit.com·5h·
Discuss: r/homelab
🏠HomeLab
Data Fusion and Aggregation Methods to Develop Composite Indexes for a Sustainable Future
arxiv.org·5d
📡Network Protocol Design
Loading...Loading more...
AboutBlogChangelogRoadmap