Our newest model: Chandra (OCR)
📐Linear Algebra
Flag this post
What if you don't need MCP at all?
💻CLI Tools
Flag this post
Reflection for Aggregates (2020)
🔢Algebraic Data Types
Flag this post
Rouille – Rust Programming, in French
🔀OCaml Multicore
Flag this post
How I Use Every Claude Code Feature
💻CLI Tools
Flag this post
VISTA Score: Verification In Sequential Turn-based Assessment
arxiv.org·8h
🎮Verification Games
Flag this post
Scaling Coding-Agent RL to 32x H100s. 160% Improvement on Stanford's TBench
🌐ActivityPub
Flag this post
ParallelBench: Understanding the Trade-offs of Parallel Decoding in DiffusionLLMs
🔀OCaml Multicore
Flag this post
Show HN: AI agents running on 2011 Raspberry Pi with pure PHP – no GPU
🌐Network Protocols
Flag this post
AI-Assisted Coding & Automated Debugging: The Tools That Might Just Save Your Sanity
🤖Program Synthesis
Flag this post
Automated Personalized Chemotherapy Optimization via Multi-Modal Data Fusion & Reinforcement Learning
🧠Automated Reasoning
Flag this post
Quantum-Resistant Federated Learning: Implementing Post-Quantum Cryptography in Cross-Silo Model Aggregation
📦Unikernel Systems
Flag this post
Visual Backdoor Attacks on MLLM Embodied Decision Making via Contrastive Trigger Learning
arxiv.org·8h
🎮Verification Games
Flag this post
How to access and use Minimax M2 API
🐳Containerization
Flag this post
Loading...Loading more...