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·11h
Flag this post
What Changed? Pin-pointing behavior shift
world.hey.com·1d·
Discuss: Hacker News
🤖AI Agent
Flag this post
Show HN: Charl – ML language with native tensors and autograd
charlbase.org·2d·
Discuss: Hacker News
🔧Functional Programming
Flag this post
🎉 Excited to Share My Latest Ai Assistant Project! 🤖
saiful-islam-rafi-portfolio-javy.vercel.app·2d·
Discuss: DEV
🤖AI Agent
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
How to Get Started Programming with AI: Complete Beginner's Guide
bitdoze.com·1d
🤖AI Agent
Flag this post
4 open‑source apps I use to run AI locally
xda-developers.com·1d
🤖AI Agent
Flag this post
Tiny Titans: AI-Powered Droplets Redefine Targeted Delivery
dev.to·10h·
Discuss: DEV
🤖AI Agent
Flag this post
Need help with building a shortcut that logs fitness info/data at a set schedule
reddit.com·4h·
Discuss: r/shortcuts
🤖AI Agent
Flag this post
How To Make A Custom Type Iterable In Rust.
dev.to·1d·
Discuss: DEV
🔧Functional Programming
Flag this post
The Future of AI-Powered Security
dev.to·17h·
Discuss: DEV
🤖AI Agent
Flag this post
🚀 Building AI Agents with FastAPI + OpenAI
dev.to·20h·
Discuss: DEV
🤖AI Agent
Flag this post
Yann LeCun to depart Meta and launch AI startup focused on 'world models'
dev.to·12h·
Discuss: DEV
🤖AI Agent
Flag this post
Show HN: I have zero dev experience and built a 220k LOC fintech SaaS with AI
medium.com·1d·
Discuss: Hacker News
🤖AI Agent
Flag this post
Planned Diffusion
paperium.net·8h·
Discuss: DEV
Flag this post
Global SignalBus singleton method for Godot 4.x
reddit.com·7h·
Discuss: r/godot
Flag this post
NILC: Discovering New Intents with LLM-assisted Clustering
arxiv.org·1d
🤖LLM
Flag this post