Show HN: Anonymous Peer to Peer Therapy
🍎Apple
Flag this post
I Use AI
🔤Language Design
Flag this post
Helios-Engine ,Why I Built Another LLM Agent Framework (And Why You Might Actually Care)
🧱Immutable Infrastructure
Flag this post
Towards Automated Petrography
arxiv.org·1d
🔲Cellular Automata
Flag this post
Building Syllabi – Agentic AI with Vercel AI SDK, Dynamic Tool Loading, and RAG
🎮Verification Games
Flag this post
Quantum Machine Unlearning: Foundations, Mechanisms, and Taxonomy
arxiv.org·1d
❓Existential Types
Flag this post
Tackling the Kidnapped Robot Problem via Sparse Feasible Hypothesis Sampling and Reliable Batched Multi-Stage Inference
arxiv.org·1d
🤖Robotics
Flag this post
Building TransMonkey: Lessons Learned from Creating an AI Translation Platform
💎Refinement Types
Flag this post
Uncrossed Multiflows and Applications to Disjoint Paths
arxiv.org·1d
⚡Process Calculi
Flag this post
To improve Rationality, create Situations
lesswrong.com·1d
🎮Verification Games
Flag this post
Engineering.ai: A Platform for Teams of AI Engineers in Computational Design
arxiv.org·1d
🔲Cellular Automata
Flag this post
Adding New Capability in Existing Scientific Application with LLM Assistance
arxiv.org·1d
⚙️Compiler Design
Flag this post
What a diff makes: automating code migration with large language models
arxiv.org·1d
📦Opam
Flag this post
Advancing Cognitive Science with LLMs
arxiv.org·1d
🔁Fixed-Point Theory
Flag this post
Nonlinear Instabilities in Computer Network Dynamics
arxiv.org·1h
📡Network Protocol Design
Flag this post
Natural Building Blocks for Structured World Models: Theory, Evidence, and Scaling
arxiv.org·1h
🔲Cellular Automata
Flag this post
Loading...Loading more...