moomin

37 ms·

721.
by moomin 2y ago
We could argue about the Go philosophy till the cows come home, but maybe it would be better to just consider that not having a nullable int makes modelling database tables painful.
722.
by moomin 2y ago
I am constantly criticising the C# community for not looking at other languages enough, but in this case it cuts both ways: C# has every feature mentioned here. Including a pretty good model for nullable.
723.
by moomin 2y ago
Yeah, and for better or for worse, it is the best arrangement. I remember ploughing through Alan Baker’s number theory book. You have to sit with a pencil and paper and convince yourself of half the steps, but you sure as hell know the mate
724.
by moomin 2y ago
I remain unconvinced that the relative punishments of the two categories is either pragmatic or fair, mind you.
725.
Why is Elon Musk's X struggling with technical problems?(bbc.co.uk)
7 points by moomin 2y ago|3 comments
726.
by moomin 2y ago
It’s enjoyable, but the writers basically had a really good idea for the start of a movie and then no idea of how it should develop from there.
727.
by moomin 2y ago
Honestly the current court is more of a Ritchie “trusting trust” scenario.
728.
by moomin 2y ago
Everyone loves open source, but they pay for commercial products. You deserve to be paid for your work and your product.
729.
by moomin 2y ago
In this case it’s pretty simple: they won’t be able to obtain geofence warrants in the future.
730.
by moomin 2y ago
I think it’s fine. Honestly I think there’s a lot more deep developers out there than broad developers. It’s just they don’t blog about depth the way broad developers blog about their shiny new toy.
731.
by moomin 2y ago
They work in VFX, so their primary concerns are getting enough sleep and being able to pay rent.
732.
by moomin 2y ago
My kid did a Minecraft coding group. It started with a mod that had a rollercoaster on it. They taught you how to to modify it in exercises. My kid tapped out pretty fast, I came to the conclusion they liked Minecraft, but the experience of
733.
by moomin 2y ago
Okay, here’s where I find it gets weird. Being rational means you’re a solution to a linear equation. sqrt(2) is irrational. Being algebraic means you you’re a solution to an algebraic equation. Pi is transcendental, which means it’s not on
734.
by moomin 2y ago
Sin and Cos are typically defined as “Here’s some weird infinite sums” from which they deduce the behaviours. Indeed, pi is typically defined in terms of the first positive zero of the sin function.
735.
by moomin 2y ago
I mean, they definitely don’t, but also the CDC shouldn’t be deleting those records. In finance everything, and I mean everything, has to be kept for seven years.
736.
by moomin 2y ago
We came up with a buzzword to market our product. The industry made this buzzword meaningless. Now we’re coming up with a new one. We’re sure the same thing won’t happen again.
737.
by moomin 2y ago
Given Boeing's track record, it's possible they'll return to be greeted by apes wearing suits.
738.
by moomin 2y ago
Well, that’s a confusing name to give your project.
739.
by moomin 2y ago
There are only two models of UB that are useful to compiler users: 1) This is a bad idea and refuse to compile. 2) Do something sensible and stable. Silently fail and generate impossible to predict code is a third model that is only of use
740.
by moomin 2y ago
Which is hilarious when you consider that the spec is that complex.
741.
by moomin 2y ago
No, a baby crying is often a duty. If you’re the only responsible adult, you need to deal with that. The only people who get to dodge that responsibility are ones with very supportive partners or enough disposable income to pay for a nanny.
742.
by moomin 2y ago
Indeed. Ptolemaic models of planetary movement work fine if you add enough variables.
743.
by moomin 2y ago
The thing I loved about Rudin’s book was that the start of it basically ignores the standard pedagogy and goes “Compact spaces go brrrr”
744.
by moomin 2y ago
The idea that what they’re doing is deliberately destructive and the idea that they’re playing are not mutually exclusive.
745.
by moomin 2y ago
Yeah, I’ve been thinking about this and there’s two problems you’ve illustrated: there’s the repeating bluff problem. That can be solved by simply saying you can’t submit the same move that has already been blocked this round. But that make
746.
by moomin 2y ago
There is a fascinating result about types that they have a one to one correspondence with proofs. Dependent type systems leverage that to the hilt.
747.
by moomin 2y ago
PrimeNumber is definitely possible in pretty much any dependent type language. Indeed, it would be pretty impossible to get any work done in Lean without it. TotalProgram: possible in some, not in others, I think.
748.
by moomin 2y ago
You’re right, it’s uneconomic to manipulate the vote this way. However, if recent history is anything to go by, the motivation here is political, not economic.
749.
by moomin 2y ago
The thing is, you read regulations, and they pretty much always tell you to do something, but it’s always heavily principle based. Companies are left with extraordinary leeway as to how these regulations are actually implemented.
750.
by moomin 2y ago
The only bone I’d pick with the article is blaming regulations. The regulations in question rarely say anything particularly boneheaded. Blanket compliance culture interprets those regulations in boneheaded ways. Because to do it any other

More ›