7373737373

7 ms·

1.
by 7373737373 5d ago
People do: https://tcec-chess.com/
2.
by 7373737373 8d ago
Zuckerberg: They "trust me" Zuckerberg: Dumb fucks https://en.wikiquote.org/wiki/Mark_Zuckerberg
3.
by 7373737373 8d ago
Some mines are already heavily automated: https://youtube.com/watch?v=_Z9w-mUoUsY https://youtube.com/watch?v=SRuht0QIprs
4.
by 7373737373 9d ago
Technical solutions are insufficient for such disregard, the company needs to be sued out of existence, and laws made to prohibit and punish such behavior
5.
by 7373737373 16d ago
https://en.wikipedia.org/wiki/Z1_(computer) Playlist showcasing the current restoration work: https://youtube.com/playlist?list=PLtpOUadaBh31n6Pdscwhwopmh...
6.
by 7373737373 25d ago
It's ironic that the US might currently do better with a (constitutional monarchy) king, to serve as an ethical example of living and governance, and change the role of the president to more of a serving bureaucrat
7.
by 7373737373 27d ago
Closed source software could apply too, if the execution model supports it (e.g. WebAssembly). Just because the format is binary and "unreadable", its permissions (accessible functions) don't have to be
8.
by 7373737373 27d ago
That's why languages need sandboxing at runtime as well
9.
by 7373737373 28d ago
It's incredibly brainless and disrespectful
10.
by 7373737373 1mo ago
https://www.reuters.com/world/us-says-it-wouldnt-deliberatel... https://www.forbes.com/sites/antoniopequenoiv/2026/06/10/ant... https://www.washingtonpost.com/t
11.
by 7373737373 1mo ago
You didn't answer my question
12.
by 7373737373 1mo ago
How intelligent and autonomous does a murderbot have to become before you stop absolving its creator and seller from any responsibility?
13.
by 7373737373 1mo ago
Thou shalt not kill, that's all there is to it really If you provide tools that help an organization kill easier, and possibly lazily rely on your inaccurate tools' judgment, and you do not care about the outcomes of these tools&#
14.
by 7373737373 1mo ago
And maybe don't allow the military to use your AI WHEN YOU CAN'T TELL WHETHER IT WAS INVOLVED IN THE KILLING OF HUNDREDS OF SCHOOL CHILDREN
15.
by 7373737373 1mo ago
It's not even possible to delete one's account!
16.
by 7373737373 1mo ago
The oh so celebrated "Fake it till you make it" https://youtube.com/shorts/VpyLcfDsmNg
17.
by 7373737373 2mo ago
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/2015/10/imax-with-laser-supe
18.
by 7373737373 2mo ago
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?
19.
by 7373737373 2mo ago
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 Metamath Zero, MM1 compiles down to
20.
by 7373737373 2mo ago
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: $c wff $. $( we use this $constant as a type of
21.
by 7373737373 2mo ago
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 implementation 700,
22.
by 7373737373 2mo ago
Current LLMs behave very counterproductively around unsolved problems, especially if they learned that humans consider them difficult. This has many straight up preventing themselves from attempting anything ...
23.
by 7373737373 2mo ago
Similarly, I'd love to see LLMs create a formal proof of the https://en.wikipedia.org/wiki/Classification_of_finite_simpl...
24.
by 7373737373 2mo ago
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 embellishing, (also self-)congrat
25.
by 7373737373 2mo ago
https://youtube.com/watch?v=2tWQpJ8kR5U
26.
by 7373737373 2mo ago
https://youtube.com/watch?v=y549gDNLxQU
27.
by 7373737373 3mo ago
There exist Wasm interpreters capable of limiting the number of instructions executed.
28.
by 7373737373 3mo ago
What does it compress the full 1GB file to? http://prize.hutter1.net/
29.
by 7373737373 3mo ago
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 determinism, metered and controllabl
30.
by 7373737373 4mo ago
Noob question: why did they not choose to use WebAssembly in the kernel instead?

More ›