c-cube

7 ms·

31.
by c-cube 2y ago
It's a bit weird to claim that "quantum", autonomous cars, and crypto are "underestimated". If anything they've been overhyped and totally failed to deliver actual value.
32.
by c-cube 2y ago
> nobody is hiring for htmx. It's an ideological technology rather than a practical one. Nobody is "hiring for" json either, or for git. Yet they are in incredibly wide use. The thing is, htmx isn't "the front-en
33.
by c-cube 2y ago
You know that the flu kills people too, right?
34.
by c-cube 2y ago
And the day the Google bot decides to close your account for obscure reasons, with no recourse, all you can do is stay in bed and starve cause all these things are now inaccessible to you ? Even if self driving actually happens, it'll
35.
by c-cube 2y ago
Ah yes, it's urgent... See this egregious case, in... 2016. That's how far back they had to look back for a compelling case to illustrate the urgency of this?
36.
by c-cube 2y ago
You sure seem very eager to taste Putin's boot.
37.
by c-cube 2y ago
If you're egalitarian, it makes sense to protest when copyright is abolished only for the rich corporations but not for actual people, don't you think? Part of the injustice here is that you can't get access to windows source
38.
by c-cube 3y ago
Now your description of "good prompts" to reuse has created an abomination in my mind. I blame you. The abomination: prompts being reused by way of yaml templating, a Helm chart of sorts but for LLM prompts. The delicious combinat
39.
by c-cube 3y ago
FIX is old and really not great. Some exchanges are trying to move, or have moved, to things like SBE which is a zero-copy binary format. Of course it also improves performance dramatically. So maybe that's not the best example :-)
40.
by c-cube 3y ago
I know it sounds crazy but sometimes people are genuinely worried about climate change and the environment. Not everything is astroturfing.
41.
by c-cube 3y ago
Your flipped argument doesn't work. Apple gets tons of money from... the people who buy the phones! The actual users! That they then consider these users to be a captive audience who can't be trusted to use the device they paid a
42.
by c-cube 3y ago
> keep cost low Have you seen the price of Apple devices?? They're anything but low. If Apple has to reduce a bit their margin because they lose their monopoly I won't be shedding tears for them.
43.
by c-cube 3y ago
It's also the case with OCaml, Elixir, clojure, etc. Non lazy languages can also have a rich collection of immutable data structures and have more predictable memory usage than Haskell. On the other hand, Go doesn't have a culture
44.
by c-cube 3y ago
Absolutely, I don't believe VR will revolutionize computing in the next 10 years. It already has had two chances of doing so. Like 3D screens it has a wow effect but isn't that much better given its very real downsides.
45.
by c-cube 3y ago
And what, pray tell, does view-source look like in typical SPA? Even in the debugger (if the beginner knows what that is), what will the minified bundle of 50 libraries look like?
46.
by c-cube 3y ago
Yeah I'm sure that none of the users of vscode, github, Excel, or windows will have any problem with moving on. That's always a trivial, frictionless process.
47.
by c-cube 3y ago
That's called anecdote. If you're a skilled immigrant working in tech, you'll probably have excellent healthcare coverage through your employer. This isn't the case for dozen of millions of americans.
48.
by c-cube 3y ago
Physics has a simple form of types, namely units. Checking units at the end of solving a problem was emphasized by every physics professor I ever had. As for dependent types, they're only one of the ways to express mathematical propert
49.
by c-cube 3y ago
It's related to hypermedia though? The whole point is to go back to servers returning hypermedia (ie html) instead of json. How is that not related?
50.
by c-cube 3y ago
It seems to be maybe a bit less compact in terms of absolute number of bytes, but faster to parse. That is, parsing is just one-pass validation, and then data can be read directly from the buffer without an intermediate structure, with rand
51.
by c-cube 3y ago
Bravo for this accomplished display of victim blaming. If only pesky pedestrians stopped trying to get around on foot and got into their own private steel boxes, they'd be safer!
52.
by c-cube 3y ago
And you'll have to fact check every answer to make sure it's not a "hallucination".
53.
by c-cube 3y ago
I have to use gmail for work, and I use the html version. It doesn't eat hundreds of MBs of ram or slow down my browser like, say, Google cloud's UI does. Ymmv. (of course the html version is not as good as a non webmail would be.
54.
by c-cube 3y ago
I agree that the treatment of alpha equivalence might not be the best. Isabelle/HOL has pattern unification which makes it easier. For the type variables: it's a matter of taste! I prefer it this way, and it's quite useful if
55.
by c-cube 3y ago
The problem with your argument is that swift is not, and cannot be, a replacement for C++. At best it can be an alternative for some programs, and on macOS only; for the rest of the world it's not very useful. And rust is great but the
56.
by c-cube 3y ago
If you want something as simple as possible, look at HOL and similar simple logics! CIC is powerful but it's also quite complex in comparison. Proof assistants based on HOL are plenty and they're definitely usable (see Isabelle&#x
57.
by c-cube 3y ago
> You can also choose how many and why type of cars to have See that's an interesting example. In most places in the US[^1] you have no realistic choice but to have at least 1 car per adult in the household. That's not quite th
58.
by c-cube 3y ago
You might also want to look at https://typst.app/ .
59.
by c-cube 3y ago
The earlier part tries to write, gets `0` or `-1` with an error, concludes the pipe is closed, and exits? The doc for `write` even specifies the error code `EPIPE` that is set alongside with the `SIGPIPE`. Why the signal, when it's red
60.
by c-cube 3y ago
I'm surprised that SIGPIPE is not mentioned (and barely present in comments). It's 90% of why I'm scared of signals and every time I write something mixing IO and threads it eventually rears its disgusting head. Can someone s

More ›