Viewing profile — lapinot

Indeed, and based non-extensive, one sample approximate average testing, my own bank works like a charm on GOS.

In the error monad NaN = NaN (or Nothing = Nothing or None = None, depending on your terminology) because mathematical equality is an equivalence relation. There are many foundatio…

https://ocaml.org/manual/5.3/api/Int64.html

> just involves lecturing about the same material over and over again It doesn't, specifically not in primary education. Also definitely not for subjects with any kind of amount of…

And you can reliable type text without looking.

You forgot privacy invasive tracking.. I guess some people don't understand irony!

I beg to differ. Tried to use a kaios nokia 800 tough. Firefox/KaiOS using a stupid kind of webview for every UI, you get two consequences: first, everything is ugly: wrong padding…

> so not exactly the kind of thing you'd notice making a document By "user interface" I mean (like Martin, in the linked video) the surface language, the way you interact with TeX,…

The user interface / language design. See talk "LaTeX: It's Not You, It's Me" by Martin Haug (cofounder). TeX's language design is at the level of Basic's. Which is in fact not sur…

Speed and nice error messages in (La)TeX, and to some extent ease of programming, are entirely doomed because of fundamental design choices. Being based on unhygienic macro expansi…

This! My first actual project (besides some testing) has been my phd manuscript, and after ~2 days i actually had a tufte-style 1.5 column layout going, written from scratch. And i…

There are 3 syntactic modes in typst: markup, code and math. In markup, everything is literal, unless you put a `#` sigil like `#expr` in which case `expr` is parsed in code mode. …

Datalog is a nice query language but it is far more limited than prolog or general purpose logic programming.

Sure, but people don't owe them respect. illegal != immoral.

I'm gettin it now! :)

I guess you meant 2 operations and 3 laws?

I got interested into the hashgraph algorithm quite early and wrote a toy implementation in python (in fact discovering an error in the paper in the process). Unless something chan…

Always infuriating to see that people always focus on the his pre-70s (hardcore math) or post-80s period (borderline mysticism ramp up). In the 70s he was most politically active a…

Demonstrating how some languages and some compilers are bad at tasks such as writing constant-time crypto routines is fine. Concluding that all compilers and non-asm languages are …

Every heard about https://typst.app/ ?

> This has nothing to do with science and is really a point about the division of labor/economics. This is not a critic of the idea science, ie some kind of pursuit of knowledge us…

For a bit more background on Grothendieck's position on science, I've recently translated Grothendieck's talk on science at CERN, which was quite hard to find at some point: https:…

See other similar funny stuff like electric drill sound simulation using phaseplant: https://www.youtube.com/watch?v=R1Ifle4q7Tw

> Of the people who see your math paper, 90% will only read the title. Of those who read on, 90% will only read the abstract. Of those who go still further, 90% will read only the …