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...