🐿️ 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
How to Use Antlr Pattern Matching
tomassetti.me
·
1d
·
Discuss:
Hacker News
🧠
llms
The current state of LLM-driven development
blog.tolki.dev
·
9h
·
Discuss:
Hacker News
🧠
llms
Empire of the Absurd: A Brief History of the Absurdities of the Soviet Union
laurivahtre.ee
·
10h
·
Discuss:
Hacker News
🧠
llms
Your LLM Knows the Future: Uncovering Its Multi-Token Prediction Potential
machinelearning.apple.com
·
2d
·
Discuss:
Hacker News
🧠
llms
Neurosymbolic AI: The 3rd Wave
muratbuffalo.blogspot.com
·
1d
·
Discuss:
Hacker News
🧠
llms
Beauty of Second Degree Probes
shreyasprakash.com
·
11h
·
Discuss:
Hacker News
🧠
llms
Show HN: VectorOps Know
vectorops.dev
·
2d
·
Discuss:
Hacker News
🧠
llms
How the Lean language brings math to coding and coding to math
amazon.science
·
4d
·
Discuss:
Hacker News
🧠
llms
Depth=2
tristanpemble.com
·
5d
·
Discuss:
Hacker News
🧠
llms
Show HN: A Python CEL implementation (written in Rust)
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🧠
llms
How Confident Are You, ChatGPT?
aylinakkus.github.io
·
15h
·
Discuss:
Hacker News
🧠
llms
Where Are They? (2008)
nickbostrom.com
·
1h
·
Discuss:
Hacker News
🧠
llms
Vibe coding to Chomksy: will linguistics pop off in a world full of prompting?
aymannadeem.com
·
3d
·
Discuss:
Hacker News
🧠
llms
Memory 2.0: Attentive Memory (2012)
blog.ninlabs.com
·
10h
·
Discuss:
Hacker News
🧠
llms
The Rise and Fall of Bayesian Statistics
johndcook.com
·
1d
·
Discuss:
Hacker News
🧠
llms
Ratfactor's Illustrated Guide to Folding Fitted Sheets
ratfactor.com
·
13h
·
Discuss:
Hacker News
🧠
llms
Parametric Matrix Models
nature.com
·
2d
·
Discuss:
Hacker News
🧠
llms
HTML Traits
github.com
·
2d
·
Discuss:
Hacker News
🧠
llms
The Generativity Pattern in Rust
arhan.sh
·
5d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🧠
llms
Lurk – A Turing-complete programming language for ZK-SNARKs
github.com
·
1d
·
Discuss:
Hacker News
🧠
llms
Loading...
Loading more...
« Page 2
•
Page 4 »