🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
📜 Proof Carrying Code

Program Verification, Certified Compilation, Type Safety, Mobile Code

Rough numbers between consecutive primes
terrytao.wordpress.com·17h
📐Interval Arithmetic
A Pretty Okay Solar Ham Station, Part 2: Panels
blog.bityard.net·3h
⚙️Cassette Mechanics
The Timmy Trap
jenson.org·1d
🧠Intelligence Compression
Why Metropolis–Hastings Works
gregorygundersen.com·3h·
Discuss: Lobsters, Hacker News
🧮Kolmogorov Bounds
Setting up a CI server for Forgejo
robey.lag.net·19h·
Discuss: Lobsters, Hacker News
🔄Sync Engine
Query-Mutating Data Race in Go
coder.com·3d·
Discuss: Hacker News
🦀Rusty Databases
Show HN: Job Shield – a job trust verification platform
news.ycombinator.com·20h·
Discuss: Hacker News
🚀Indie Hacking
How Does a Blind Model See the Earth?
outsidetext.substack.com·17h·
Discuss: Substack
🧮Kolmogorov Bounds
Nomad MK1: Highly Portable Self-Hosted Media Server
reddit.com·1h·
Discuss: r/homelab
🏠HomeLab
Show HN: React Massive Table
github.com·1h·
Discuss: Hacker News
📄PDF Internals
CT scan peels back the layers of time to reveal the engineering within Intel’s iconic 386 CPU — exposing intricate pin mapping, hidden power planes, and more
tomshardware.com·11h
⚡Circuit Archaeology
Build a Recipe AI Agent with Koog and Docker
docker.com·3d
🌀Brotli Internals
Ask r/kubernetes: What are you working on this week?
reddit.com·11h·
Discuss: r/kubernetes
🔩Systems Programming
As a 15 year old, I built an AI Bot to Beat Four Pattern-Based Rock-Paper-Scissors Bots!
dev.to·3d·
Discuss: DEV
⚡Proof Automation
VQAThinker: Exploring Generalizable and Explainable Video Quality Assessment via Reinforcement Learning
arxiv.org·17h
🧠Learned Codecs
Recent cross-research on LLM and RL on ArXiv
github.com·23h·
Discuss: Hacker News
🔲Cellular Automata
Debian 13 arrives with major updates for Linux users – what's new in 'Trixie'
zdnet.com·28m·
Discuss: Hacker News
🔌Operating system internals
Do Ethical AI Principles Matter to Users? A Large-Scale Analysis of User Sentiment and Satisfaction
arxiv.org·17h
🤖AI Curation
Building PhAlS - A Phishing Alert System using Google AI Studio.
dev.to·2d·
Discuss: DEV
👑Isabelle
Tap to Morse Key, an App that Makes It Easier for People With Disabilities to Communicate
hackernoon.com·3d
🎙️Whisper
Loading...Loading more...
AboutBlogChangelogRoadmap