globuous

25 ms·

31.
by globuous 5y ago
That makes a lot more sense, all the usernames are green, unlike the posted link ;)
32.
by globuous 5y ago
Yeah, I switched to Dvorak a few years back, it was the worst experience in the world. Granted I had to fight against my qwerty reflexes
33.
An accessible introduction to type theory and implementing a type-checker(mukulrathi.com)
2 points by globuous 5y ago|0 comments
34.
by globuous 5y ago
Really really cool !! The example section is sweeeet, real nice work ;)
35.
by globuous 5y ago
> Most important is that most Italian words have emphasis on the second-to-last syllable Omg, that works like a charm hahaha. I just read some Italian (which I don’t speak) with this rule and I felt like I sounded Italian hahaha. Actuall
36.
by globuous 5y ago
Hoe it works out! But I’m not sure I understand how it works, so 13 hiv negative people not considered at risk of HIV are getting injected, how will they know if the vaccine works ? Wouldn’t you rather take two groups of people exposed to H
37.
by globuous 5y ago
Xavier Leroy, who is a big contributor to this project, was an INRIA senior researcher and was the main Ocaml développer. He’s got a lecture (in french) at the college de France where he introduces the formal verification of a basic compile
38.
by globuous 5y ago
I’m currently half way through life and fate (just finished the famous chapter where Liss has a conversation with Mostovskoi on the similarities between the USSR and Nazi germany). It’s truly an incredible book. In the first chapters, he de
39.
by globuous 5y ago
Or searching « latex color red » on Google at work when you’re looking for how to color text for your paper ;p
40.
by globuous 5y ago
I thought I would like commuting as I’d find time to read more, but commuting during rush out to and from work is the absolute worse. I don’t even have space to open a book. And the metros in Paris are every 2 minutes so you couldn’t safely
41.
by globuous 5y ago
For what it's worth, I was glad you shared your stack, was actually kinda curious ! Very nice website, thanks for sharing, hope you had a blast building it ;)
42.
by globuous 5y ago
Definitely! Otherwise it’s hard to keep track of how each “proof instructions” are manipulating the goals. Definitely give coqide or proofgeneral a try ! By the way, the first chapter is a very good introduction to what formal proving is ab
43.
by globuous 6y ago
My dad was working for a big oil company. He once told me a pretty funny story. The company had just switched CEOs, and the new CEO was walking around the office around 7:30pm, knocked on my dad's door and asked him "sir, are you
44.
by globuous 6y ago
Isn't it the same in ML though (using the same syntax in different contexts) ? Compare `| [a, b] => a + b` and `let my_list = [a, b]`. Same in JS, `let {a, b} = {a: 1, b: 2}` and `let d = {a, b}`. It's weird at first but then y
45.
by globuous 6y ago
Funny you use this example, the author's GH page says he's 16; in many countries he wouldn't be able to drink, event responsibly ^^
46.
by globuous 6y ago
Yes, that's exactly what I meant! Nice! Indeed, I had in mind a script I wrote just around that time and I guess the iPhone I was testing on was not fully updated. Just checked on my Safari on Big Sur and they do work now, sweet ! Shou
47.
by globuous 6y ago
* no compile time I've been using vanilla JS when not using Reason and it is pretty nice. I hate that safari does not support arrow function methods though (as they allow you to not have to bind `this` in the constructor). concerning y
48.
by globuous 6y ago
Generally speaking, I am pretty happy with the (small) syntax changes from Reason to Rescript [1]. No necessary semi-colon, arrays, object declaration & access. We can finally pattern match on arrays [2] which I think was not possible w
49.
by globuous 6y ago
Agreed, and I used to be a "tabber". I'm not sure you can indent lisp using tabs though. For instance, indentation of "let" and "let*" differ by a single space I believe.
50.
by globuous 6y ago
My grandpa's always removed branding from stuff he bought, he says "I'm not paying to advertise this brand", he's like that ;p
51.
by globuous 6y ago
Nice ! Native debugger :)
52.
by globuous 6y ago
Ocaml beginner here, didn't know you could restrict an Ocaml type to a string of a given length !! How would you go about that ?? Cheers :)
53.
by globuous 6y ago
Except from that though, it really looks like ocaml, which really makes me want to look into rust a little bit more :)
54.
by globuous 6y ago
Org mode is a better readme and a better notebook :)
55.
by globuous 6y ago
yeah, alt tab with many windows is a pain, but I've gotten use to just pressing alt tab, hovering my mouse over an app and releasing alt tab, I don't recall having to click. It's been great !
56.
by globuous 6y ago
That's hilarious ! Reminds me of the « french military victories » query that suggested « french military defeats » (which, as a Frenchman myself, pissed me off in a funny way :p)
57.
by globuous 6y ago
> Why isn't Netherlands mentioned btw? What semiconductors companies did Germany , France and Spain built so far? If market cap was relevant you'd be, in a parallel conversation, be able to say: > Why isn't Telsa menti
58.
by globuous 6y ago
That's insane ^^
59.
by globuous 6y ago
IIRC, at least in France, we're taught to underline book names when referencing them in a document. I think my teachers used to make me do that in writing as well ^^
60.
by globuous 6y ago
They like to do that with alcohol as well, scotch, bourbon, tennessee whiskey, champagne, cognac etc. I guess it's to protect producers. In a way, it's a nice protection against globalization. A microprocessor can be produced anyw

More ›