🐿️ 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
Why LLMs Struggle with Text-to-SQL
selectstar.com
·
19h
·
Discuss:
Hacker News
🔤
Text Algorithms
The Math Is Haunted
overreacted.io
·
3d
·
Discuss:
Lobsters
,
Hacker News
,
r/javascript
,
r/programming
🔬
PLT
Programming is magic, or how I wrote a Kalaha solver
vlaaad.github.io
·
2d
·
Discuss:
Hacker News
🔬
PLT
'Hello world' in Bismuth
enikofox.com
·
21h
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
💻
Programming
The Comprehensive Guide to Knowledge Graphs
agilelab.it
·
1d
·
Discuss:
Hacker News
🔤
Text Algorithms
Deep Agents
blog.langchain.com
·
13h
·
Discuss:
Hacker News
⚙️
Language Implementation
Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification
harmonic.fun
·
3d
·
Discuss:
Hacker News
🔬
PLT
Morty: Scaling Concurrency Control with Re-Execution
muratbuffalo.blogspot.com
·
3d
·
Discuss:
Hacker News
⚡
Systems Performance
Dora Research: Concerns beyond the accuracy of AI output
dora.dev
·
17h
·
Discuss:
Hacker News
🧰
Developer Ergonomics
Code with LLMs and a Plan
richstone.io
·
23h
·
Discuss:
Hacker News
🔬
PLT
Meta
engineering.fb.com
·
3h
·
Discuss:
Hacker News
💻
Programming
Free Security Audits for Erlang and Elixir open source projects
erlang-solutions.com
·
16h
·
Discuss:
Lobsters
,
Hacker News
🔓
Open Source
My Journey to Pure No-Code Addition (Spoiler: Plot Twist Ending)
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🔬
PLT
PHP-ORT: Machine Learning Inference for the Web
krakjoe.github.io
·
3d
·
Discuss:
Lobsters
,
Hacker News
⚙️
Language Implementation
Large Language Models
davidtemplin.name
·
3d
·
Discuss:
Hacker News
🔤
Text Algorithms
Step3
stepfun.ai
·
1d
·
Discuss:
Hacker News
🖥️
Computer Architecture
Moving Beyond the Prompt (AI Literacy Course)
github.com
·
1d
·
Discuss:
Hacker News
🔬
PLT
Rust Support in Socket
socket.dev
·
1d
·
Discuss:
Hacker News
💻
Programming
Do Video-Game Characters Matter Morally?
reducing-suffering.org
·
13h
·
Discuss:
Hacker News
🏛️
Philosophy
Valley of Despair
jacksonslipock.bearblog.dev
·
2h
·
Discuss:
Hacker News
🏗️
Compiler Design
Loading...
Loading more...
« Page 2
•
Page 4 »