ogogmad

48 ms·

781.
by ogogmad 4y ago
If they actually agree to let an unstable, anti-semitic [1], petulant bully [2] with no tech experience take over their platform, then doesn't that prove them to be rather stupid? They're really agreeing to let him be their boss?
782.
Global Convergence of Hessenberg Shifted QR I: Dynamics(arxiv.org)
5 points by ogogmad 4y ago|0 comments
783.
by ogogmad 4y ago
Is MWI (which appears to only assert that there is a wavefunction for the whole universe) a form of superdeterminism?
784.
by ogogmad 4y ago
Is it possible to have a quantum theory where there is no "measurement"? The universe simply evolves according to the Dirac or Shroedinger equations, and the phenomenon that we call measurement is an emergent, statistical property
785.
by ogogmad 4y ago
HoTT?
786.
by ogogmad 4y ago
> To use citations, the standard way is to use the `pandoc-citeproc` filter. I keep using this and finding problems. I actually need to integrate with Latex's existing citation libraries instead of using Pandoc's specific ones.
787.
by ogogmad 4y ago
> pandoc has great citation support Sure, on paper. Every time I use Pandoc, I have to look up how it works again, and I find it hard to get it working. I think it's hard to make it integrate with Bibtex/Natbib. > not sure w
788.
by ogogmad 4y ago
Texmacs could be that thing, depending on your definition of "text-based": https://www.texmacs.org/tmweb/manual/webman-format.en.html
789.
by ogogmad 4y ago
This doesn't support citations or macros. [edit] Maybe I'm referring to the VScode Markdown plugin. Are there editors for the above workflow?
790.
by ogogmad 4y ago
For superficial reasons, you're not allowed to make it look like you use Word.
791.
by ogogmad 4y ago
My issue with many Latex replacements is that doing citations is painful: Standard Markdown can't do them. Pandoc makes them really hard and confusing for some reason. VScode's Markdown dialect doesn't support them. Texmacs m
792.
‘Innocent is innocent, period’: Richard Glossip on facing execution again(theguardian.com)
3 points by ogogmad 4y ago|0 comments
793.
by ogogmad 4y ago
He's talking about the spelling not matching the pronunciation
794.
by ogogmad 4y ago
Oh, that's interesting. Thank you.
795.
by ogogmad 4y ago
It is much more likely that the preservation of literature had become less affordable following the collapse of the Western Roman Empire. In the past, books were written on perishable material and had to be copied down to survive. The copyi
796.
by ogogmad 4y ago
No. By "x" I mean some predicate. For instance, x is "men".
797.
by ogogmad 4y ago
> Stoic logic was much later than Aristotle. I think it got lost and largely forgotten after the collapse of the Western Roman Empire, while the Aristotelian system got preserved. Amusingly enough, one 19th century philosopher opined tha
798.
by ogogmad 4y ago
My understanding is that Aristotelian logic could only operate with statements of the form: - All x are y - Some x are y - Not all x are y - No x are y You could only substitute names for x and y, and there was no recursion. As
799.
by ogogmad 4y ago
[I wrote this yesterday, but didn't post it] Let's assume that mathematics is a job that follows the following rules: You use two languages: Predicate Logic and Natural Deduction. You use Predicate Logic to write claims like &quot
800.
by ogogmad 4y ago
I think he's talking about administration type jobs, or something.
801.
by ogogmad 4y ago
No, it wasn't. I'm sometimes not sure if philosophers understand Goedel's incompleteness theorem. What do you base your claim on? GIT is more a statement about the limitations of the proof-driven approach to mathematics than
802.
by ogogmad 4y ago
This is a brilliant comment. Thank you. Each in turn: Boole invented propositional logic. Peirce supposedly invented a lot, but got overlooked. Łukaiewicz, I'm not sure. Tarski employed quantifier elimination to prove the decidability
803.
by ogogmad 4y ago
> His most influential work was a mistake. Why? I think you're referring to Principia, which is a predecessor to Coq and Lean. While Coq and Lean don't use Principia's formalism, they do try and tackle the same problem. Wh
804.
by ogogmad 4y ago
Theoretical particle physics. This is yet another comment in bad faith, because you haven't read the article.
805.
by ogogmad 4y ago
> She also explains the ideas behind her views (which comes down to "particle physics are no longer useful") This comment is in bad faith. She says the problem is lack of progress since the 1970s. She claims that either: The th
806.
by ogogmad 4y ago
The parent comment is saying that the next scale of actually useful particle colliders might be outside of practical reach. Note that by "useful", I mean capable of discovering new physics. His comment is therefore in agreement wi
807.
Clozapine(en.wikipedia.org)
1 points by ogogmad 4y ago|0 comments
808.
by ogogmad 4y ago
Check out the accents in this video: https://youtu.be/Xv8Rb-E_Gw4?t=1516
809.
by ogogmad 4y ago
They can print Tether for free and use it to buy crypto. This pumps the price and then they can sell. Also, Tether is owned by Bitfinex, which enables them to print Tether to cover their own losses.
810.
by ogogmad 4y ago
It's not backed. Once the Tether scam unravels, it's not clear how badly it will affect Bitcoin's price. But it's going to be bad. There's a chance that Tether has been pumping BTC.

More ›