๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿ”— Dependently Typed

Proof-Carrying Code, Correctness by Construction, Type-Level Programming

FHE@PDX 2025
jeremykun.comยท15h
๐Ÿ”Homomorphic Encryption
Blender at SIGGRAPH 2025
blender.orgยท15h
๐ŸŽฌWebCodecs
AI-Generated Linux Miner 'Koske' Beats Human Malware
darkreading.comยท14h
๐Ÿ”“Hacking
A Practical (and Incomplete) History of Language Models
obrhubr.orgยท3d
๐ŸงฎKolmogorov Complexity
Three HTTP versions later, forms are still a mess
yorickpeterse.comยท1dยท
Discuss: Lobsters, Hacker News, Hacker News, r/programming
๐ŸŒWeb Standards
The three generations of AI coding tools, and what to expect through the rest of 2025
techradar.comยท1d
๐Ÿ”„Language Evolution
XMPP: When a 25-Year-Old Protocol Becomes Strategic Again
process-one.netยท1dยท
Discuss: Hacker News
๐Ÿ“ŸHistorical Protocols
Software Development at 800 Words Per Minute
neurrone.comยท2dยท
Discuss: Hacker News
๐Ÿ“ŸTerminal Physics
Clarifying "AI First" โ€“ What It Means for Rsyslog
rsyslog.comยท1dยท
Discuss: Hacker News
๐Ÿ‘๏ธSystem Observability
Using GitHub Spark to reverse engineer GitHub Spark
simonwillison.netยท1dยท
Discuss: Hacker News
๐ŸŒ€Brotli Internals
Template-guided chemistry: Researchers efficiently synthesize functionalized oligophenylene cages
phys.orgยท22h
๐Ÿ•ธ๏ธAlgebraic Topology
Functional Documentation
dzombak.comยท3dยท
Discuss: Hacker News
๐Ÿ“œProof Carrying Code
๐ŸŒŸ Ask a Philosopher: Voice AI Agent Powered by AssemblyAI and Gemini
dev.toยท19hยท
Discuss: DEV
๐ŸŒ€Brotli Internals
URPO: A Unified Reward & Policy Optimization Framework for Large Language Models
arxiv.orgยท2d
๐Ÿ”—Parser Combinators
Vibecoding a High Performance System
andrewkchan.devยท3dยท
Discuss: Hacker News
๐Ÿ‘๏ธSystem Observability
When Noisy Labels Meet Class Imbalance on Graphs: A Graph Augmentation Method with LLM and Pseudo Label
arxiv.orgยท1d
๐Ÿ”คCharacter Classification
Exploring Hexagonal Architecture in Go โ€” Introducing HexaBank
reddit.comยท2dยท
Discuss: r/golang
๐Ÿ”งBinary Parsers
How I Built a Talking, Knowledgeable AI Sidekick (and How You Can too build a Voice AI RAG agent )
dev.toยท22hยท
Discuss: DEV
๐ŸŽ™๏ธWhisper
Dependency Injection in Go: The Simple Way to More Testable Code
dev.toยท3dยท
Discuss: DEV
๐Ÿ”ŒInterface Evolution
Bolt.new in Action: A Technical Deep-Dive into AI-Assisted Full-Stack Development
dev.toยท1dยท
Discuss: DEV
๐Ÿ”„Reproducible Builds
Loading...Loading more...
AboutBlogChangelogRoadmap