protoplancton

2 เดือนที่ผ่านมาdiscuss

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.

protoplancton

3 ปีที่แล้วdiscuss

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

protoplancton

3 ปีที่แล้วdiscuss

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.

protoplancton

3 ปีที่แล้วdiscuss

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

protoplancton

3 ปีที่แล้วdiscuss

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

protoplancton

Submissions

Show HN: A journal / notes browser extension I made

comments