🐿️ 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 theory
types, dependent types, linear types
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
North Korea's Tourism Push Comes at a Cost to Local Residents
karlsnotes.com
·
7h
·
Discuss:
Hacker News
🧠
llms
OpenSSH Post-Quantum Cryptography
openssh.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
r/linux
🧠
llms
Staff fear UK's Turing AI Institute at risk of collapse
bbc.co.uk
·
9h
·
Discuss:
Hacker News
🧠
llms
The Kafka Challenge – Translating the Inimitable
hedgehogreview.com
·
2d
·
Discuss:
Hacker News
🧠
llms
The Rise and Fall of Bayesian Statistics
johndcook.com
·
3d
·
Discuss:
Hacker News
🧠
llms
HTTP is not simple
daniel.haxx.se
·
4d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🧠
llms
Why the em dash is attracting unfair suspicion
theglobeandmail.com
·
20h
·
Discuss:
Hacker News
🧠
llms
Annie Jacobsen on Nuclear War, Intelligence Operations, and Conspiracy Realities
conversationswithtyler.com
·
2h
·
Discuss:
Hacker News
🧠
llms
A Visual Diagnostic Toolkit for PPO's Entropy Bonus
theprincipledagent.com
·
37m
·
Discuss:
Hacker News
🧠
llms
Claude is competitive with humans in (some) cyber competitions
red.anthropic.com
·
1d
·
Discuss:
Hacker News
🧠
llms
Code with AI the Hard Way
kamens.com
·
1d
·
Discuss:
Hacker News
🧠
llms
Contextual genomic perspective on physical activity, health, and well being
nature.com
·
1d
·
Discuss:
Hacker News
🧠
llms
Writing tests for Nim libraries with Nimble and unittest
serv.peterme.net
·
2d
·
Discuss:
Hacker News
🧠
llms
Oops Safari, I Think You Spilled Something
blog.exodusintel.com
·
4d
·
Discuss:
Lobsters
,
Hacker News
🧠
llms
VS Code previews chat checkpoints for unpicking careless talk
theregister.com
·
4h
·
Discuss:
Hacker News
🧠
llms
How OpenAI used a new data type to cut inference costs by 75%
theregister.com
·
2d
·
Discuss:
Hacker News
🧠
llms
The Strategic Implications of GPT-5 for OpenAI
chrishayduk.com
·
22h
·
Discuss:
Hacker News
🧠
llms
Vibe coding is not the AI utopia it seems
northpodie.blogspot.com
·
3d
·
Discuss:
Hacker News
🧠
llms
"Getting a Little Rusty" – A guide for vibe coders who need to read Rust
github.com
·
20h
·
Discuss:
Hacker News
🧠
llms
Mellanox, Nvidia, and the GPU Era
procurefyi.substack.com
·
1d
·
Discuss:
Substack
🧠
llms
Loading...
Loading more...
« Page 14
•
Page 16 »