What are you doing this weekend?
📊Static Analysis
Flag this post
Serious Coding: The human–AI discipline for accurate and reliable development
🔐Capability Systems
Flag this post
Rouille – Rust Programming, in French
🦀Rust Borrowing
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
🦀Rust Borrowing
Flag this post
Vectorizing for Fun and Performance
⚡SIMD Vectorization
Flag this post
Cross-Platform Evaluation of Reasoning Capabilities in Foundation Models
arxiv.org·22h
💻Programming languages
Flag this post
Take-Home Exercises
⚡Proof Automation
Flag this post
Oops, My UUIDs Collided
🧪Binary Fuzzing
Flag this post
Cognition Releases SWE-1.5: Near-SOTA Coding Performance at 950 tok/s
🎯Emulator Accuracy
Flag this post
On Developers in C-Level Meetings
🔩Systems Programming
Flag this post
New trend: programming by kicking off parallel AI agents
blog.pragmaticengineer.com·1d
⚙️Proof Engineering
Flag this post
The Pharmacist's Guide to Becoming a Developer: Skills That Transfer
🔩Systems Programming
Flag this post
How Machine Learning Is Solving the $2 Trillion Contract Management Problem
📄Document Digitization
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·1d
λLambda Formalization
Flag this post
Loading...Loading more...