Hacker Newsnew | past | comments | ask | show | jobs | submit | optimalsolver's submissionslogin
1.
Pluck: Probabilistic Programming With Lazy Inference (pluck-lang.github.io)
1 point by optimalsolver 1 minute ago | past | discuss
2.
Brains And LLMs Converge On A Shared Conceptual Space Across Different Languages (arxiv.org)
5 points by optimalsolver 17 hours ago | past | discuss
3.
Richat Structure (2011) (nasa.gov)
2 points by optimalsolver 8 days ago | past | discuss
4.
Striped Rock Dismissed As Natural In 1928 Reclassified As UK’s Oldest Cave Art (theguardian.com)
3 points by optimalsolver 12 days ago | past | discuss
5.
Binary Lambda Calculus (esolangs.org)
3 points by optimalsolver 22 days ago | past
6.
Common Lisp names all sixteen binary logic gates (cmu.edu)
25 points by optimalsolver 28 days ago | past
7.
They Called It LISP For A Reason (2005) (gigamonkeys.com)
42 points by optimalsolver 41 days ago | past | 6 comments
8.
Next-Token Predictor Is An AI's Job, Not Its Species (astralcodexten.com)
2 points by optimalsolver 42 days ago | past
9.
Intelligence And Compression (2025) (lewish.io)
2 points by optimalsolver 43 days ago | past
10.
StupidStackLanguage (esolangs.org)
2 points by optimalsolver 45 days ago | past
11.
Taiwan reports large-scale Chinese military aircraft presence near island (politico.com)
5 points by optimalsolver 3 months ago | past
12.
Horus: A Protocol For Trustless Verification Under Uncertainty (arxiv.org)
1 point by optimalsolver 4 months ago | past
13.
Ask HN: Is Gemini Getting Worse?
3 points by optimalsolver 4 months ago | past | 3 comments
14.
AT&T Predicted The Future In 1993 [video] (youtube.com)
1 point by optimalsolver 5 months ago | past
15.
On Owning Galaxies (lesswrong.com)
5 points by optimalsolver 5 months ago | past
16.
MillenniumPrizeProblemBench: Stress-testing AIs On The Hardest Math We Know (mppbench.com)
3 points by optimalsolver 5 months ago | past
17.
Beyond Language Models: Byte Models Are Digital World Simulators (2024) (arxiv.org)
1 point by optimalsolver 5 months ago | past
18.
Generic Compression Benchmark (mattmahoney.net)
2 points by optimalsolver 5 months ago | past
19.
EscapeBench: Towards Advancing Creative Intelligence Of Language Model Agents (aclanthology.org)
1 point by optimalsolver 5 months ago | past
20.
Sudoku-Bench: Evaluating Creative Reasoning With Sudoku Variants (arxiv.org)
1 point by optimalsolver 6 months ago | past
21.
The Little Thoughts Of Thinking Machines (1983) [pdf] (stanford.edu)
2 points by optimalsolver 6 months ago | past
22.
DMT Trip Report (reddit.com)
3 points by optimalsolver 7 months ago | past
23.
Reasoning models reason well, until they don't (arxiv.org)
218 points by optimalsolver 7 months ago | past | 217 comments
24.
The Super-Rich 'Preppers' Planning To Save Themselves From The Apocalypse (2022) (theguardian.com)
4 points by optimalsolver 9 months ago | past | 1 comment
25.
Were There Dark Ages? (2017) (slatestarcodex.com)
2 points by optimalsolver 9 months ago | past | 1 comment
26.
Imagining the psychology of aliens evolved from ambush predators (2023) (reddit.com)
2 points by optimalsolver 10 months ago | past
27.
Of Taboos, Neighbors, And Optimization (2018) (medium.com/data-science)
2 points by optimalsolver 10 months ago | past
28.
BIG-Bench Extra Hard (arxiv.org)
1 point by optimalsolver 11 months ago | past
29.
Enigmata: Scaling Logical Reasoning In LLMs With Synthetic Verifiable Puzzles (arxiv.org)
2 points by optimalsolver 11 months ago | past
30.
Intelligence Is Not Magic, But Your Threshold For "Magic" Is Pretty Low (lesswrong.com)
4 points by optimalsolver 12 months ago | past

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: