Viewing profile — globuous

What I missed most were let bindings ( https://ocaml.org/manual/5.3/bindingops.html ) ReasonML has custom operators that allows for manipulating monads somewhat sanely (>>= operato…

Looks very interesting, thanks for sharing! The pricing section is very informative btw, congrats to the author for sharing it

No way! I didn't know that was part of the standard! Very useful "trick" indeed, unless of course, the USB port is placed vertically...

AMD support would be amazing I get the boot concern, and the maintenance concern (!!!), but as you say, these models are already quite huge anyway :)

Interestingly, the last slide mentions: ``` Today: we are able to certify realistic bytecode compilers and abstract machines. Tomorrow: certification of optimizing native-code comp…

Is that not what you’d do? That sounds like an unusually useful review tbh.

If you liked war and peace, you should check out grossman’s life and fate, it’s WWII’s version, fantastic. And blacklisted by the soviet government because critical of it.

That's true, and I was impressed first time someone showed me that. But the cost of this luxury might not be worth it. Indeed, you mostly (only ?) communicate through an API. And i…

Yeah, there are some weird stuff in typescript, for instance, this typechecks class Animal {} class Dog extends Animal { woof() {} } class Cat extends Animal { meow() {} } let appe…

It looks like the randomness is generated at shuffle time and then maintained. You can check by hitting « fan » and then « flip » multiple times. It always returns the same card or…

A great tool is, believe it or not, Ocaml/Rescript!! I was tired not remembering how to name intervals, construct chords, my arpeggios and scales and what not. So I coded it to hel…

Niiiice ! So we should also be able to unit test ou components in pytest and debug them with PDB ? Gonna check this out real soon :) As a react dev turned django dev, I cannot wait…

I recall reading a funny article, by some guys at cornell if my memory does not fail me, that concluded that obesity rates were lower in europe because europeans would stop eating …

wow, this is cool, quotes are sourced! :)

Which was in itself the genius of this newton guy. It’s one thing to realise that objects falling accelerate. It’s another to realise that F=ma, and that this can model objects fal…

Unfortunately, you cannot install timescale on an rds, or I believe , other managed Postgres services : https://stackoverflow.com/a/67712962 .

I used your message as input to this website, and that's what I got :joy: Your dream reflects your inner desire to find a way to use GPT3 in a way that is both convincing and meani…

Ah ! Interesting ! I haven’t had the time to look, but is the org parser re written in ocaml or does is use emacs ? I’m wondering because I once had so many todos in so many files …

I've got a small XPS, it's just horrible. Mine's 11 months old, my "j" key is already coming off (thanks vim !), the speakers are so small my iphone's louder, the battery life is t…

If you buy them in France, I believe they do come with 3 pin chargers. They used to anyway. But yeah, their aluminium body used to sock me every so often with their 2 pin chargers …

True that. But I typed French on a qwerty for a while on Mac OS, and you « just » alt+e-e to do é or something. You get used to it. And on iPhones, I never actually hold « e » to s…

That’s the topic of my thesis ! Here’s some work by open ai doing exactly that ! :) https://arxiv.org/abs/2202.01344

I want to love async. But it’s a nightmare to debug. To this day I still cannot debug tortoise ORM. I dont understand why I can await so easily in my browsers JS console but not in…

Agreed! I would have used ML faminly languages. Of course, that implies learning ML before reading the book whereas C is definitely known by more developers as it’s been in all of …