globuous

5 ms·

1.
by globuous 1y ago
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 (>>= operators and whatnot). rescript (re
2.
by globuous 3y ago
Looks very interesting, thanks for sharing! The pricing section is very informative btw, congrats to the author for sharing it
3.
by globuous 3y ago
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...
4.
by globuous 3y ago
AMD support would be amazing <3 I get the boot concern, and the maintenance concern (!!!), but as you say, these models are already quite huge anyway :)
5.
by globuous 3y ago
Interestingly, the last slide mentions: ``` Today: we are able to certify realistic bytecode compilers and abstract machines. Tomorrow: certification of optimizing native-code compilers? ``` Xavier Leroy actually got the ACM Software System
6.
by globuous 3y ago
Is that not what you’d do? That sounds like an unusually useful review tbh.
7.
by globuous 3y ago
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.
8.
by globuous 3y ago
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 if it's properly documented, which is now essential
9.
JupyterCAD – A JupyterLab extension for 3D geometry modeling(github.com)
4 points by globuous 3y ago|0 comments
10.
by globuous 3y ago
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 append_animals = (a
11.
by globuous 3y ago
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 order between shuffles which seems to imply that it’s maintain
12.
by globuous 3y ago
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 help me figure all of that out. I also wanted a frontend
13.
by globuous 4y ago
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 to get my hands on this! Edit: how come the counter example
14.
by globuous 4y ago
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 when they weren't hungry anymore. Whereas americans wou
15.
by globuous 4y ago
wow, this is cool, quotes are sourced! :)
16.
by globuous 4y ago
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 falling as well as a bunch of other things. Surely da Vinci was
17.
by globuous 4y ago
Unfortunately, you cannot install timescale on an rds, or I believe , other managed Postgres services : https://stackoverflow.com/a/67712962 .
18.
by globuous 4y ago
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 meaningful. You feel that there is a gap in the industry for
19.
by globuous 4y ago
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 that it would cripple my org todos when I opened them. I act
20.
by globuous 4y ago
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 terrible and I've already
21.
by globuous 4y ago
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 in the us. Was always kinda surprised they never sold 3 pin
22.
by globuous 4y ago
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 show the accents, their system figures out the accents. Altho
23.
by globuous 4y ago
That’s the topic of my thesis ! Here’s some work by open ai doing exactly that ! :) https://arxiv.org/abs/2202.01344
24.
by globuous 4y ago
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 pdb.
25.
by globuous 4y ago
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 our courses
26.
by globuous 4y ago
This is just insane. The image to the prompt "A dog looking curiously in the mirror, in digital style" shows a cat looking into a mirror and seeing a dog as itself! Although very creative and "objectively funny" (may cat
27.
by globuous 4y ago
I bought a pixel 4a last year, six months later, it stopped reading my sim. Got it replaced, but had to mail it to Google and was out of a phone for 10 days...
28.
by globuous 4y ago
True that! It was eye opening once I understood that! Here's a basic type system I made in Python for a small smart contract language compiler I'm working on. It works with mypy pretty flawlessly! [1] I still haven't figured
29.
by globuous 4y ago
What's surprising though, is that APs and similar exams are not enough. In the UK, I though they essentially looked at A Level results, which are much more representative of what you'll actually study at uni. But I guess both SAT&
30.
by globuous 5y ago
Are python type annotations enforced at runtime ? I'm pretty sure they're not

More ›