ogogmad

34 ms·

481.
by ogogmad 3y ago
There's likely some work in the direction of numerical analysis, computable analysis, and formal logic -- all of which tries to make numerical programming more rigorous -- which might also address some of the philosophical unease peopl
482.
by ogogmad 3y ago
For that reason, TFA said Desktop Linux, in order to avoid "pedanticism [sic]".
483.
by ogogmad 3y ago
These stories don't fit your description: https://nitter.cz/btselem/status/1719647751573524878#m https://www.timesofisrael.com/settlers-rampage-through-pales... Both Israel and Palestine were
484.
by ogogmad 3y ago
Thanks for sharing this. Looking into Kedumim Settlement.
485.
by ogogmad 3y ago
Why would we ever need 128-bit CPUs? I remember the PS2 had something like that (with details and caveats I don't understand), but subsequent games consoles went back to a more usual register size: https://en.wikipedia.org&#
486.
by ogogmad 3y ago
Oh dear God. The BB function is uncomputable precisely because of the halting problem, which you think is a "logical trick".
487.
by ogogmad 3y ago
> At least with busy beaver numbers there isn’t some stupid paradox, we just can’t practically solve them. No! In computability theory we work with Turing Machines that have unlimited memory. Since they have unlimited memory, the sizes
488.
by ogogmad 3y ago
> No, the idea of incalculable simply means that it can’t be enumerated using one program. As humans we can write different programs and it’s fine. I'm getting frustrated reading your comments. LLMs show that human beings are likely
489.
by ogogmad 3y ago
That's an irrelevant example because your f(n) does not have a self-contained mathematical definition.
490.
by ogogmad 3y ago
I posted this because I think this is an important consideration in the debate about the benefits and drawbacks of psychedelics.
491.
by ogogmad 3y ago
If you don't mind me asking, did you ever take LSD again?
492.
HPPD (Hallucinogen Persisting Perception Disorder)(en.wikipedia.org)
3 points by ogogmad 3y ago|1 comments
493.
by ogogmad 3y ago
There was a poll on the HPPD subreddit* which showed that more than half of people there got it from less than 5 uses of a psychedelic. But people there also seem to mix drugs, like cannabis with LSD. * Admittedly, the people there have i
494.
by ogogmad 3y ago
Anxiety disorders are highly correlated with serious HPPD. I'm afraid to say that I'm not sure this is responsible advice, given the possible risk. It would nice to get more data about HPPD to understand its prevalence and risk fa
495.
by ogogmad 3y ago
Tangential, but people interested in trying psychedelics should read about HPPD: Hallucinogen-(Induced) Persisting Perception Disorder. It is a potentially debilitating and long-lasting side effect of using hallucinogenic drugs which can ca
496.
by ogogmad 3y ago
Why do you think it's only that? I've seen a lot of dismissive comments on AI articles that were shown to misunderstand or underappreciate the article.
497.
by ogogmad 3y ago
Translation-specialised models like Google Translate don't actually understand what they're translating. But models like GPT do. This fact is intuitive and easy for anyone to test.
498.
by ogogmad 3y ago
How does this compare to Sympy? Can't find an equivalent to Sympy's solve() in the documentation.
499.
Julia Symbolics Library(juliasymbolics.org)
1 points by ogogmad 3y ago|1 comments
500.
by ogogmad 3y ago
Dark web markets absolutely still exist. The traceability problem is at least partially solved using mixers. I don't know everything there is to know here, like how easy it is to get back fiat.
501.
by ogogmad 3y ago
A single computer in a museum would be vulnerable to 51% attacks. It would also be too illiquid to recoup costs.
502.
by ogogmad 3y ago
That might be one of those things that works well in the short term but may also have severe tail risks. I heard a similar story about an algorithmic stablecoin called Luna (I think). The analogue of difficulty adjustments there worked fine
503.
by ogogmad 3y ago
At the moment, you can buy drugs with it online. Don't know if that will last, though.
504.
by ogogmad 3y ago
It needs energy to be expended continuously in mining it, if it uses PoW. So it might end one day.
505.
by ogogmad 3y ago
> In nations with extreme abundance, it should be trivial to solve problems of homelessness and hunger. We have the means, but capitalism says "no, people must not be allowed to survive without working for others". There's
506.
by ogogmad 3y ago
Cubical Agda is an example of a "programming language" which uses HoTT features: https://agda.readthedocs.io/en/v2.6.0/language/cubical.html It's actually a proof assistant, but you can still w
507.
by ogogmad 3y ago
That might partially be true, but GA can mostly be given an API that hides the gory and confusing algebra. This is actually quite a natural thing to do. The idea is pretty much that in 3D you can begin with reflections through planes, which
508.
by ogogmad 3y ago
This makes me better appreciate why Homotopy Type Theory might be useful in a type system: It allows for a simple but inefficient version of a type to coexist with a faster variant of that type. The type system could be made aware that thos
509.
by ogogmad 3y ago
In a dependently typed language, these would be different sigma types. Specialisations of functions to them, and the corresponding proofs of correctness, could be computed automatically over these sigma types, likely using techniques in aut
510.
by ogogmad 3y ago
> The existence of seL4 and its ability to be used in real projects certainly proves that formal methods has been effectively used to improve safety and security in shipping products, which was the question you asked if I understood it

More ›