🐿️ 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
Why we need to talk about periods, breasts and injuries in women's sport
bbc.co.uk
·
4h
·
Discuss:
Hacker News
🏔️
climbing
The Return of the Artisans
techleader.pro
·
1d
·
Discuss:
Hacker News
💾
Retro Computing
What Happens to Google Maps When Tectonic Plates Move?
nautil.us
·
1d
·
Discuss:
Hacker News
🧗
Climbing Tech
An accessible web is a web for everyone
atipik.ch
·
4d
·
Discuss:
Hacker News
🔤
DSLs
The evolution of life may have its origins in outer space
mpg.de
·
3d
·
Discuss:
Hacker News
🐫
OCaml
P Verified
b-hilprecht.github.io
·
5d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🛡️
seL4
OpenAI prepares to launch GPT-5 in August
theverge.com
·
3d
·
Discuss:
Hacker News
👁️
System Observability
Vibe Coding Turned This Swedish AI Unicorn Into The Fastest Growing Software Startup Ever, graphic
forbes.com
·
4d
·
Discuss:
Hacker News
✓
Automated Theorem Proving
Erase Your Darlings
grahamc.com
·
3d
·
Discuss:
Hacker News
❄️
Nix
Benchmarks for AI in Software Engineering
cacm.acm.org
·
3d
·
Discuss:
Hacker News
👁️
System Observability
Ununderstanding – Intellectual Work in the Age of AI
considerthebulldog.com
·
5d
·
Discuss:
Hacker News
🎮
Verification Games
🧠 I built a centralized memory system for Cursor agents using Supabase + OpenAI
reddit.com
·
4d
·
Discuss:
r/programming
📦
Unikernel Systems
Being a Mastodon Moderator
markwrites.io
·
2d
·
Discuss:
Hacker News
👁️
System Observability
Pretty new to all of this, why would multiple machines power down at once?
reddit.com
·
4h
·
Discuss:
r/homelab
🏠
HomeLab
Self-Supervised Distillation of Legacy Rule-Based Methods for Enhanced EEG-Based Decision-Making
arxiv.org
·
5d
🏹
Effect Systems
Two-Stage TSO-DSO Services Provision Framework for Electric Vehicle Coordination
arxiv.org
·
2d
📡
Network Protocol Design
Audio-Vision Contrastive Learning for Phonological Class Recognition
arxiv.org
·
3d
💻
CS
User Invariant Preference Learning for Multi-Behavior Recommendation
arxiv.org
·
5d
🔬
Unikernels
It’s a work in progress
reddit.com
·
5h
·
Discuss:
r/homelab
🏠
HomeLab
Looking for affordable all flash rack mount NAS
reddit.com
·
1h
·
Discuss:
r/homelab
🏠
HomeLab
Loading...
Loading more...
« Page 50
•
Page 52 »