lou1306

72 ms·

841.
by lou1306 9y ago
The main selling point is that reduction and "boring simplicity" can lead to a formally correct program, or at least one where most errors are caught by static analysis/type checking/etc.
842.
by lou1306 9y ago
A tuple is just an ordered bag of elements. E.G. a graph is a tuple (V, E) where V (vertices) is a set and E (edges) is a binary relation between vertices. Defining stuff as tuples makes sense, because then you can define the set of all suc
843.
by lou1306 9y ago
More precisely, it relies on the assumption that (x > y) || (x == y) || (x < y) is true for all values x, y. But the semantics of the comparison operators lead to null > 0 || null == 0 || null < 0 being false and the whole hous
844.
by lou1306 9y ago
The only one I can think of is "gay", but it evolved from an euphemism and not a compound word. Anyway, this is a worrying trend. People are also starting to use "Cyber" instead of "Cyber security" , so.
845.
by lou1306 9y ago
This is some Silicon-Valley-the-HBO-show-grade stuff. I wonder whether the people designing these website still think they're being hip or they just have to cater to some blissfully unaware managers.
846.
by lou1306 9y ago
Even though it was not free until some years ago, the price was so ridicolous that people were happy to pay for the service.
847.
by lou1306 9y ago
Well, if what they want will harm them long term, why not?
848.
by lou1306 9y ago
I stand corrected; I was probably fooled by the naming. Still, in most contexts tuples are ordered while sets/bags are not.
849.
by lou1306 9y ago
Typically tuples are ordered lists of values. See Codd's relational model, Linda, Erlang, etc.
850.
by lou1306 9y ago
> When management finally released that the said deadlines could not be met, they hired really fast, and not carefully, a bunch of people [...] In the end it put us even more behind schedule than before. Nothing new under the sun. This i
851.
by lou1306 9y ago
> I love it, especially using structured data instead of text for the CLI and pipes Actually, that's a main selling point for Powershell. Commandlets take and return objects, which means common operations such as filtering, sorting
852.
by lou1306 9y ago
> You might call it "knowledge [and] collected bug fixes," but sometimes the crap is just crap. Key word here is "Sometimes". Reviewing code means you get to find out the reason these hacks were written in the first p
853.
by lou1306 9y ago
Windows 10 didn't add any UX feature? What about Task View (Win+Tab) and virtual desktops? And why bashing the Linux subsystem, which is surely not even developed by the UX team (so no waste of resources) and is a much needed feature f
854.
by lou1306 9y ago
As an aside... For those not in the know, the "author" of said book is a member of funk group Vulfpeck, which I highly recommend listening to.
855.
by lou1306 9y ago
> Somebody will blurt out an idea in a meeting, wait until someone else has developed it, and then rush in to take credit. I see what you mean, but this is mostly office politics, which is not very related to the academic citation proce
856.
by lou1306 9y ago
What? Leibniz/Newton introduced the concept of calculus; shouldn't we credit them with this (amazing) concept just because it wasn't formalized very well until Weierstrass came along?
857.
by lou1306 9y ago
Sure it can. As an example, d'Alembert "proved" the Fundamental Theorem of Algebra but based his work on some assumptions that made the proof incorrect. So did Euler. Correct proofs came much later thanks to Lagrange and (esp
858.
by lou1306 9y ago
And while I know we are an endangered species, I have to say their support for Windows 10 mobile is top notch. I find their app is better than Whatsapp. Too bad the network effect is a thing, and also their approach to crypto might put you
859.
by lou1306 9y ago
Also, this is beyond ridiculous. Have fun having those "private conversations" on a backdoor-riddled machine.
860.
by lou1306 9y ago
Calling it infamous would be an understatement. That thing single-handedly attached a negative connotation to the term "drone".
861.
by lou1306 9y ago
Well, if you consider "showing the world how buggy code can lead to financial disaster" a meaningful activity, then Ethereum is quickly becoming one of our proudest achievement.
862.
by lou1306 9y ago
Snipping Tool is way better at any screenshot-related task. And, er, you draw diagrams in Paint? Where you cannot even edit a damn text-box? [^1] Really? [^1]: https://answers.microsoft.com/en-us/windows/forum&#x
863.
by lou1306 9y ago
And MS Paint got laughed at for the best part of its lifecycle, and for good reasons too. But now that it's gone, everybody goes mad. Really, if you dig deep enough you might find people decrying the demise of f'ing Clippy. Well m
864.
by lou1306 9y ago
Ah, this reminds me of a lovely Mac-only thing that isn't featured in this article: you can drag and drop the little icon in the title bar! For instance, you have a PDF opened in Preview and want to send it? Just grab the icon and drop
865.
by lou1306 9y ago
Point 1.: True. Accented letters on Windows are needlessly difficult. Point 2: I actually prefer switching between all windows: on Mac I always have to Alt-Tab to the application and then use Expose to get the window I need. Furthermore, th
866.
by lou1306 9y ago
I don't see how you can "solve" the halting problem. But there are lots of ways to tiptoe around it and have some kind of formal verification of software.
867.
by lou1306 9y ago
This! A money exchange platform can't be both distributed and unrealiable. If PayPal screws up, at least you can call them and get a refund.
868.
by lou1306 9y ago
This, and another theory states that V is kind of similar to an open hand, i.e. five fingers, making it a convenient abbreviation. Consequently, X is just two V's joined at the vertex.
869.
by lou1306 9y ago
[Warning: spoilers ahead] > "Debugging is like being the detective in a crime movie where you are also the murderer." So, essentially Memento?
870.
by lou1306 9y ago
But these "hacks" are provably needed only in the reality we live in. Let's say we are in a simulation and the finite speed of light is just a hack... Then you are implying that, outside of the simulation, speed of light is

More ›