🐿️ 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 Systems
Type Inference, Static Analysis, Dependent Types, Hindley-Milner
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Glossary of Studio Neologisms (2018)
miltonline.com
·
3h
·
Discuss:
Hacker News
🔬
PLT
How Wiz Crushed Lacework: A Data Infrastructure Perspective
puppygraph.com
·
2h
·
Discuss:
Hacker News
🔓
Open Source
Let the Kaleidoscope Turn
shabie.github.io
·
2d
·
Discuss:
Hacker News
🔤
Text Algorithms
Morty: Scaling Concurrency Control with Re-Execution
muratbuffalo.blogspot.com
·
4d
·
Discuss:
Hacker News
⚡
Systems Performance
Programming is magic, or how I wrote a Kalaha solver
vlaaad.github.io
·
3d
·
Discuss:
Hacker News
🔬
PLT
'Hello world' in Bismuth
enikofox.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
💻
Programming
Schematra: Sinatra inspired Chicken web framework
github.com
·
3d
·
Discuss:
Lobsters
,
Hacker News
⚙
WebAssembly
The Rubik's Cube Perfect Scramble
solutionslookingforproblems.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
⌨️
Keyboards
Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification
harmonic.fun
·
4d
·
Discuss:
Hacker News
🔬
PLT
Iceberg, the Right Idea – The Wrong Spec – Part 2 of 2: The Spec
database-doctor.com
·
1d
·
Discuss:
Hacker News
🔤
Text Algorithms
The /o in Ruby regex stands for “oh the humanity!”
jpcamara.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
🔤
Text Algorithms
The AI 'algorithmic audit' could be coming to hotel room checkout
cnbc.com
·
4h
·
Discuss:
Hacker News
⚡
Systems Performance
Meta
engineering.fb.com
·
1d
·
Discuss:
Hacker News
💻
Programming
PHP-ORT: Machine Learning Inference for the Web
krakjoe.github.io
·
4d
·
Discuss:
Lobsters
,
Hacker News
⚙️
Language Implementation
Large Language Models
davidtemplin.name
·
4d
·
Discuss:
Hacker News
🔤
Text Algorithms
Compressing Icelandic name declension patterns into a 3.27 kB trie
alexharri.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🔤
Text Algorithms
Step3
stepfun.ai
·
2d
·
Discuss:
Hacker News
🖥️
Computer Architecture
Building a SQLite CLI in less than an hour without ever looking at any code
theahura.substack.com
·
1d
·
Discuss:
Substack
⚙️
Language Implementation
Three Views on Conscoiusness
hopefullyintersting.blogspot.com
·
3h
·
Discuss:
hopefullyintersting.blogspot.com
,
Hacker News
🏛️
Philosophy
Dora Research: Concerns beyond the accuracy of AI output
dora.dev
·
2d
·
Discuss:
Hacker News
🧰
Developer Ergonomics
Loading...
Loading more...
« Page 5
•
Page 7 »