ogogmad

41 ms·

361.
by ogogmad 2y ago
"Architect of computer intelligence" - I'm sure Church was an accomplished logician, but his contribution to "computer intelligence", which I imagine is supposed to mean AI/ML, is absolutely nil. On a separate
362.
by ogogmad 2y ago
> The long-term side effects of GLP-1 drugs are not well-studied I think it's been around for long enough (2017-2024 for Semaglutide), and there have been enough people taking it (tens of millions), that it's possible to start
363.
by ogogmad 2y ago
I learned mathematics the regular way. So you're wrong - and not just about this. > I see that you are desperately trying to distinguish "foundational" and "analysis" contexts from each other They literally are d
364.
by ogogmad 2y ago
I'll try one last time. > I think you are not a mathematician Guess again. > Example: Jellyfish is not a jelly and not a fish. Biologists have got it all wrong! You have a problem with reading comprehension. I never said any math
365.
by ogogmad 2y ago
You genuinely don't know what you're talking about. The word "function" means different things in different areas. So does the word "map" or "mapping". In analysis, what you personally call a "fu
366.
by ogogmad 2y ago
> What changes from subject to subject is what the underlying spaces of interest are. I'm not sure I understand what you mean here. I need some clarification. How does this have any bearing on whether functionals count as functions
367.
by ogogmad 2y ago
The situation is worse than I thought. The term "function", as used in foundations of mathematics, includes functionals as a special case. By contrast, the term "function", as used in mathematical analysis, explicitly
368.
by ogogmad 2y ago
The term "function" sadly means different things in different contexts. I feel like this whole thread is evidence of a need for reform in maths education from calculus up. I wouldn't be surprised if you understood all of th
369.
by ogogmad 2y ago
You need audio too. Saying that "TOMKAT" sounds like "tome cot" is wrong and confusing: [təʊm kɔt]? If you said that, no Russian would understand you. It's more like "tawm cut": [tom kat]. Use IPA. This st
370.
by ogogmad 2y ago
Do we have numbers? I'd like to take precautions, given the risk of ruining someone's vision or mental health permanently - instead of simply trusting someone's assurances.
371.
by ogogmad 2y ago
I think that the problem is that theoretical real analysis is often presented like it's nothing but a validation of things people already knew to be true -- but maybe it's not? The example you gave concerns differentiation. Differ
372.
by ogogmad 2y ago
You read "the specific contributory role of psychedelic drugs is unknown" from Wikipedia as "the relation to psychedelics is pretty murky"? Did you follow any of the links before you posted your comment? Most hallucino
373.
by ogogmad 2y ago
I agree that was over the top. I was motivated to exaggerate a bit to counter what I sometimes see as one-sided, breathless advocacy. HPPD exists, and as another poster said, it may be attributable to things like anxiety - so maybe not the
374.
by ogogmad 2y ago
Minimal? HPPD and DP/DR are incurable. When will psychedelics advocates be intellectually honest instead of being cultists and shills?
375.
by ogogmad 2y ago
>> In other words, God is just a monoid in the category of endofunctors‽ > Is this taken word by word from wikipedia? You're either very naive or explaining yourself very poorly.
376.
by ogogmad 2y ago
In module theory, which is a bit close to ZX, category theory gets used in a big way to calculate things: See left/right exact functors, co/contravariant functors, derived functors, the hom-tensor adjunction, etc. But!! I'm
377.
by ogogmad 2y ago
Yes it did, except all of those examples where it convincingly helped were super-advanced, very hard to comprehend, and lacking in non-niche applications to CS or physics. There is a category theory "school of thought" in certain
378.
by ogogmad 2y ago
Why do you think category theory makes it easier? That's one thing category theory does not do. How well do you understand the subject? There is a category theory "school of thought" in many subjects, which believes without
379.
by ogogmad 2y ago
Quantum computing is still a bit niche, no? And graphical notations already existed in physics and quantum computing, I believe. What does the category theory do here, except reformulate things that experts already understood, but in catego
380.
by ogogmad 2y ago
I think category theory is useful, but not yet in computing. I suspect it's hard if you don't really need it for anything. Do you really need to understand universal properties and adjoint functors and the Yoneda lemma? If you d
381.
by ogogmad 2y ago
> We seem to have discovered a new family of tools that help lossilly transform content or intent from one of these mediums to some others That's not what LLMs do. More like AI art.
382.
by ogogmad 2y ago
Why have subtyping when you have row polymorphism? It seems that there's enough overlap that you should pick one or the other.
383.
by ogogmad 2y ago
What counts as an OS is subjective. The concept has always been a growing snowball.
384.
by ogogmad 2y ago
I don't think "OS" means anything definitive. It's not 1960. Nowadays, it's a thousand separate things stuck together.
385.
by ogogmad 2y ago
I think he was talking about the query language.
386.
by ogogmad 2y ago
I feel like the rule against editorialising submissions makes it hard to say which this is interesting: You can find shortest paths in just four APL symbols. Change two of those symbols and you can solve systems of linear equations. Change
387.
Tropical Semiring in Dyalog APL(grahamenos.com)
6 points by ogogmad 2y ago|1 comments
388.
by ogogmad 2y ago
I'll bite: Why?
389.
Tropical Semirings in Dyalog APL(grahamenos.com)
3 points by ogogmad 2y ago|0 comments
390.
by ogogmad 2y ago
Nice idea. You could also have a Nobel prize in applied mathematics, perhaps? This would cover ML and physics. That said, your idea would make physicists less outraged.

More ›