FGL: a functional graph library (2002) (via fanf) — discussion

#haskell #ml

Graph foundation models for relational data (via mgm) — discussion

#ai #databases

Linear Matching of JavaScript Regular Expressions (via fanf) — discussion

#plt

Kiro and the future of AI spec-driven software development (via amw-zero) — discussion

#formalmethods #practices #vibecoding

GPUHammer: Rowhammer Attacks on GPU Memories are Practical (via fanf) — discussion

#hardware #security

Geomys, a blueprint for a sustainable open source maintenance firm (via jo3_l) — discussion

#go

Expressive test assertions without testify/assert (via mudge) — discussion

#go #testing

Let Me Cook You a Vulnerability: Exploiting the Thermomix TM5 (via freddyb) — discussion

#security

Reviving Genius (via caius) — discussion

#historical #mac #objectivec

North Korean XORIndex malware hidden in 67 malicious npm packages (via jeremiahlee) — discussion

#javascript #security

Where’s Firefox going next? You tell us (via laktak) — discussion

#browsers

Janet Feature Demos (via veqq) — discussion

#lisp #plt

Shipping WebGPU on Windows in Firefox 141 (via pbsds) — discussion

#browsers #graphics

NixOS: Declarative Management, Imperative Privilege Escalation (via Erethon) — discussion

#nix #security

The FIPS 140-3 Go Cryptographic Module (via runxiyu) — discussion

#cryptography #go #law

OpenZFS Bug Ported to C (via zk) — discussion

#c #zig

Google Wifi Pro: Glitching from Root to EL3: Part 1 - Characterization (via timschumi) — discussion

#hardware #reversing #security

Helix 25.07 Highlights (via dpassen) — discussion

#editors

Compiler bootstrapping in Nixpkgs (via puffnfresh) — discussion

#nix

Hazel: A live functional programming environment with typed holes (via azhenley) — discussion

#plt