Automated Code Repair for C/C++ Static Analysis Alerts
arxiv.org·16h
📊Static Analysis
p-fast trie, but smaller
dotat.at·2h
🌳Trie Structures
We beat GPT-4o's baseline with a simple re-prompting loop
aimon.ai·21h·
Discuss: Hacker News
⚡Proof Automation
Build a Mini-FastAPI from Scratch: Learn ASGI & Routing Internals
dev.to·4h·
Discuss: DEV
⚡gRPC
Out-Fibbing CPython with the Plush Interpreter
pointersgonewild.com·20h·
Discuss: Lobsters
🔗Functional Compilers
How To Solve Every Programming Problem
blog.codeminer42.com·47m
📐Interval Arithmetic
Experience report: Implementing High Volume Automated Testing system
mirekdlugosz.com·3h
🧪Property-Based Testing
Transaction Healing: Scaling Optimistic Concurrency Control on Multicores
muratbuffalo.blogspot.com·7h·
Discuss: www.blogger.com
⚡Hardware Transactional Memory
Engage Your Inbox with ‘Getting Things Done’
blog.thunderbird.net·4h
📲syncthing
5 Python Libraries I Wish I'd Found Sooner
hackernoon.com·12h
📟Terminals
Dynamically Update C++ syntax using Next Edit Suggestions
devblogs.microsoft.com·2d·
Discuss: Hacker News
🎯Gradual Typing
Beginner’s Guide to Gemini CLI: Install, Setup, and Use It Like a Pro
kdnuggets.com·7h
⚡Proof Automation
Redprints CFP: an open source CFP management app built with Rails + Inertia.js
evilmartians.com·20h·
Discuss: Hacker News
⭐Awesome lists
Context Engineering — A Comprehensive Hands-On Tutorial with DSPy
towardsdatascience.com·15h
✨Effect Handlers
Building Paperboy: A Personal Reading Recommendation Engine
joshbeckman.org·1d·
Discuss: Hacker News
🎯Content Recommendation
Claude Code IDE Integration for Emacs
github.com·6h·
Discuss: Hacker News
🔩Systems Programming
Data Overdose? Time for a Quadruple Shot: Knowledge Graph Construction using Enhanced Triple Extraction
arxiv.org·16h
🔍Information Retrieval
Vibe coding to Chomksy: will linguistics pop off in a world full of prompting?
aymannadeem.com·3h·
Discuss: Hacker News
💻Programming languages
An explorer and visualizer for Go concurrency patterns
golangweekly.com·20h
🦀Rust Macros
Remembrance Agent A continuously running automated information retrieval system
bradleyrhodes.com·23h·
Discuss: Hacker News
🔍Information Retrieval