🔨 Compilers

Parser Design, Code Generation, Optimization, Language Design

Louisiana Attorney General has filed a "Child Protection" lawsuit against Roblox
engadget.com·4h
📜Proof Carrying Code
Study: AI tools can polish managers' emails but can also erode employee trust
news.ufl.edu·1d·
Discuss: Hacker News
🎯Threat Hunting
A Student Spotted a Jawbone at a Beach. It Turned Out to Be a New, Mouse-Sized Mammal That Lived Among Dinosaurs
smithsonianmag.com·1d
🦴Binary Paleontology
AI and Faster Attack Analysis [Guest Diary], (Wed, Aug 13th)
isc.sans.edu·1d
⚡Proof Automation
The unexpected joy of Claude Code on your iPhone
clay.fyi·3d·
Discuss: Hacker News
🪟Awesome windows command-line
Bistochastically private release of longitudinal data
arxiv.org·19h
🛡️Differential Privacy
Impacts of DEM Type and Resolution on Deep Learning-Based Flood Inundation Mapping
arxiv.org·19h
📸TIFF Archaeology
Complex deep learning models are no better at understanding genetic perturbation than simple baseline ones, study finds
phys.org·11h
🧠Machine Learning
Micro-Health Interventions: Exploring Design Strategies for 1-Minute Interventions as a Gateway to Healthy Habits
arxiv.org·1d
✋Tactile Computing
Show HN: MCP Security – Don't Blind Trust, Verify
github.com·1d·
Discuss: Hacker News
🛡️CLI Security
The 2R-Conjecture for the Hegselmann--Krause Model: A Proof in Expectation and New Directions
arxiv.org·1d
🔲Cellular Automata
Zero-Direction Probing: A Linear-Algebraic Framework for Deep Analysis of Large-Language-Model Drift
arxiv.org·3d
🧮Kolmogorov Complexity
Understanding Dynamic Scenes in Ego Centric 4D Point Clouds
arxiv.org·3d
📐Projective Geometry
ChatGPT just gave me a hard truth that I probably needed to hear and I am shook
techradar.com·2d
⚡Proof Automation
Vibe coding through the GPT-5 mess
theverge.com·10h
🖥️Modern Terminals
I finally have a 3-2-1 backup strategy!
reddit.com·9h·
Discuss: r/homelab
💿Backup Strategies
Writer's block with some slick hardware and a healthy environment.
reddit.com·3d·
Discuss: r/homelab
🔩Systems Programming
'Inference whales' are breaching AI coding startup business models
businessinsider.com·3d·
Discuss: Hacker News
⚙️Proof Engineering
Vibe Coding vs Vibe Debugging: The Modern Developer's Reality
dev.to·2d·
Discuss: DEV
📏Code Metrics
MeanAudio: Fast and Faithful Text-to-Audio Generation with Mean Flows
arxiv.org·4d
🎙️Whisper