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

2025 BMW M5 Touring Review: Haters Are Wrong, but It's Not for Everyone
thedrive.com·1d·
Discuss: Hacker News
🔬Unikernels
Enhancing Firefox's Find-in-Page for Keyboard Navigation
h.43z.one·2d·
Discuss: Hacker News
❄️Nix
Bolt's $100k Hackathon Winner Can't Even Upload Videos - How I Exposed Their Rigged Competition
youtube.com·19h·
Discuss: r/programming
🎮Verification Games
Rivers of galaxies
aeon.co·4d·
Discuss: Hacker News
➡️Category Theory
Finding Joy in the Everyday Wild
jembendell.com·2d·
Discuss: Hacker News
🧱Immutable Infrastructure
The Surprising gRPC Client Bottleneck in Low-Latency Networks
blog.ydb.tech·4d·
Discuss: Hacker News
📡Network Protocol Design
Embive: A Secure Code Sandbox for Tiny Devices
medium.com·5d·
Discuss: r/programming
📦Unikernel Systems
The unsolved tension at the heart of AI
tushardadlani.com·5d·
Discuss: Hacker News
🤖Program Synthesis
Reachy The Robot Gets a Mini (Kit) Version
hackaday.com·3d
💾Retro Computing
Specificity: A Weapon of Mass Effectiveness
longform.asmartbear.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Maybe AI Isn't Going to Replace You at Work After All
charleshughsmith.substack.com·3d·
Discuss: Substack
✓Automated Theorem Proving
America's AI Action Plan Is Pretty Good
thezvi.substack.com·2d·
Discuss: Substack
🛡️seL4
The Effect of Scale Consistency between Real and Virtual Spaces on Immersion in Exhibition Hybrid Spaces
arxiv.org·5d
🏹Effect Systems
I am 15 and Built a Dual Backend MLP From Scratch Using CUDA C++, 100% raw, no frameworks
github.com·5d·
Discuss: Hacker News, r/cpp
📦Unikernel Systems
Multimodal Recurrent Ensembles for Predicting Brain Responses to Naturalistic Movies (Algonauts 2025)
arxiv.org·3d
🏹Effect Systems
DCFFSNet: Deep Connectivity Feature Fusion Separation Network for Medical Image Segmentation
arxiv.org·3d
💻CS
Data Engineering in the Age of AI: Skills To Master Now
thenewstack.io·2d
🤖Program Synthesis
Hackaday Podcast Episode 330: Hover Turtles, Dull Designs, and K’nex Computers
hackaday.com·2d
💾Retro Computing
Scaling Decentralized Learning with FLock
arxiv.org·6d
🔄Reproducible Builds
Emergent Cognitive Convergence via Implementation: A Structured Loop Reflecting Four Theories of Mind (A Position Paper)
arxiv.org·5d
🎮Verification Games
Loading...Loading more...
AboutBlogChangelogRoadmap