Type Theory and Functional Programming (1999) [pdf]
(news.ycombinator.com)
2281.
2282.
Introduction to Multi-Armed Bandits (2019)
(news.ycombinator.com)
2283.
Introduction to Multi-Armed Bandits
(news.ycombinator.com)
2285.
Finding and Understanding Bugs in C Compilers (2011) [pdf]
(news.ycombinator.com)
2286.
2287.
Extract-0: A specialized language model for document information extraction
(news.ycombinator.com)
2288.
It looks like an M5 iPad Pro is coming very soon
(engadget.com)
2289.
Introducing Sora 2 [video]
(news.ycombinator.com)
2290.
A $196 fine-tuned 7B model outperforms OpenAI o3 on document extraction
(news.ycombinator.com)
2291.
Leaked Apple M5 9 core Geekbench scores
(news.ycombinator.com)
2292.
Airgoods (YC S23) Is Hiring
(news.ycombinator.com)
2293.
Alexa Plus is available out of the box on new Echo devices
(theverge.com)
2294.
2295.
2296.
2297.
2298.
2299.
Can LIGO Detect Daylight Savings Time?
(news.ycombinator.com)
2300.
What Is Artificial General Intelligence?
(news.ycombinator.com)
2301.
A SQL Heuristic: ORs Are Expensive
(news.ycombinator.com)
2302.
2303.
John Jumper: AI is revolutionizing scientific discovery [video]
(news.ycombinator.com)
2304.
John Jumper: AI Is Revolutionizing Scientific Discovery [video]
(news.ycombinator.com)
2305.
2306.
What is artificial general intelligence?
(news.ycombinator.com)
2307.
A SQL Heuristic: Ors Are Expensive
(news.ycombinator.com)
2309.
iOS 26.0.1 fixes these iPhone 17 and iPhone Air bugs
(9to5mac.com)
2310.