Microsoft C++ Team at CppCon 2025: Trip Report
devblogs.microsoft.com·15h
🐛Interactive Debuggers
Flag this post
Roadmap for Improving the Type Checker
✅Type Checking
Flag this post
A portable picokernel for async I/O
🤖Embedded Go
Flag this post
Advances In Formal Verification Technology
semiengineering.com·1d
🧩SAT Solvers
Flag this post
Advanced Threat Protection (ATP): An Ultimate Guide for Modern SOCs
vmray.com·15h
🛡️Security Type Systems
Flag this post
From Bottleneck to Breakthrough: AI in Chip Verification
spectrum.ieee.org·1d
🎭Program Synthesis
Flag this post
The next RISC-V processor frontier: AI
edn.com·19h
🔧RISC-V
Flag this post
Vectorizing for Fun and Performance
🔀SIMD Programming
Flag this post
Raising the Bar on ML Model Deployment Safety
uber.com·1d
🚂Cranelift IR
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·1d
🔗Go Generics
Flag this post
Custom Intelligence: Building AI that matches your business DNA
aws.amazon.com·14h
🎭Program Synthesis
Flag this post
An intro to the Tensor Economics blog
lesswrong.com·2d
🗺️Region Inference
Flag this post
Nim 2.2.6
💬Error Messages
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
🔒Rust Borrowing
Flag this post
exploits.club Weekly Newsletter 91 - Patch-gapping Browsers, Ubuntu LPEs, Bluetooth Int Underflows, And More
blog.exploits.club·13h
📦Allocation Elision
Flag this post
ReLook: Vision-Grounded RL with a Multimodal LLM Critic for Agentic Web Coding
💬Interactive REPLs
Flag this post
Interfacing assembly with BASIC via DEFUSR, part 7
subethasoftware.com·1d
⚙️Assembly
Flag this post
PMPP-Eval Journey
🚀Code Motion
Flag this post
Loading...Loading more...