Paul Brainerd, founder of Aldus PageMaker, has died(blog.adafruit.com)126 points by fortran77 7 months ago | 26 comments
California's new bill requires DOJ-approved 3D printers that report themselves(blog.adafruit.com)233 points by fortran77 8 months ago | 281 comments
Finding forall-exists Hyperbugs using Symbolic Execution(dl.acm.org)41 points by todsacerdoti 8 months ago | 2 comments
The Science of Detecting LLM-Generated Text (2024)(dl.acm.org)40 points by vinhnx 7 months ago | 17 comments
An Analysis of User-Space Idle State Instructions on x86 Processors(dl.acm.org)20 points by blakepelton 7 months ago | 3 comments
Inventing the Lisa user interface – Interactions(dl.acm.org)39 points by rbanffy 8 months ago | 2 comments
