๐Ÿฟ๏ธ 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

My Debian Activities in July 2025
blog.alteholz.euยท2d
โ„๏ธNix Flakes
Spritely Goblins v0.16.0 released!
spritely.instituteยท4d
๐Ÿ”’Linear Types
Framework Desktop Hands On: First Impressions (Benchmarks, Gaming, AI Models)
boilingsteam.comยท3dยท
Discuss: Hacker News
๐Ÿ–ฅ๏ธTerminal Renaissance
Using Topological Data Analysis and Sparse Autoencoders to Evaluate TruthfulQA
bluelightai.comยท1dยท
Discuss: Hacker News
๐Ÿง Intelligence Compression
Dear String-to-Integer Parsers
owl.billpg.comยท3dยท
Discuss: Hacker News
๐Ÿ”งBinary Parsing
Ditching my phone for an LTE smartwatch was a humbling experience
theverge.comยท23h
๐Ÿ“กBluetooth Archaeology
How Hash Maps Work
hackernoon.comยท4d
๐Ÿ”Hash Functions
Stock Trading Simulator
dev.toยท1dยท
Discuss: DEV
๐ŸŒ€Brotli Internals
Accessibility Quick Start: High Impact Practices for Non-Frontend Devs
hackernoon.comยท3d
โœ‹Tactile Computing
The Unapologetic Code of Rudransh Awasthi: Tech's Most Audacious Maverick
dev.toยท1dยท
Discuss: DEV
๐Ÿ–ฅ๏ธModern Terminals
Junior developers arenโ€™t obsolete: Hereโ€™s how to thrive in the age of AI
github.blogยท3d
๐Ÿ”„Language Evolution
KeyCraft M5
hackster.ioยท4d
โš™๏ธDIY Electronics
Federated Data Harmonization via Dynamic Schema Alignment & Semantic Graph Enrichment
dev.toยท2dยท
Discuss: DEV
๐Ÿ”„Schema Evolution
GHC Developer Blog: GHC 9.10.3-rc2 is now available
haskell.orgยท5d
๐Ÿ”—Functional Compilers
Mastering Go File Wizardry ๐Ÿง™โ€โ™‚๏ธ๐Ÿ“
dev.toยท2dยท
Discuss: DEV
๐Ÿ’ฃZIP Vulnerabilities
Show HN: MemU: Let AI Memorize You
github.comยท2dยท
Discuss: Hacker News, r/opensource, r/selfhosted
๐ŸŒ€Brotli Internals
LLMs to Auto Debug K8 / Production Issues
reddit.comยท1dยท
Discuss: r/kubernetes
๐Ÿ”—Dependency Resolution
I Made a DIY SMS Security System โ€” and you can too
hackster.ioยท3d
โš™๏ธDIY Electronics
Clinically-guided Data Synthesis for Laryngeal Lesion Detection
arxiv.orgยท8h
๐Ÿค–Grammar Induction
Turning My Notes Into Audio with AWS (Serverless + Terraform)
dev.toยท1dยท
Discuss: DEV
๐ŸŽงFLAC Encoding
Loading...Loading more...
AboutBlogChangelogRoadmap