SuperCollider – A platform for audio synthesis and algorithmic composition https://supercollider.github.io/
LaTeX.css — Make your website look like a LaTeX document https://latex.now.sh/#top
This helps us to remember that web was not built to sell you crap, spread disinformation, or goad us into fighting each other, it was built to share information and knowledge, to build community, and foster collaboration. The world would be a better place if the web’s original purpose had prevailed.
The Verge: Xbox and Windows NT 3.5 source code leaks online. https://www.theverge.com/2020/5/21/21265995/xbox-source-code-leak-original-console-windows-3-5
How-To Geek: How to Use tmux on Linux (and Why It’s Better Than Screen). https://www.howtogeek.com/671422/how-to-use-tmux-on-linux-and-why-its-better-than-screen/
Pandoc is an incredible command-line tool for converting documents between all manner of digital formats.
This 2-page cheat sheet provides you with common options and handy syntax for frequently used conversions.
Source: Cheat sheet: Pandoc
Pandoc is probably the best document conversion tool you’re not using. If you ever need to convert docs from one format to another Pandoc can handle it.
Android Police: 10 Android widgets that are actually useful. https://www.androidpolice.com/2020/05/08/10-android-widgets-that-are-actually-useful/
The Verge: Google Lens can now copy and paste handwritten notes to your computer. https://www.theverge.com/2020/5/7/21250556/google-lens-copy-paste-handwritten-notes-computer-phone-ios-android
Vitess | A database clustering system for horizontal scaling of MySQL https://vitess.io/
As schools and universities are shutting down around the globe due to COVID-19, many of us in academia are wondering how we can get up to speed and establish a stable workflow to get our podcasts, online lectures, and tutorials out there for our students. Open source software (OSS) has a key role to play in this situation for many reasons, including:
Continuous Integration (CI) workflows are considered a best practice these days. As in, you work with your version control system (Git), and as you do, CI is doing work for you like running tests, sending notifications, and deploying code. That last part is called Continuous Deployment (CD). But shipping code to a production server often requires paid services. With GitHub Actions, Continuous Deployment is free for everyone. Let’s explore how to set that up.