Defense in depth -- the Microsoft way (part 94): BACKDOOR planted in AppLocker
seclists.org·7h
🛡️Stack Safety
Incommensurability
lesswrong.com·1d
🪞Homoiconicity
Why Should You Consider Programming for SAP Systems Through IT Training in Pune?
dev.to·1h·
Discuss: DEV
🎮Language Ergonomics
Computationally-Sound Symbolic Cryptography in Lean
eprint.iacr.org·4d
∫Symbolic Math
Thoughts about OpenAI GPT-5-Codex from my conversation with Greg Brockman and Thibault Sottiaux
andrewmayne.com·1d
🎮Language Ergonomics
Microsoft Goes All-in on Rust for Core Infrastructure and Much More
thenewstack.io·3d
🚂Cranelift IR
Use mutation testing to find the bugs your tests don't catch
blog.trailofbits.com·4d
🧪Compiler Testing
Adaptive Fast-and-Slow Visual Program Reasoning for Long-Form VideoQA
arxiv.org·6h
🗺️Region Inference
Taking the right kind of vibe-coding risk
nadeeshacabral.com·3d·
Discuss: Hacker News
🎮Language Ergonomics
Working with JSON and XML: Free Tools Every Developer Should Know
dev.to·2d·
Discuss: DEV
📋JSON Parsers
Need help - Version control
reddit.com·1d·
Discuss: r/godot
🌙Lua
CogAtom: From Cognitive Atoms to Olympiad-level Mathematical Reasoning in Large Language Models
arxiv.org·6h
🔗Concatenative Theory
Specification-Aware Machine Translation and Evaluation for Purpose Alignment
arxiv.org·6h
🔤Language Tokenizers
Python Strings: The Ultimate Guide for Beginners & Beyond
dev.to·2d·
Discuss: DEV
📝Rope Editors
Code Your Way to Perfect 3D: Introducing Gradient-Powered Geometry by Arvind Sundararajan
dev.to·16h·
Discuss: DEV
🎭Program Synthesis
Stop Property Drilling in FastAPI: Use Request-Level Globals
dev.to·1d·
Discuss: DEV
✨Gleam
Actionpackd AI SDK: 2 Lines to Typed, Streaming AI Magic
dev.to·21h·
Discuss: DEV
✨Gleam
I Gave AIs "Hands". Now They Can Build Their Own Software.
github.com·7h·
Discuss: DEV
📚Self-Documenting Code
Felling like a imposter.
reddit.com·1d·
Discuss: r/AskProgramming
🪜Recursive Descent
Multi-Agent Systems in PHP: A Practical Deep Research Implementation
dev.to·15h·
Discuss: DEV
🌊Reactive Languages