lapinot

8 ms·

1.
by lapinot 7mo ago
Indeed, and based non-extensive, one sample approximate average testing, my own bank works like a charm on GOS.
2.
by lapinot 11mo ago
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 foundational debates about equality, but whether or not it is an equi
3.
by lapinot 2y ago
https://ocaml.org/manual/5.3/api/Int64.html
4.
by lapinot 2y ago
> 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 practical work. Let's see.. foreign languages,
5.
by lapinot 2y ago
And you can reliable type text without looking.
6.
by lapinot 2y ago
You forgot privacy invasive tracking.. I guess some people don't understand irony!
7.
by lapinot 2y ago
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 everywhere, complex layout with non-integer number of
8.
by lapinot 2y ago
> 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, its syntax and how it presents itself to
9.
by lapinot 2y ago
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 surprising given the timefra
10.
by lapinot 2y ago
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 expansion means that there is only one way to evaluate (the slow wa
11.
by lapinot 2y ago
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 its probably like ~250 lines. There are some rough edges stil
12.
by lapinot 2y ago
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. In code mode everything is an identifier, as usual in progra
13.
by lapinot 2y ago
Datalog is a nice query language but it is far more limited than prolog or general purpose logic programming.
14.
by lapinot 2y ago
Sure, but people don't owe them respect. illegal != immoral.
15.
by lapinot 2y ago
I'm gettin it now! :)
16.
by lapinot 2y ago
I guess you meant 2 operations and 3 laws?
17.
by lapinot 2y ago
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 changed it's entirely useless for open-membership internet-
18.
by lapinot 2y ago
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 and _definitely_ not delirious in any sense of the word and i
19.
by lapinot 2y ago
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 bad is a non sequitur. Just because you don't want
20.
by lapinot 2y ago
Every heard about https://typst.app/ ?
21.
by lapinot 2y ago
> 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 using any reasonable means. It is a critic of the mode
22.
by lapinot 2y ago
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://github.com/Lapin0t/gro
23.
by lapinot 2y ago
See other similar funny stuff like electric drill sound simulation using phaseplant: https://www.youtube.com/watch?v=R1Ifle4q7Tw
24.
Will we continue scientific research? Alexander Grothendieck (1972)(github.com)
4 points by lapinot 2y ago|0 comments
25.
by lapinot 2y ago
> 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 introduction, and then quit. My personal experience is us
26.
by lapinot 3y ago
The tone is probably flamebait, but the content is on topic imho. 15 papers before getting a phd?! Being a phd myself and having serious issues with a lot of the academic practices, reading the title i thought i would identify with the auth
27.
by lapinot 3y ago
Depends on the "algorithm"! At this point "algorithm" in the context of social media doesn't mean anything sensible. A very common "algorithm" used to order messages in email inboxes is by "read/
28.
by lapinot 3y ago
The objectives of the CAP are very much industrial and monetary in their orientation, seeing agriculture as a resource extraction activity and definitely not as any kind of land or biodiversity management. First goal is particularly crispy
29.
by lapinot 3y ago
How is fighting against dark patterns, opaque and arbitrary moderation decisions (among other things) an attack on (your very american conception of) free speech?
30.
by lapinot 3y ago
Thanks for lecturing me about the web. As is pretty evident in this subthread, there are definitely people here on hn that seem to be overly sensitive to self-proclaimed policing. Once again one last time: my response was calling the parent

More ›