void4
void4
https://wikiscape.org (currently offline, big picture here: https://ibb.co/mJN3DM5) https://github.com/void4/wikiscape --- I really like https://paperscape.org So far, I've tried 3 times to use their code to layout and graph the entire Wikipedia....
Now live at **https://rlc-chess.com** ! It would be nice if there existed a crossover of [demoscene competitions](http://www.pouet.net/prodlist.php) or [Dwitter](https://www.dwitter.net/) (which focus on achieving the maximum effect with minimum resources) and...
- executables, (.exes, .coms, .wasm binaries) - network packets (tcp packets etc.) - image file formats (png, jpg, webp...) - ... There's probably an exact way to calculate this, but...
A system that lets anyone set bounties on conjectures and automatically rewards their proof. ## Background There are several reasons why I'm very interested in this kind of survey/system specifically:...
Given a [rewriting system](https://en.wikipedia.org/wiki/Rewriting), in which circumstances can properties of derivations/proofs be estimated in advance, before knowing anything else about the derivation? Derivations are of a specific length, some derivations...
Naming a proof (theorem)/defining a short reference to a longer thing (proof tree, token sequence...) gives one the ability to make the proofs that depend on them shorter. Like a...
https://twitter.com/dd4ta/status/1323924686997245952 https://www.reddit.com/r/math/comments/jndvsp/most_wanted_conjectures_survey_results/
It would be interesting to put a [Metamath](http://us.metamath.org/) proof verifier on the Ethereum chain. This would allow anyone to set ETH/ERC20/ERC721/arbitrary other rewards on the solution of open problems. ###...
Through symbols, and person-independent, abstract notions such as the _office_, and a fundamental reliance on documents which define the structure of the organisation: Companies: https://de.wikipedia.org/wiki/Qualit%C3%A4tsmanagementhandbuch https://de.wikipedia.org/wiki/Qualit%C3%A4tsmanagementnorm#EN_ISO_9001 Bureaucratic states: https://de.wikipedia.org/wiki/Gesch%C3%A4ftsverteilungsplan Military:...
Time dilation and black hole formation: Can they ever exist from an external observers' perspective?
https://physics.stackexchange.com/questions/5031/can-black-holes-form-in-a-finite-amount-of-time https://physics.stackexchange.com/questions/21319/how-can-anything-ever-fall-into-a-black-hole-as-seen-from-an-outside-observer >[...] this red-shifting towards undetectability happens very quickly. [...] the black-hole-with-an-essentially-undetectable-object-just-outside-its-event-horizon is a very good approximation to a black hole of a slightly larger mass. It's important to...