Integer overflow checking with C23
blog.gnoack.org·1d
💓Live Variable Analysis
Flag this post
Build a Trust Zone Protected IoT Device (Trust Raspberry PI)
pixelstech.net·1d
🏷️Memory Tagging
Flag this post
My first fifteen compilers (2019)
🔬Nanopasses
Flag this post
AccessFix Update!
🎮Language Ergonomics
Flag this post
LLM-Driven Cost-Effective Requirements Change Impact Analysis
arxiv.org·5h
🚚Code Migration
Flag this post
Automated Defect Prediction via Cross-Entropy Regularized Graph Neural Networks for Microservice Architectures
🗺️Region Inference
Flag this post
Leakage-abuse Attack Against Substring-SSE with Partially Known Dataset
arxiv.org·5h
🔗Hash Functions
Flag this post
New prompt injection papers: Agents Rule of Two and The Attacker Moves Second
💬Interactive REPLs
Flag this post
How I Use Every Claude Code Feature
🎯99-Line Tools
Flag this post
Defining Types for a Simple HTTP Server
mmhaskell.com·1d
🔧API Design
Flag this post
A Systematic Literature Review of Code Hallucinations in LLMs: Characterization, Mitigation Methods, Challenges, and Future Directions for Reliable AI
arxiv.org·5h
🚀Code Motion
Flag this post
How Transformer Models Detect Anomalies in System Logs
hackernoon.com·16h
📊Log Parsers
Flag this post
Reflections on Trusting Trust (1984)
🏷️Memory Tagging
Flag this post
cargo zigbuild
🚂Cranelift Backend
Flag this post
Feeling the Vibes with Verifi
🚂Cranelift IR
Flag this post
Loading...Loading more...