Regina Obe: Learning PostgreSQL from AI and JSON exploration: Part 2
postgr.es·1d
🧩Theorem Proving
Optimizing multiprecision LLL in FLINT
fredrikj.net·1d
🧭SMT Solvers
Unification
eli.thegreenplace.net·3d·
Discuss: Hacker News
📝Lisp
Compute Where It Counts: a trainable LLM sparsity enabling 4x CPU speed
crystalai.org·1d·
Discuss: Hacker News
🔗Parser Combinators
Show HN: Using Common Lisp from Inside the Browser
turtleware.eu·18h·
Discuss: Lobsters, Hacker News
📝Lisp
Pact: Head-to-head negotiation benchmark for LLMs
github.com·13h·
Discuss: Hacker News, r/LocalLLaMA
⚖Algorithmic Game Theory
LangExtract + Knowledge Graph— Google’s New Library for NLP Tasks
dev.to·1h·
Discuss: DEV
🔗Parser Combinators
Markdown Lib - First OSS project - Feedback Welcome!
github.com·18h·
Discuss: r/golang, r/opensource, r/programming
🔧Compiler Design
I made dynamic_string.h - a single-header C library with reference counting and immutable strings
reddit.com·2h·
Discuss: r/C_Programming
🔧Compiler Design
Scalable Digital Twin Synchronization via Hierarchical Causal Graph Optimization
dev.to·1d·
Discuss: DEV
⚡Concurrency
Evaluating Multilingual and Code-Switched Alignment in LLMs via Synthetic Natural Language Inference
arxiv.org·1d
🔧Compiler Design
Object-Oriented Programming in Python: Complete Crash Course
dev.to·2d·
Discuss: DEV
🧮Programming Language Theory
Who Sees What? Structured Thought-Action Sequences for Epistemic Reasoning in LLMs
arxiv.org·1d
🧩Theorem Proving
How to Build a Self-Correcting AI Agent for Product Search in E-Commerce
dev.to·9h·
Discuss: DEV
🧩Theorem Proving
Your Reward Function for RL is Your Best PRM for Search: Unifying RL and Search-Based TTS
arxiv.org·1d
🎲Probabilistic Programming
how to decide on the sequence of computable numbers
academia.edu·1d·
Discuss: Hacker News, r/programming
📈Complexity Theory
DevLog#2: Why I Scrapped My Half-Built Data Validation Platform
dev.to·2h·
Discuss: DEV
🔍Static Analysis
From Unstructured Data to RAG-Ready With Docling
thenewstack.io·17h
🎲Probabilistic Programming
I Stopped Writing Code. My Productivity Exploded.
every.to·1d
🧩Theorem Proving
Comp-X: On Defining an Interactive Learned Image Compression Paradigm With Expert-driven LLM Agent
arxiv.org·2h
🎲Probabilistic Programming