🐿️ 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
Alexander Grothendieck and the Invisible Walls of Academia
lightcapai.medium.com
·
14h
·
Discuss:
Hacker News
🧠
llms
Cultural Bias in LLMs
shav.dev
·
3h
·
Discuss:
Hacker News
🧠
llms
The machines shouldn't be learning Python
ahmedsaoudi.com
·
11h
·
Discuss:
Hacker News
🧠
llms
Out-Fibbing CPython with the Plush Interpreter
pointersgonewild.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
🧠
llms
Privacy, Code, and the Future
news.ycombinator.com
·
13h
·
Discuss:
Hacker News
🧠
llms
Litestar is worth a look
b-list.org
·
13h
·
Discuss:
Lobsters
,
Hacker News
🧠
llms
A Library Approach to Constant Template Parameters
brevzin.github.io
·
4d
·
Discuss:
Hacker News
,
r/cpp
🧠
llms
GPT-OSS 120B Writes a Lisp in Go Fast
elite-ai-assisted-coding.dev
·
15h
·
Discuss:
Hacker News
🧠
llms
Which Colors Are Primary?
jamesgurney.substack.com
·
23h
·
Discuss:
Substack
🧠
llms
Building My Own Astrodynamics Library in Zig
atempleton.dev
·
7h
·
Discuss:
Hacker News
🧠
llms
Pascal's Wager
en.wikipedia.org
·
17h
·
Discuss:
Hacker News
🧠
llms
Attention was never enough: Tracing the rise of hybrid LLMs
ai21.com
·
1d
·
Discuss:
Hacker News
🧠
llms
What's New in C# 14: User-Defined Compound Assignments
blog.ivankahl.com
·
1d
·
Discuss:
Hacker News
🧠
llms
TC39 Advances 11 Proposals for Math Precision, Binary APIs, and More
socket.dev
·
1d
·
Discuss:
Hacker News
🧠
llms
Typed languages are better suited for vibecoding
solmaz.io
·
3d
·
Discuss:
Hacker News
🧠
llms
AI Plays Risk – Lessons from a silly benchmark
andreasthinks.me
·
18h
·
Discuss:
Hacker News
🧠
llms
Help me understand what this guy means by LLMs and language?
arstechnica.com
·
1d
·
Discuss:
Hacker News
🧠
llms
Divergentism (2022)
ribbonfarm.com
·
1d
·
Discuss:
Hacker News
🧠
llms
That Squiggly, Treacherous Line
fi-le.net
·
3d
·
Discuss:
Hacker News
🧠
llms
Tinkering with Hobby Projects
jeffersonheard.ghost.io
·
1d
·
Discuss:
Hacker News
🧠
llms
Loading...
Loading more...
« Page 1
•
Page 3 »