AI-generated ecommerce visuals in minutes
pomelli-ai.com·11h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
A New Faster Algorithm for Gregorian Date Conversion
benjoffe.com·19h·
Discuss: Hacker News, r/cpp
🔢Algebraic Data Types
Flag this post
What Is Occult Grammar?
blog.izs.me·11h·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
Ask HN: is this a common LLM-assisted development workflow?
news.ycombinator.com·2d·
Discuss: Hacker News
⚙️Compiler Design
Flag this post
Pressure to change
maryrosecook.com·2d·
Discuss: Hacker News
🧪Concolic Testing
Flag this post
Hybrid-Attention models are the future for SLMs
inference.net·50m·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
AI-Driven Biomarker Discovery for Accelerated Orphan Drug Development
dev.to·1d·
Discuss: DEV
🧠Automated Reasoning
Flag this post
How Powerful AIs Get Cheap
lesswrong.com·9h
🩹Self-Healing Systems
Flag this post
Tech With Tim: I Let 3 AIs Compete to Build the Same App…
dev.to·20h·
Discuss: DEV
🎮Verification Games
Flag this post
Beyond OCR: Engineering Accounts Payable with Natural Language & Agentic Automation
dev.to·19h·
Discuss: DEV
🔤Language Design
Flag this post
VISAT: Benchmarking Adversarial and Distribution Shift Robustness in Traffic Sign Recognition with Visual Attributes
arxiv.org·21h
🧮SMT Solvers
Flag this post
Simplifying Preference Elicitation in Local Energy Markets: Combinatorial Clock Exchange
arxiv.org·21h
💎Refinement Types
Flag this post
Recording My Experiments in Spec-Driven Development
dev.to·8h·
Discuss: DEV
🔄Reproducible Builds
Flag this post
Scaling Coding-Agent RL to 32x H100s. 160% Improvement on Stanford's TBench
github.com·14h·
Discuss: Hacker News, r/LocalLLaMA
🌐ActivityPub
Flag this post
Attention Illuminates LLM Reasoning: The Preplan-and-Anchor Rhythm EnablesFine-Grained Policy Optimization
dev.to·1d·
Discuss: DEV
📚Automata Learning
Flag this post
Decoding Autonomy: When AI Learns to Speak for Itself by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
📚Automata Learning
Flag this post
From searching to solving: how Vector Databases transform product discovery
dev.to·18h·
Discuss: DEV
🔢Algebraic Data Types
Flag this post
SmartReader
dev.to·16h·
Discuss: DEV
🔤Kleene Algebra
Flag this post
Reasoning Curriculum: Bootstrapping Broad LLM Reasoning from Math
arxiv.org·3d
🧮SMT Solvers
Flag this post
My C++ lockless-ish task scheduler project ive been working on (first real project, also first time using threads) tell me what you think (BSD license) currentl...
github.com·1d·
Discuss: r/compsci, r/programming
💾Cachix
Flag this post