Putting the cart before the AI
blog.tohojo.dk·2d
⚡Proof Automation
C++ Seeding Surprises (2015)
pcg-random.org·2h·
Discuss: Hacker News
🔢Bitwise Algorithms
Programming by Backprop: LLMs Acquire Reusable Algorithmic Abstractions During Code Training
arxiv.org·1d
💻Local LLMs
The Guide to the Foundation Models Framework
azamsharp.com·4h·
Discuss: Hacker News
λLambda Formalization
Building a Go Concurrency Task Scheduler: Efficient Task Processing Unleashed
dev.to·17h·
Discuss: DEV
🌊Stream Processing
Plan for Speed -- Dilated Scheduling for Masked Diffusion Language Models
arxiv.org·14h
💻Local LLMs
An All-Around Better Horse
patrickhebron.com·49m·
Discuss: Hacker News
🧠Knowledge Management
$1M per Week: My Seven-Week AI Development Sprint
blockhead.consulting·19h·
Discuss: Hacker News
🦀Rust Macros
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·7h·
Discuss: Hacker News, r/programming
🔗Lisp
Learning-aided Bigraph Matching Approach to Multi-Crew Restoration of Damaged Power Networks Coupled with Road Transportation Networks
arxiv.org·14h
🕸️Graph Algorithms
Evolving Prompts In-Context: An Open-ended, Self-replicating Perspective
arxiv.org·1d
💻Programming languages
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
Pure UI
rauchg.com·3h·
Discuss: Hacker News
🎨Nordic Design
How I Built a Self-Correcting Prompt Generator with Multi-Stage LLM Calls"
dev.to·5h·
Discuss: DEV
🤖Lisp Machines
Building an Intelligent Cross-Chain Transaction Optimizer with Python & Gemini AI
dev.to·8h·
Discuss: DEV
🔌Interface Evolution
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·9h·
Discuss: Hacker News
🌀Brotli Internals
Program Synthesis is Interesting and Open
stephendiehl.com·3d·
Discuss: Hacker News
💻Programming languages
Recursion and Dynamic Programming: Solving Problems Efficiently
dev.to·1d·
Discuss: DEV
🎯Performance Proofs
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
The AI Agent schism: deterministic vs. non deterministic
writing.kunle.app·35m·
Discuss: Hacker News
⚡Proof Automation