sign up
sign up
sign up
sign up
pull down to refresh
Lambda Calculus Benchmark for AI | Hacker News
news.ycombinator.com/item?id=47900506
153 sats
\
1 comment
\
@beyond_turbulence
26 Apr
math
AI
science
culture
related
I Built a Lisp for AI Agents | Hacker News
news.ycombinator.com/item?id=47531058
647 sats
\
2 comments
\
@beyond_turbulence
6 Apr
AI
Intent as Hole: Lambda Calculus, LISP, and the Topology of Action
beyondturbulence.blogspot.com/2025/10/intent-as-hole-lambda-calculus-lisp-and.html?m=1
436 sats
\
2 comments
\
@beyond_turbulence
22 Oct 2025
AI
Voting on chat.lmsys.org might be super influential for humankinds future
611 sats
\
5 comments
\
@zuspotirko
22 Jun 2024
tech
The ORCA Benchmark Evaluates How Well AIs Deal with Everyday Math
www.omnicalculator.com/reports/omni-research-on-calculation-in-ai-benchmark
260 sats
\
0 comments
\
@0xbitcoiner
27 Feb
AI
AI benchmarks hampered by bad science
www.theregister.com/2025/11/07/measuring_ai_models_hampered_by/
208 sats
\
0 comments
\
@0xbitcoiner
10 Nov 2025
AI
new benchmarks integrated in different nodes With their benchmark tools
379 sats
\
0 comments
\
@shrec
29 Apr
bitcoin
bitcoin_beginners
bitdevs
bitcoinplusplus
Ranked: The Smartest AI Models of 2026
302 sats
\
0 comments
\
@suraz
25 Apr
AI
charts_and_maps
Coulon Proof Theory: AI Mediation, Topological Functors, and Combinatorics
beyondturbulence.blogspot.com/2026/01/coulon-proof-theory-ai-mediation.html?m=1
300 sats
\
2 comments
\
@beyond_turbulence
26 Jan
AI
Formal Reasoning [pdf] | Hacker News
news.ycombinator.com/item?id=45711062
210 sats
\
3 comments
\
@beyond_turbulence
26 Oct 2025
science
Search-capable AI agents may cheat on benchmark tests
www.theregister.com/2025/08/23/searchcapable_ai_agents_may_cheat
267 sats
\
2 comments
\
@Coinsreporter
23 Aug 2025
AI
MCP-Bench: Benchmarking Tool-Using LLM Agents
arxiv.org/abs/2508.20453
269 sats
\
0 comments
\
@optimism
30 Aug 2025
AI
The 2026 AI Index Report | Stanford HAI
hai.stanford.edu/ai-index/2026-ai-index-report
703 sats
\
6 comments
\
@0xbitcoiner
27 Apr
AI
PrismML Launches World's First 1-Bit AI Model to Redefine Intelligence at Edge
www.prnewswire.com/news-releases/prismml-launches-worlds-first-1-bit-ai-model-to-redefine-intelligence-at-the-edge-302730568.html
372 sats
\
2 comments
\
@DEADBEEF
1 Apr
AI
$24T | Hacker News | Y Combinator
news.ycombinator.com/item?id=46958399
630 sats
\
5 comments
\
@beyond_turbulence
10 Feb
econ
OpenAI Secretly Funded Benchmarking Dataset Linked To o3 Model
www.searchenginejournal.com/openai-secretly-funded-frontiermath-benchmarking-dataset/537760/
441 sats
\
0 comments
\
@frostdragon
21 Jan 2025
tech
AI is actually bad at math, ORCA shows
www.theregister.com/2025/11/17/ai_bad_math_orca/
197 sats
\
4 comments
\
@0xbitcoiner
18 Nov 2025
AI
BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs
arxiv.org/abs/2510.04721
210 sats
\
1 comment
\
@jakoyoh629
25 Oct 2025
AI
The AI Industry's Scaling Obsession Is Headed for a Cliff
arxiv.org/abs/2507.07931
351 sats
\
9 comments
\
@0xbitcoiner
15 Oct 2025
AI
The trust collapse: Infinite AI content is awful | Hacker News
news.ycombinator.com/item?id=45833496
331 sats
\
2 comments
\
@beyond_turbulence
6 Nov 2025
AI
The week in AI, August 11-17, 2025
1667 sats
\
4 comments
\
@optimism
21 Aug 2025
AI
Meta introduces 'Muse Spark' - "Scaling Towards Personal Superintelligence"
ai.meta.com/blog/introducing-muse-spark-msl
535 sats
\
2 comments
\
@k00b
8 Apr
AI
charts_and_maps
more