soist

7 ms·

31.
by soist 2y ago
You made an incorrect assessment of a basic calculation in algebraic topology and claimed that it was correct. You didn't even look at what it was computing and simply looked at the final answer which lined up with the answer on Wikipe
32.
by soist 2y ago
The computer can't do anything other than arithmetic
33.
by soist 2y ago
TypeScript has a Turing complete type system so it's as powerful as it gets in terms of what can be expressed in the type system. As for learning and understanding what is going on with type systems in general you'll have to go th
34.
by soist 2y ago
No one at the commercial AI research labs knows what they're doing. As far as they are concerned there is nothing beyond gradient descent but it's accepted among academic researchers that gradient descent is insufficient for creat
35.
Nintendo will not use generative AI(gameworldobserver.com)
5 points by soist 2y ago|1 comments
36.
by soist 2y ago
Perfect demonstration of the psychopathic technocratic delusion. You really need to think through what you're actually suggesting.
37.
by soist 2y ago
Eventually people will realize any underdetermined system of equations has infinitely many solutions. Give me any open source AI model and I will beat any SOTA benchmark. Why am I so confident? Because curve fitting can be applied to any da
38.
by soist 2y ago
How do you define an imbalance and an intervention to "fix" them? It's important to use the correct terms to avoid biased frames and conclusions. In this case they're defining certain measurable features as anomalous amo
39.
Sulfur Dioxide(en.wikipedia.org)
2 points by soist 2y ago|1 comments
40.
by soist 2y ago
There used to be a company that tried to do this to directly generate electricity: eSolar ( https://www.cbsnews.com/news/an-interview-with-esolars-bill-... )
41.
Turning Nuclear Weapons into Nuclear Power (2017)(large.stanford.edu)
2 points by soist 2y ago|0 comments
42.
by soist 2y ago
How do they verify the output preserves semantics of the input?
43.
by soist 2y ago
Intentions are not reducible to computational implementation because intentions are not algorithms that can be implemented with digital circuits. What can be implemented with computers and digital circuits are deterministic signal processor
44.
by soist 2y ago
You're using circular logic. You are assuming all physical processes are computational and then concluding that the brain is a computer even though that's exactly what you assumed to begin with. I don't find this argument con
45.
by soist 2y ago
It's like asking if a probability distribution is truthful or a liar. It's a category error to speak about algorithms as if they had personal characteristics.
46.
by soist 2y ago
If OpenAI had an embedded python interpreter or for that matter an interpreter for lambda calculus or some other equally universal Turing machine then this approach would work but there are no LLMs with embedded symbolic interpreters. LLMs
47.
Basic Category Theory (2016)(arxiv.org)
2 points by soist 2y ago|0 comments
48.
by soist 2y ago
Good luck on your journey
49.
by soist 2y ago
No problem.
50.
by soist 2y ago
So what is your question? The standard definition of a topos spells out the structural constraints for subobject classifier, finite limits, and Cartesian closure. You can write out these definitions for the topos of sets and any "small
51.
by soist 2y ago
None of your examples are expressible in first order logic either. Those are all instances of mathematical structures which can be formalized in different toposes with different logics. Groups in the topos of sets are different from groups
52.
by soist 2y ago
The category of sets is a topos and can be expressed/presented with first order classical logic but the general logic of toposes is intuitionistic and non-classical. There is no single topos with a single logic, each topos has its own
53.
by soist 2y ago
The logic of toposes is higher order intuitionistic logic. The logic of higher toposes is presumed to be intensional dependent type theory. The best introduction to these logics is probably the homotopy type theory book.
54.
by soist 2y ago
Still doesn't make sense. So it's 100% after 20 years or does that mean if it doesn't happen in 20 years then it's never going to happen? In any case, these predictions have been happening for 50 years and it's alwa
55.
by soist 2y ago
Why isn't it 100%?
56.
Sheaf Theory Through Examples(direct.mit.edu)
73 points by soist 2y ago|39 comments
57.
A Vision for Betterment [video](youtube.com)
2 points by soist 2y ago|0 comments
58.
by soist 2y ago
I know that feel bro.
59.
by soist 2y ago
That's how the free market works. AI CEOs that deliver value to their shareholders will thrive while those that don't won't. Trust in the wisdom of the market and everything will be fine.
60.
by soist 2y ago
Rarely will you be in compliance after they flag your account. There are various agencies that oversee them so they'd rather get rid of any kind of liability like your business before the auditing agencies catch on and fine them. Every

More ›