tarokuriyama's Top FindsLoading...
The elementary theory of surreal arithmetic is bi-interpretable with set theory, Notre Dame Logic Seminar, November 2025
jdh.hamkins.org·9h
Flag this post
Show HN: Charl – ML language with native tensors and autograd
charlbase.org·2d·
Discuss: Hacker News
🔧Functional Programming
Flag this post
AI Models Form Theory-of-Mind Beliefs
neurosciencenews.com·1d
🤖AI Agent
Flag this post
Lean4 Macros for Implementing Custom Quantifiers
jamesoswald.dev·3d·
Discuss: Hacker News
🔧Functional Programming
Flag this post
“It keeps me awake at night”: machine-learning pioneer on AI’s threat to humanity
nature.com·12h
Flag this post
Unlock Your Simulations: Automated Parameter Tuning for Complex Models by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
🤖AI Agent
Flag this post
original ↗
joecarlsmith.com·1d
🤖AI Agent
Flag this post
Generative AI for Automotive Critical Scenario Generation
medium.com·1d·
Discuss: Hacker News
🤖AI Agent
Flag this post
Undissolvable Problems: things that still confuse me
lesswrong.com·8h
Flag this post
The Closure Trap: A JavaScript Bug That Shows Why Fundamentals Still Matter in the AI Era
dev.to·2d·
Discuss: DEV
🔧Functional Programming
Flag this post
Imagine changing your app's behaviour... without changing the code. (Part 2)
dev.to·1d·
Discuss: DEV
🤖AI Agent
Flag this post
Rethinking Explanation Evaluation under the Retraining Scheme
arxiv.org·20h
Flag this post
🧠 Cursor Composer 1 vs Claude 4.5 Agent Build Comparison ⚡
dev.to·11h·
Discuss: DEV
🤖AI Agent
Flag this post
Benchmarking Educational LLMs with Analytics: A Case Study on Gender Bias in Feedback
arxiv.org·20h
🤖LLM
Flag this post
DANS-KGC: Diffusion Based Adaptive Negative Sampling for Knowledge Graph Completion
arxiv.org·20h
🤖AI Agent
Flag this post
Sign up or login to customize your feed and get personalized topic recommendations
Partial Action Replacement: Tackling Distribution Shift in Offline MARL
arxiv.org·20h
🤖AI Agent
Flag this post
🚀 Building AI Agents with FastAPI + OpenAI
dev.to·18h·
Discuss: DEV
🤖AI Agent
Flag this post
Yann LeCun to depart Meta and launch AI startup focused on 'world models'
dev.to·10h·
Discuss: DEV
🤖AI Agent
Flag this post