ogogmad

42 ms·

631.
by ogogmad 4y ago
I disagree. I think Latex will soon become legacy like Cobol. HTML and CSS basically do a lot more than Latex does - except for maths things - and are far more widely known, and far more forgiving. Also importantly, they support hyperlinks,
632.
by ogogmad 4y ago
The LaTeX formula language is a separate thing from the rest of LaTeX: It's become the standard for formulas. There are some editors that can speed up writing those formulas. Asciidoc also offers an alternative formula language.
633.
by ogogmad 4y ago
Asciidoc, TexMacs, LyX, reStructuredText, Markdown (admittedly, only ish). None of them have become the standard. But some of the ones above - though excluding Markdown - are a complete replacement. Actually, even Markdown stands a chance i
634.
by ogogmad 4y ago
In physics, it's \mathrm dx. In mathematics, it's dx.
635.
by ogogmad 4y ago
A TexMacs file can be opened up in any text editor. It's readable -- XML-like without quite being XML. Presumably, this can be used to work around some limitations of the WYSIWYG editor. I think LyX's file format is not as well-de
636.
by ogogmad 4y ago
Is there an equivalent of \NewCommand in TexMacs? I can't find anything by Googling.
637.
by ogogmad 4y ago
This is an empty dismissal.
638.
by ogogmad 4y ago
I like it when logic (broadly construed) is an emergent property of something more basic. Our ability to think logically may indeed be an accident. Examples of this within mathematical logic: In Intuitionistic Type Theory, logic emerges out
639.
by ogogmad 4y ago
For people who don't know the difference between cement, mortar and concrete: Cement is a substance used for producing mortar and concrete. It's never used on its own. It is a "binding agent". Note that the term "
640.
by ogogmad 4y ago
I'm not sure what you're asking. The article concerns what some scribes who lived 2000 years ago wrote in their own hand - not the veracity of their beliefs. Something is fake if they didn't write it but it was passed off as
641.
by ogogmad 4y ago
It's not the bible, it's the Dead Sea Scrolls.
642.
by ogogmad 4y ago
Thank you for this comment. I myself began to doubt whether any of the DSSes were real after reading the article, and your comment has assured me that they are. Additionally, those asides about the researcher's hobbies are indeed a tro
643.
by ogogmad 4y ago
So they weren't all found in the same cave. Surely, if they were, they would still all be in one place. What definition do we have for Dead Sea Scrolls? Is it any old papyrus scroll from circa 2000 years ago that's near the Dead S
644.
by ogogmad 4y ago
Lots of question marks: How do we know what's a forgery and what's not? Did someone take authentic originals and write additional text over them? Where do these forgeries come from? How are all of these fragments not in one place
645.
by ogogmad 4y ago
> correlation of .28 ... That's not exactly the trivial "4% less likely" effect in your caricature. You clearly don't know how to interpret correlation. A correlation of .28 is virtually uninformative. https:/&#
646.
by ogogmad 4y ago
Great username
647.
by ogogmad 4y ago
Linear types <- linear logic <- linear algebra. See here: See here: https://www.cs.bham.ac.uk/~drg/bll/steve.pdf There's also "affine logic" which riffs on the same thing.
648.
by ogogmad 4y ago
It's a troll. But not wrong. C treats computer memory as an array of bytes indexed by a pointer type that can take only finitely many values. If the pointer type can be cast losslessly to `long int` - which is usually understood to be
649.
by ogogmad 4y ago
That doesn't look like a direct substitute that covers every case.
650.
by ogogmad 4y ago
Being pedantic: This isn't true in Haskell, because list comprehensions can use pattern matching, while map+filter can't. heads :: [[a]] -> [a] heads xs = [y | (y:ys) <- xs] -- heads [[1],[],[2,3]] == [1,2] Doing
651.
by ogogmad 4y ago
I mean that it's typesafe.
652.
by ogogmad 4y ago
I doubt whatever you're doing is going to work in Rust or Go. Say that the length of your string is n, and the length of your regular expression is m. Isn't Regular Expression matching in those languages guaranteed O(m n) time?
653.
by ogogmad 4y ago
A crucial Christmas entertainment was the temporary government of the Lord of Misrule. At the royal court, in noble houses, Inns of Court and university colleges, Misrule presided, mocking and turning the world upside down. He even ha
654.
by ogogmad 4y ago
Surely, you can use Rust's enums for this.
655.
by ogogmad 4y ago
> The second greatest problem with Regexp is learning query optimisation: that's definitively complex but this new syntax doesn't even attempt solving that. Query optimisation is totally unnecessary if you use Rust's or Go
656.
by ogogmad 4y ago
Do you remember at least: . * | + ? ( ) This is 95% of it. After that, it's character classes and lazy matching. Character classes can often be given as ranges: [a-z] [A-Z] [0-9] ^ $ You can use the pipe | to combine then
657.
by ogogmad 4y ago
It would be amazing if there was something like this for Mishnaic Hebrew and Jewish Babylonian Aramaic. Classical Arabic too. Super helpful!
658.
by ogogmad 4y ago
> 11 Jul 91 - When I log into my Xenix system with my 110 baud teletype, both vi and Emacs are just too damn slow. They print useless messages like, ‘C-h for help’ and ‘“foo” File is read only’. So I use the editor that doesn't wast
659.
by ogogmad 4y ago
Ed is the right editor for a Unix simulation running inside a ChatGPT session.
660.
by ogogmad 4y ago
Why?

More ›