🐿️ 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
·
1h
·
Discuss:
Hacker News
🏔️
climbing
An accessible web is a web for everyone
atipik.ch
·
4d
·
Discuss:
Hacker News
🔤
DSLs
[Seeking Collaborators] Building a Physics & Reality Simulation from First Principles - An Open Source "Matrixgame"
docs.google.com
·
4d
·
Discuss:
r/programming
🎮
Verification Games
The evolution of life may have its origins in outer space
mpg.de
·
3d
·
Discuss:
Hacker News
🐫
OCaml
Simple Way to Find Co-Founders – Business Partner Finder App
findpartner.app
·
2d
·
Discuss:
Hacker News
🖥️
Self-hosted Infrastructure
Gren 25S: Easier interop, concurrent tasks and zero-install packages
gren-lang.org
·
6d
·
Discuss:
Lobsters
,
Hacker News
🔄
Reproducible Builds
RustMailer – Week 1 Update: 729 Views, 165 Clones, 13 Stars (in 9 Days)
indiehackers.com
·
2d
·
Discuss:
Hacker News
❄️
Nixified Development
OpenAI prepares to launch GPT-5 in August
theverge.com
·
3d
·
Discuss:
Hacker News
👁️
System Observability
Show HN: Generate mind maps from anything with AI
instantmind.ai
·
1d
·
Discuss:
Hacker News
🎮
Verification Games
More Than Code
deadprogrammersociety.com
·
2d
·
Discuss:
Hacker News
🔬
Static Analysis
Dwl: Dwm for Wayland
codeberg.org
·
2d
·
Discuss:
Hacker News
📦
Unikernel Systems
Benchmarks for AI in Software Engineering
cacm.acm.org
·
3d
·
Discuss:
Hacker News
👁️
System Observability
DeepMind and OpenAI models solve maths problems at level of top students
nature.com
·
3d
·
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
ChatGPT Agent now available on the Mac app
9to5mac.com
·
3d
🍎
Apple
Pretty new to all of this, why would multiple machines power down at once?
reddit.com
·
1h
·
Discuss:
r/homelab
🏠
HomeLab
The great AI delusion is falling apart
mikemcbrideonline.com
·
3d
·
Discuss:
Hacker News
💾
Retro Computing
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
·
2h
·
Discuss:
r/homelab
🏠
HomeLab
Loading...
Loading more...
« Page 49
•
Page 51 »