protoplancton

11 ms·

1. 1.▲
   by protoplancton 4mo ago

   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 deliberately choose and craft.
2. 2.▲
   by protoplancton 3y ago

   Except it's reportedly run at heavy losses atm https://www.theregister.com/2023/10/11/github_ai_copilot_mic...
3. 3.▲
   by protoplancton 3y ago

   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.
4. 4.▲
   Show HN: A journal / notes browser extension I made(github.com)

   1 points by protoplancton 3y ago|0 comments
5. 5.▲
   by protoplancton 3y ago

   You may find this handy https://github.com/sapristi/mmuxer :) (yes I'm the author)
6. 6.▲
   by protoplancton 3y ago

   Note: ipynb is not binary, it's plain text containing a json object
7. 7.▲
   by protoplancton 4y ago

   > 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 behaviours, monkey patching, typing wo
8. 8.▲
   by protoplancton 5y ago

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