Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
arxiv.org·2d
🤖Program Synthesis
You Can Build Better AI Agents in Java Than Python
medium.com·1h·
Discuss: Hacker News
🤖Program Synthesis
how to resolve a halting paradox
academia.edu·11h·
Discuss: r/programming
🔄Finite State Machines
Blink Twice: Measuring Strategic Deception Amongst LLMs
coup.khoj.dev·21h·
Discuss: Hacker News
🎮Verification Games
Stream Integration
feldera.com·1d·
Discuss: Hacker News
🏹Effect Systems
Complete Dynamic Logic of Communicating Hybrid Programs
arxiv.org·1d
🔍Formal Verification
AI Agents Are Finally Delivering on the Semantic Web’s Promise
thenewstack.io·23h
🤖Program Synthesis
AGI's Moving Finish Line
signalfire.com·1d·
Discuss: Hacker News
🎮Verification Games
Building a self-hosted, fast AI research agent using OpenAI and SerpApi
serpapi.com·1d·
Discuss: Hacker News
🤖Program Synthesis
Subinterpreters and Asyncio
blog.changs.co.uk·1h·
Discuss: Hacker News
🐫Embedded OCaml
LLMs Are Letter-Blind and Here's Why Enterprises Should Care
viveksgag.substack.com·9h·
Discuss: Substack
🛡️seL4
flow-run: LLM Orchestration, Prompt Testing & Cost Monitoring
vitaliihonchar.com·1d·
Discuss: r/golang, r/programming
🔄Reproducible Builds
Can Large Models Teach Student Models to Solve Mathematical Problems Like Human Beings? A Reasoning Distillation Method via Multi-LoRA Interaction
arxiv.org·1d
🎮Verification Games
Show HN: I built a toy TPU that can do inference and training on the XOR problem
tinytpu.com·1d·
Discuss: Hacker News
⚙️PL Implementation
Attention Is the New Big-O: A Systems Design Approach to Prompt Engineering
alexchesser.medium.com·22h·
Discuss: Hacker News
🏹Effect Systems
SPL Lightweight Multisource Mixed Computation Practices
github.com·3h·
Discuss: Hacker News, r/programming
⚙️PL Implementation
A programmer's field guide to assertions
typesanitizer.com·3d·
Discuss: Lobsters, Hacker News
🧪Property-Based Testing
AI is a Junior Dev and needs a Lead
getparthenon.com·23h·
Discuss: Hacker News, r/programming
🔬Static Analysis
The 10x PM Paradox: Why Organization Beats Genius Every Time
zakelfassi.com·12h·
Discuss: Hacker News
🤖Program Synthesis
Quantifying Baseball Pitch Tunneling with K-Nearest Neighbors
runningonnumbers.com·9h·
Discuss: Hacker News
🧪Property-Based Testing