Picat: A Logic-based Multi-paradigm Language (2014) [pdf]
(news.ycombinator.com)
1381.
1382.
Picat: A Logic-based Multi-paradigm Language(2014) [pdf]
(news.ycombinator.com)
1383.
Fraudulent Publishing in the Mathematical Sciences
(news.ycombinator.com)
1384.
Show HN: HumanAlarm – Real people knock on your door to wake you up
(news.ycombinator.com)
1385.
Thinking Machines Lab wants to make AI models more consistent
(techcrunch.com)
1386.
UGMM-NN: Univariate Gaussian Mixture Model Neural Network
(news.ycombinator.com)
1387.
Show HN: Haystack – Review pull requests like you wrote them yourself
(news.ycombinator.com)
1388.
1389.
Zoox robotaxi launches in Las Vegas
(news.ycombinator.com)
1390.
Anthropic Services Down
(news.ycombinator.com)
1391.
Zoox launches its robotaxi service to the public in Las Vegas
(news.ycombinator.com)
1392.
Rendering flame fractals with a compute shader (2023)
(news.ycombinator.com)
1393.
OrioleDB Patent: now freely available to the Postgres community
(news.ycombinator.com)
1394.
Rendering flame fractals with a compute shader
(news.ycombinator.com)
1395.
Supabase OrioleDB Patent: now freely available to the Postgres community
(news.ycombinator.com)
1396.
R-Zero: Self-Evolving Reasoning LLM from Zero Data
(news.ycombinator.com)
1397.
iPhone Air
(news.ycombinator.com)
1398.
Show HN: Shellcast.tv – Stream your vibe coding
(news.ycombinator.com)
1399.
Fed helpless as US economy faces structural challenges, not monetary
(news.ycombinator.com)
1400.
1401.
Dropbox Paper mobile App Discontinuation
(news.ycombinator.com)
1402.
Nango (YC W23) Is Hiring a Staff Back End Engineer (Remote)
(news.ycombinator.com)
1403.
ATC/OSDI '25 Joint Keynote: Accelerating Software Dev: The LLM (R)Evolution [video]
(news.ycombinator.com)
1404.
Incident Report for Anthropic
(news.ycombinator.com)
1405.
ASML, Mistral AI enter strategic partnership
(news.ycombinator.com)
1406.
Integer Programming (1977) [pdf]
(news.ycombinator.com)
1407.
America is in a serious jobs slump
(news.ycombinator.com)
1408.
Integer Programming (2002) [pdf]
(news.ycombinator.com)
1409.
How inaccurate are Nintendo's official emulators? [video]
(news.ycombinator.com)
1410.
Submarine Cable Map
(news.ycombinator.com)