Automated Code Repair for C/C++ Static Analysis Alerts
arxiv.org·16h
📊Static Analysis
TC39 Advances 11 Proposals for Math Precision, Binary APIs, and More
socket.dev·15h·
Discuss: Hacker News
📝Concrete Syntax
Polyfill This! Flat, Map, Filter & Reduce — The Hard Way
hackernoon.com·12h
⬆️Lambda Lifting
Thinking Clearly with LLMs: Mental Models and Cognitive Pitfalls in Prompt Engineering
dev.to·3h·
Discuss: DEV
⚡Proof Automation
How To Solve Every Programming Problem
blog.codeminer42.com·48m
📐Interval Arithmetic
Out-Fibbing CPython with the Plush Interpreter
pointersgonewild.com·20h·
Discuss: Lobsters
🔗Functional Compilers
Thinking in Hoses and Wires, Not Bolted Gears (Protocol-Driven Development)
github.com·5h·
Discuss: Hacker News
🌐Protocol Synthesis
Week 31 Status
blogs.gnome.org·1d
🦀Rust Macros
In Support Of Shitty Types
lucumr.pocoo.org·2d·
Discuss: Lobsters, Hacker News
⬌Bidirectional Typing
GHC Developer Blog: GHC 9.10.3-rc2 is now available
haskell.org·20h
🔗Functional Compilers
Detection Engineering: Practicing Detection-as-Code – Validation – Part 3
blog.nviso.eu·1d
✅Archive Validation
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·2d·
Discuss: Hacker News
💧Liquid Types
TypeScript 5.9 creates leaner tsconfig.json files
heise.de·2d
🔄Language Evolution
Poltergeist: The Ghost That Keeps Your Builds Fresh
steipete.me·1d
🔗Concatenative Programming
Coding with Claude
blog.puzzmo.com·1d·
Discuss: Hacker News
🚀Indie Hacking
warp v0.4
seanmonstar.com·8h
🔌Interface Evolution
Automating Boundary Filling in Cubical Type Theories
arxiv.org·2d
🔶Cubical Type Theory
Python performance myths and fairy tales
lwn.net·11h·
Discuss: Lobsters, Hacker News
💻Programming languages
Prompt injection engineering for attackers: Exploiting GitHub Copilot
blog.trailofbits.com·16h
🛡️CLI Security
Arenas in Rust
russellw.github.io·18h·
Discuss: Hacker News
🦀Rust Borrowing