notes
notes copied to clipboard
void4
Notes, Questions, Ideas
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...
Besides the common Finite State Machines and Virtual Machines that drive many game agents, there are systems that fare much better in dynamic environments and display interesting emergent behavior: GOAP...
(How) is it possible to optimize problems like these: https://qewasd.com (https://github.com/void4/qewasd)? https://www.reddit.com/r/CasualMath/comments/hvuw4w/optimal_cookie_clicker_strategies/ The most generalized case seems to mirror - https://en.m.wikipedia.org/wiki/Busy_beaver - https://en.wikipedia.org/wiki/Halting_problem - https://en.wikipedia.org/wiki/Rice%27s_theorem - https://en.wikipedia.org/wiki/Boolean_satisfiability_problem especially if there...
In resource metering systems, getting resources to the edges of the system is always more expensive than getting it more directly from the source (e.g. in KeyKOS, the prime meters)....
Music: http://everynoise.com Wikipedia: https://wikiscape.org Philosophy: https://www.youtube.com/watch?v=YxBShJU_CKs
It was noted that while IOT devices may have asymmetric crypto-based identifiers, it is still necessary to be sure whether the addressed device is the actual *physical* device that one...