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

Status Week 34
blogs.gnome.org·1d
❄️Nix Flakes
Gunnar Wolf: The comedy of computation, or, how I learned to stop worrying and love obsolescence
gwolf.org·1d
🧲Magnetic Philosophy
SuperNICs Explained and Compared to DPUs
technetbooks.com·10h·
Discuss: Hacker News
⚡Compression Hardware
ShipUI new Angular component library
docs.shipui.com·21h·
Discuss: Hacker News
🧩WASM Components
Looking back at "legacy" HTML practices
nooshu.com·7h·
Discuss: Hacker News
🏺Format Archaeology
Making Games in Go: 3 Months Without LLMs vs. 3 Days with LLMs
marianogappa.github.io·2d·
Discuss: Hacker News, r/programming
🧩WASM Components
How do we feel on this blog "Go's shortcomings"
reddit.com·1d·
Discuss: r/golang
🐧FOSS
Breaking the Architecture Bottleneck • Andrew Harmel-Law & Marit van Dijk • GOTO 2025
youtube.com·1d
🔗Topological Sorting
This is an excellent patch review by an expert, i.e., Thomas :) And it should be like this. Oh, a few days back I saw one from Greg too, a similar kind.... in t...
lore.kernel.org·1d·
Discuss: r/linux
🔌Operating system internals
"Emacs for Goodness' Sake", a Guide
github.com·2d·
Discuss: Hacker News
🦀Rust Macros
Sound and Solution-Complete CCBS
arxiv.org·2d
🛡️Archive Verification
Day 11: AI Analyzer Foundation Complete - Model Selection and Evidence Formatting
dev.to·1d·
Discuss: DEV
👁️System Observability
Show HN: Making hardware-integarted app development easier (open source)
github.com·2d·
Discuss: Hacker News
🔓Open Source Software
Route-and-Execute: Auditable Model-Card Matching and Specialty-Level Deployment
arxiv.org·1d
🦋Format Metamorphosis
How to Avoid Thread-Safety Cost for Functions' Static Variables
cppstories.com·3d·
Discuss: Hacker News, r/cpp
🔒Type Safety
How We Built a PaaS with Go, Kubernetes, and React
dev.to·15h·
Discuss: DEV
⚡gRPC
🚀 GitHub Copilot: A Persona-Based Approach to Real-World Development
dev.to·16h·
Discuss: DEV
🔄Reproducible Builds
vLLM on x86: Because Not Everyone Can Afford a GPU Cluster
dev.to·17h·
Discuss: DEV
⚡Homebrew CPUs
Skeptik: A Hybrid Framework for Combating Potential Misinformation in Journalism
arxiv.org·14m
📰Content Curation
Ergonomic errors in Rust: write fast, debug with ease, handle precisely
gmcgoldr.github.io·4d·
Discuss: Hacker News
⚡Dependent Rust
Loading...Loading more...
AboutBlogChangelogRoadmap