AI and Intro Theory
🎯Performance Proofs
Flag this post
I spent the past 2 months trying out every hyped AI coding workflow I could find
⚡Proof Automation
Flag this post
How I turned Zig into my favorite language to write network programs in
🔗Concatenative Programming
Flag this post
Language Modeling with Hierarchical Reasoning Models: Lessons from 1M Parameters
📊Quantization
Flag this post
ProofFlow — Ending Black-Box AI
⚙️Proof Engineering
Flag this post
Show HN: Project Journal – Give AI coding assistants persistent memory
💾Persistence Strategies
Flag this post
AI agents require to-do lists to stay on track
⚙️TLA+
Flag this post
Plan Then Retrieve: Reinforcement Learning-Guided Complex Reasoning over Knowledge Graphs
arxiv.org·2d
🔗Constraint Handling
Flag this post
Generative AI in Software Development: Balancing Innovation and Challenges
🔄Language Evolution
Flag this post
Paper2Web: Let's Make Your Paper Alive
📄PostScript
Flag this post
The Difference Between AI Assistants and AI Agents (And Why It Matters)
📐Proof Assistants
Flag this post
Dynamic Decisions: Making Memory-Efficient AI a Reality with Differentiable Algorithms by Arvind Sundararajan
⚡Incremental Computation
Flag this post
Automated Geospatial Anomaly Detection Using Multi-Source Data Fusion & Bayesian Inference
📡Feed Archaeology
Flag this post
Loading...Loading more...