I had ChatGPT build me a free PDF editor because I didn't trust it to change my files - it worked!

The smartest way to use AI may not be letting it touch your files, but asking it to write software that handles them safely - ...

How to get your files off an Android phone with a broken screen - for free

How to get your files off an Android phone with a broken screen - for free ...

Use Windows Sandbox and containers to test untrusted apps safely

Windows Sandbox acts as a digital safety net, allowing you to test untrusted apps in isolation and keep your system protected ...
GitHub

macOS tool to easily identify and get rid of big, unused files and folders in seconds.

Automatic cleaners only know about a fixed set of cache folders, and the decisions they make are limited to what they were preprogrammed for. ApexDisk finds and surfaces everything else they skip: ...
GitHub

Pono: A Flexible and Extensible SMT-Based Model Checker

Makai Mann, Ahmed Irfan, Florian Lonsing, Yahan Yang, Hongce Zhang, Kristopher Brown, Aarti Gupta, Clark W. Barrett: Pono: A Flexible and Extensible SMT-Based Model Checker. CAV 2021. Evaluated ...