🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔠 Type-Level Programming
Dependent Haskell, GADTs, Type Families, Kind System
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Mastering the Open File
lichess.org
·
3d
·
Discuss:
Hacker News
🎮
Verification Games
Violence as Disease
traum-und-verantwortung.de
·
2d
·
Discuss:
Hacker News
➡️
Category Theory
Dexter Cows and Kefir Cheese
smallfarmersjournal.com
·
4d
·
Discuss:
Hacker News
❄️
Nix
What Happened When Canada Gave Citizens the Right to Die
theatlantic.com
·
2d
·
Discuss:
Hacker News
🖥️
Self-hosted Infrastructure
jQuery 4.0.0 Release Candidate 1
blog.jquery.com
·
5d
·
Discuss:
Hacker News
,
r/javascript
📦
Unikernel Systems
Crypto Firm Bullish Surges 143% in Debut After $1.1 Billion IPO
bloomberg.com
·
3d
·
Discuss:
Hacker News
🍎
Apple
How Boom uses software to accelerate hardware development
bscholl.substack.com
·
6d
·
Discuss:
Substack
📦
Unikernel Systems
Call of Duty Admits the Install Size Is Too Damn High
kotaku.com
·
2d
·
Discuss:
Hacker News
💾
Retro Computing
Canonical's hiring process is a case study in crapness
tomkranz.com
·
3d
·
Discuss:
Hacker News
🛡️
seL4
What’s Wrong With ARDC?
perens.com
·
4d
·
Discuss:
Hacker News
🍎
XNU Internals
Mosfet Dreams
blog.ajith.fyi
·
5d
·
Discuss:
Hacker News
🐫
Embedded OCaml
Rust CUDA August 2025 project update
rust-gpu.github.io
·
5d
·
Discuss:
Hacker News
⚙️
PL Implementation
Crowdfunded companies are ‘ghosting’ their investors – and getting away with it
theconversation.com
·
2d
·
Discuss:
Hacker News
🧪
Property-Based Testing
Bench-Top Wireless Power Transmission
hackaday.com
·
1d
📡
Network Protocol Design
The AI boyfriend ticking time bomb
garbageday.email
·
5d
·
Discuss:
Hacker News
💾
Retro Computing
OpenAI Moves Fast and Breaks ChatGPT
spyglass.org
·
4d
·
Discuss:
Hacker News
🔬
Unikernels
Doctors Were Worse at Spotting Cancer After Leaning on AI, Study Finds
gizmodo.com
·
3d
·
Discuss:
Hacker News
✓
Automated Theorem Proving
New homelab (and new user): plans, software and hardware questions
pcpartpicker.com
·
5d
·
Discuss:
r/homelab
🏠
HomeLab
An AI Native Dependency Manager
github.com
·
5d
·
Discuss:
Hacker News
📦
Unikernel Systems
2025 One Hertz Challenge: A Game Of Life
hackaday.com
·
3d
🍎
XNU Internals
Loading...
Loading more...
« Page 77
•
Page 79 »