Cu3PO42

8 ms·

61.
by Cu3PO42 2y ago
What a strangely beautiful sight. While I was excited to see ship land, I'm also happy I get to see videos of this!
62.
by Cu3PO42 2y ago
This works as long as your Dockerfile is reasonably reproducible and does its best to lock dependencies. However, this approach has failed me a couple of times in the past. For example, I rebuilt a container some weeks later, in the meantim
63.
by Cu3PO42 2y ago
Anecdotally, I disagree. Since the release of the "new" 3.5 Sonnet, it has given me consistently better results than Copilot based on GPT-4o. I've been using LLMs as my rubber duck when I get stuck debugging something and hav
64.
by Cu3PO42 2y ago
That was a very in-depth reply and is very appreciated. One point I did not expect that core and alloc are not qualified yet. In any case, you motivated me to do some research of my own to fill in the gaps in my own understanding. What foll
65.
by Cu3PO42 2y ago
Thank you for the pointer! I will certainly consider TypeBox as well when the time comes to migrate.
66.
by Cu3PO42 2y ago
Zod has been a great boon to a project I've been working on. I get data from multiple sources where strong types cannot be generated and checking the schema of the response has caught a great number of errors early. Another feature tha
67.
by Cu3PO42 2y ago
I really appreciate your reply! > In the sense that there are a variety of requirements that need to be checked Does "requirement" in this context refer to the same thing as a particular ISO/EN/... standard? Or do you
68.
by Cu3PO42 2y ago
Ferrocene [0] exists today! I'm mainly interested in the space from the point of view of a theoretical computer scientist, so I'm not sure if there's additional boxes that need to be checked legally, but it's looking pr
69.
by Cu3PO42 2y ago
I use GitHub Copilot at work. We were (and still are) not allowed to use our private accounts, but recently got company accounts we are allowed to use on codebases classified "confidential" or lower. We also have an internal chat
70.
by Cu3PO42 2y ago
It is definitely available today and I believe it was available shortly after the announcement.
71.
by Cu3PO42 2y ago
Ultimately, I don't disagree. However, I also try to make it a habit to not blame people for not knowing something. This presents as a structural problem in that company: they needed to hire people who do know how to secure server code
72.
by Cu3PO42 2y ago
It seems like they implemented permission checks purely in the frontend, and not just on one endpoint, but almost everywhere. While it is conceptually easy to avoid this, I have seen similar mistakes much more frequently than I would like t
73.
by Cu3PO42 2y ago
I have recently used jd with great success for some manual snapshot testing. At $work we did a major refactor of $productBackend, so I saved API responses into files for the old and new implementation and used jd (with some jq pre-processin
74.
by Cu3PO42 2y ago
> I don't think so, at least at this point. Most people don't have hardware that requires HDMI 2.1 in order to get full use out of them, and of those who do, not all of them use Linux and/or care about open source drivers.
75.
by Cu3PO42 2y ago
I partially agree with you: not knowing what particular functions etc. do is one use case, another for me would be to detangle complicated control flow. Even if I can reason about each line individually, sometimes code is just complicated a
76.
by Cu3PO42 2y ago
My immediate instinct was to agree with you whole-heartedly. Then I remembered that Copilot has an "Explain this" button that I never click. Maybe this is because I'm just not used to it, maybe the workflow isn't good en
77.
by Cu3PO42 2y ago
When I saw the headline, I immediately thought "I bet this would go really well with ElectricSQL", so it's great to see this coming from you! The immediate DX is incredible and I'm itching to use PGLite (and ElectricSQL)
78.
by Cu3PO42 2y ago
Whether the name should be changed was a separate question and there was a slight majority in favor of changing it. Among respondents who favored changing the name, there were options that were more liked than disliked, but not by the entir
79.
by Cu3PO42 2y ago
I have no strong opinion on renaming the project as such and conducting a survey was surely one of the better ways to handle that question. However, one thing in their evaluation of alternative names sprung out at me: > No option receive
80.
by Cu3PO42 2y ago
At work, I have a large C++ codebase in which I can observe slowdowns of one order of magnitude or more with -O0 compared to -O3. And for many bugs it still takes 10 minutes of runtime to hit them, so not using optimizations just isn't
81.
by Cu3PO42 2y ago
Any games employing strong anti-cheat are unlikely to work without support from the vendor. Games that do not work are e.g. Fortnite, League of Legends, Valorant, Destiny 2, ARK 2, Trials Rising. Some of these may eventually be supported, o
82.
by Cu3PO42 2y ago
Many games work fine on Linux, and if you don't care about competitive online games, it's probably most games. I play games almost exclusively with friends these days and they tend to be those games that don't work on Linux,
83.
by Cu3PO42 2y ago
And a double 1.0 isn't the same as a rational 1/1. But I also didn't claim either of these things.
84.
by Cu3PO42 2y ago
Conceptually, yes, every integer is also a rational number. But they are represented as different objects. It's a bit like saying every int32 is also a double. Yes, every value of int32 fits into a double, but the bit pattern is differ
85.
by Cu3PO42 2y ago
I mean, yes, it was mandated, but I am decently confident a usable system would have emerged one way or the other. In Germany we had a standardized API for online banking (HBCI) just because banks agreed it would be reasonable to do that.
86.
by Cu3PO42 2y ago
Out of all of these, I've only tried Yabai. It's fine. Things mostly work like I expect them to and I rarely encounter a situation that isn't fixed by restarting Yabai. That said, I'm hardly a power user. I have not disa
87.
by Cu3PO42 2y ago
> The free software world wasn't meant to be like this, where you have to fight the OS/distro to get things to work the way you want. I'm of two minds about this. I get where you're coming from, but I also understand
88.
by Cu3PO42 2y ago
It is relatively easy to patch libadwaita to apply non-Adwaita themes. On the AUR, there's libadwaita-without-adwaita. I have applied the same patch on NixOS. It works just about as well as theming does in standard Gtk3 or 4. No compla
89.
by Cu3PO42 2y ago
Intel still fabs their own CPUs, their dedicated Xe graphics are made by TSMC, though. Nvidia 30-series was fabbed by Samsung. So there is some competition in the high-end space, but not much. All of these companies rely on buying lithograp
90.
by Cu3PO42 2y ago
I'd argue that if you know what Option.and_then does, you do know what a monad is. and_then, known as flat_map or bind in the generic case, is the quintessential operation of a monad. One of my biggest gripes with Rust (and other langu

More ›