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

“None Of These Books Are Obscene”: Judge Strikes Down Much of Florida’s Book Ban Bill
bookriot.com·4d·
Discuss: Hacker News
🛡️seL4
The science behind the "unexpected red theory
aestheticsofjoy.com·5d·
Discuss: Hacker News
🏹Effect Systems
How to Accelerate Importing Resources and Generating HCL
newsletter.masterpoint.io·5d·
Discuss: Hacker News
🛡️seL4
Cosplaying as a fiber ISP
zisacom.com·4d·
Discuss: r/homelab
🌐NetworkProtocols
The Big Picture, Part One. "I don't know if games are recession-proof"
gamesindustry.biz·3d·
Discuss: Hacker News, r/TwoBestFriendsPlay
🎮Verification Games
Losing the "fun" part of "for fun and profit"
ezhik.jp·5d·
Discuss: Hacker News
💾Retro Computing
UI vs. API. vs. UAI
joshbeckman.org·6d·
Discuss: Hacker News
⚙️Operating System Design
CPI for all items rises 0.2% in July, 2.7% YoY; shelter up
bls.gov·6d·
Discuss: Hacker News
➡️Category Theory
The Closed Internet Protocol
mirz.ai·5d·
Discuss: Hacker News
📡Network Protocol Design
Liberating a Collapsible Chair from a Single Piece of Wood
hackaday.com·2d
💾Retro Computing
The 'godfather of AI' reveals how humanity can survive superintelligent AI
kimt.com·3d·
Discuss: Hacker News
🤖Program Synthesis
Google Gemini will now learn from your chats—unless you tell it not to
arstechnica.com·4d·
Discuss: Hacker News, r/privacy, r/technews
🔬Unikernels
★ OpenAI Brings Back Legacy ChatGPT 4o Model in Response to Outcry From Users Who Find GPT-5 Emotionally Unsatisfying
daringfireball.net·6d
💾Retro Computing
Deals: 1TB M4 Mac mini, MacBook Pro $300 off, Apple Watch Series 10 $149 off, Trackpad, AirPods 4, more
9to5mac.com·3d
🍎Apple
Dedicated Server Build
reddit.com·3d·
Discuss: r/homelab
🏠HomeLab
Show HN: I built an open-source workout tracker app in 4 days with Claude Code
github.com·6d·
Discuss: Hacker News
🍎Apple
Concerning the Responsible Use of AI in the U.S. Criminal Justice System
cacm.acm.org·4d·
Discuss: Hacker News
✓Automated Theorem Proving
2025 One Hertz Challenge: An Arduino-Based Heart Rate Sensor
hackaday.com·2d
🍎XNU Internals
2025 One Hertz Challenge: Digital Clock Built With Analog Timer
hackaday.com·4d
🍎XNU Internals
Reversible Video Steganography Using Quick Response Codes and Modified ElGamal Cryptosystem
arxiv.org·6d
🌐NetworkProtocols
Loading...Loading more...
AboutBlogChangelogRoadmap