Viewing profile — protoplancton

One can argue that mathematical facts are discovered, but the tools that allow us to find, express them and prove them, are mostly invented. This goes up to the axioms, that we can…

Except it's reportedly run at heavy losses atm https://www.theregister.com/2023/10/11/github_ai_copilot_mic...

Did you have a look at https://www.monitorix.org/ ? I'm not sure if it works on OpenWRT, but otherwise checks all the boxes.

Hello, I'd like to present, and have feedback on, a browser extension designed to take notes, and provide various small helpers. The extension is self-contained, using browser stor…

You may find this handy https://github.com/sapristi/mmuxer :) (yes I'm the author)

Note: ipynb is not binary, it's plain text containing a json object

> Python is on the side of "it's very easy to get it wrong" > Python is much harder to understand and debug in hairier codebases when you add metaclasses, weird backward compatible…

> As far as extending it beyond software... why? It is specific to the problems encountered in software. Well, it did appear _outside_ of software.