How to Make Automatic Supercuts [embedded content] I’ve been working on some long-needed updates to Videogrep, my command-line tool that automatically generates supercuts. These updates were motivated in part by a 10 week class I recently developed and taught at … Read more
I am very happy to say that I have recently received a generous grant from the Astera Institute to set up a small group to work on automatic theorem proving, in the first instance for about three years after which … Read more
In this blog, I will introduce my approach to automatic musical composition, including the theory, the algorithm, and a Python package implementation ch0p1n. What Is Automatic Composition? Automatic composition is using algorithms to generate music. As a trivial example, imagine … Read more
The A.R.M. (Automatic Ripping Machine) detects the insertion of an optical disc, identifies the type of media and autonomously performs the appropriate action: DVD / Blu-ray -> Rip with MakeMKV and Transcode with Handbrake Audio CD -> Rip and Encode … Read more
Automatic CPU speed & power optimizer for Linux based on active monitoring of laptop’s battery state, CPU usage, CPU temperature and system load. Ultimately allowing you to improve battery life without making any compromises. For tl;dr folks there’s a: Youtube: … Read more
Filippo Valsorda15 September 2021 The Go standard library provides crypto/tls, a robust implementation of Transport Layer Security (TLS), the most important security protocol on the Internet, and the fundamental component of HTTPS. In Go 1.17 we made its configuration easier, … Read more
Download PDF
If you have a cat, you know that sometimes his instincts push it to eat green eatable-looking plants, whatever they are, and whatever the consequences may be. Spoiler: most of the time, it will require manual cleanup by the humans … Read more