Introducing GREASE: An Open-Source Tool for Uncovering Hidden Vulnerabilities in Binary Code (via scottatgalois) — discussion

#formalmethods #release #reversing #security

How NixOS and reproducible builds could have detected the xz backdoorfor the benefit of all (by Luj) — discussion

#nix #security

Another round of Rust compiler improvements merged for GCC 15.1 (via jmillikin) — discussion

#compilers #rust

Building the Second-Worst ZX Spectrum Emulator in the World with Perl (via domm) — discussion

#perl

Half Constructed Objects Are Unnecessary (via carlana) — discussion

#plt

HealthyIG: Instagram without all the toxic features like reels, home page, explore page (via rggr) — discussion

#android

Lance v2: A columnar container format for modern data (via knl) — discussion

#databases

CVE-2024-9956 - PassKey Account Takeover in All Mobile Browsers (via fanf) — discussion

#security #web

One Billion Row Challenge in Racket (via amanvir) — discussion

#lisp

Non-Obvious Haskell Idiom: Guard-Sequence (by kqr) — discussion

#haskell

U-Boot and memory permissions (via epilys) — discussion

#programming

Out-of-your-face AI (via WeetHet) — discussion

#ai #editors

Introducing WEBCAT: Web-based Code Assurance and Transparency (via legoktm) — discussion

#browsers #security

Sources of Accidental Complexity (2014) (by aidancully) — discussion

#philosophy #practices #programming

pipx install topgrade (via surprisetalk) — discussion

#python #rust

Why didn't Windows 95 setup use a miniature version of Windows 95 as its fallback GUI? (via luke8086) — discussion

#historical #windows

Passive Voice Considered Harmful (via BD103) — discussion

#practices

Introducing Orpheus Speech (via friendlysock) — discussion

#ai #release

Conflict-free Database over Virtual File System (via thombles) — discussion

#distributed

AI Blindspots (via joshka) — discussion

#ai