#c

3 stories

#technology #aeneas #ai #black hat #cgi #compiler #compilers #corey prophitt #creator search #eurydice #flexible array #formal verification

Marketyour.games creator search service
Solo developer uses C, CGI and SQLite for paid creator search tool.
RuntimeWire · 1m
Compiling Rust to readable C with Eurydice
Eurydice converts Rust code to clean C for high-assurance software.
Lwn · 1m
Your compiler can undo your security checks
Chris Domas shows how legal compiler optimizations strip out the protections you carefully wrote.
Davidbombal · 1m · 5 views