Visualizing Intersecting Sets
🔢Algebraic Data Types
Flag this post
AI Anki Generator
🔲Cellular Automata
Flag this post
Parallel achieves 70% accuracy on SEAL, benchmark for hard web research
🔀OCaml Multicore
Flag this post
Cursor's Composer-1 vs. Windsurf's SWE-1.5: The Rise of Vertical Coding Models
🤖Program Synthesis
Flag this post
How I built a game engine using MVI in Kotlin and avoided getting fired
🧱Immutable Infrastructure
Flag this post
Musci.io – Text-to-Music AI Generator (20-30 second generation time)
📚Automata Learning
Flag this post
NOMAD - Navigating Optimal Model Application to Datastreams
arxiv.org·5d
📚Automata Learning
Flag this post
Is it really paranoia if I'm really Out to Get Me?
lesswrong.com·2d
⬜Minimalism
Flag this post
Show HN: I made a browser extension to practice phonetic scripts (like katakana)
🔤Typography
Flag this post
Building Altruistic and Moral AI Agent with Brain-inspired Emotional Empathy Mechanisms
arxiv.org·2d
🩹Self-Healing Systems
Flag this post
PDE-SHARP: PDE Solver Hybrids Through Analysis & Refinement Passes
arxiv.org·5d
🔀OCaml Multicore
Flag this post
PROPEX-RAG: Enhanced GraphRAG using Prompt-Driven Prompt Execution
arxiv.org·5d
🔤Kleene Algebra
Flag this post
Loading...Loading more...