I built an AI agent with Mistral that automates 80% of my PostgreSQL DBA work
news.ycombinator.com·7h·
Discuss: Hacker News
🗄️PostgreSQL WAL
Flag this post
A bestiary of single-file programming language implementations
github.com·16h·
Discuss: Hacker News
🔗Concatenative Programming
Flag this post
Goodbye Guesswork: Code Generation That Knows What It Doesn't Know
dev.to·9h·
Discuss: DEV
⚔️Lean Tactics
Flag this post
Learning Regular Languages with RPNI Algorithm
rahul.gopinath.org·20h·
Discuss: Hacker News
📐Format Grammars
Flag this post
How to Scale LLM Apps Without Exploding Your Cloud Bill
hackernoon.com·16h
📄Text Chunking
Flag this post
Modern Perfect Hashing
blog.sesse.net·1h·
Discuss: Hacker News
🧪Binary Fuzzing
Flag this post
Show HN: RightMindMath and Arithmetic Fluency
rightmindmath.com·1d·
Discuss: Hacker News
🧮SMT Solvers
Flag this post
Multi-Task Vehicle Routing Solver via Mixture of Specialized Experts under State-Decomposable MDP
arxiv.org·10h
🧮SMT Solvers
Flag this post
Incentivizing Consistent, Effective and Scalable Reasoning Capability in Audio LLMs via Reasoning Process Rewards
arxiv.org·10h
🎵Audio ML
Flag this post
Formal or not formal? That is the question in AI for theorem proving.
xenaproject.wordpress.com·4d·
🔬Lean
Flag this post
String Seed of Thought: Prompting LLMs for Distribution-Faithful and Diverse Generation
arxiv.org·10h
🧪Binary Fuzzing
Flag this post
LLMs Are Bottlenecked by Linear Interfaces
handmadeoasis.com·15h·
Discuss: Hacker News
📏Linear Logic
Flag this post
AI Discovers Novel Cancer Drug, or Did It?
mindprison.cc·11h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
On Having a Data Object
natemeyvis.com·2h·
Discuss: Hacker News
🗄️Database Internals
Flag this post
InnoGate: Anti-Piracy Research Discovery Platform with AI-Powered RAG and Auth0 FGA
dev.to·7h·
Discuss: DEV
🔌Archive APIs
Flag this post
Quiz: Using Python Optional Arguments When Defining Functions
realpython.com·2h
🔗Lisp
Flag this post
The Trojan Example: Jailbreaking LLMs through Template Filling and Unsafety Reasoning
arxiv.org·10h
🌐NetworkProtocols
Flag this post
We Programmers Need "Results"
rockyj-blogs.web.app·2d·
Discuss: Hacker News
📜Proof Carrying Code
Flag this post
Agentic AI from First Principles: Reflection
towardsdatascience.com·2d
Effect Handlers
Flag this post