Viewing profile — 7373737373

It's not even possible to delete one's account!

The oh so celebrated "Fake it till you make it" https://youtube.com/shorts/VpyLcfDsmNg

I wonder when there will exist camera and (laser) projection systems - and with that, movies - that cover even more of the human visible color gamut https://arstechnica.com/gadgets…

Is it possible to have a website compute as efficiently and utilize the system it runs on as completely as a native application can? Or do browsers introduce limits?

How would you improve it? (Also note that this is not the language mathematicians actually work with - that's more like https://www.youtube.com/watch?v=b-RfoUuQpAQ ) Similarly, for…

My favorite minimalistic example of the Metamath base language (which higher level languages can compile down to), which, saved as, say, prop.mm can be verified with the verifier: …

Metamath's Python verifier - its trusted kernel - is just 700 lines of Python short: https://github.com/david-a-wheeler/mmverify.py/blob/master/m... Metamath Zero's Haskell impleme…

Current LLMs behave very counterproductively around unsolved problems, especially if they learned that humans consider them difficult. This has many straight up preventing themselv…

Similarly, I'd love to see LLMs create a formal proof of the https://en.wikipedia.org/wiki/Classification_of_finite_simpl...

More: rider, "x, not y", "is real", "prove" (in situations which only admit empirical evidence), nailed down, payoff, decisive, reassuring just generally a nauseating amount of emb…

https://youtube.com/watch?v=2tWQpJ8kR5U

https://youtube.com/watch?v=y549gDNLxQU

There exist Wasm interpreters capable of limiting the number of instructions executed.

What does it compress the full 1GB file to? http://prize.hutter1.net/

Feels like perhaps yet another https://en.wikipedia.org/wiki/Inner-platform_effect that would be unnecessary if popular programming languages/virtual machines already supported det…

Noob question: why did they not choose to use WebAssembly in the kernel instead?

See also: https://genode.org/ Also, in addition to isolation and https://en.wikipedia.org/wiki/Capability-based_security between processes, capability security within processes, se…

https://youtube.com/watch?v=oS4UWgHtRDw

Tanenbaum was right

Could use one of those metal detecting car trailers used in meteorite search, that might map out things pretty quickly I can't find it right now, but I think it was used in deserts…

Here he is as 9/11 happened: https://youtu.be/yD5ZSEzriLI?t=1435

It feels like companies, especially camera manufacturers, haven't realized the potential space exploration has for advertising their products

This has existed for a few months, but there aren't any reports of (unsuccessful) attempts: https://github.com/google-deepmind/formal-conjectures

Supreme Commander 2 savefiles appear to be a list of timestamped user interface inputs and unit commands

Why would you have to work harder when employers of jobs no one wants to do (for a given wage) have to either increase wages or embrace automation research and development (thereby…