alex_smart

8 ms·

61.
by alex_smart 1y ago
Afaict, all the reporters used the newest available Ubuntu/Fedora/Arch.
62.
by alex_smart 1y ago
I thought you said everything should work seamlessly on any modern distro.
63.
by alex_smart 1y ago
And what is supported hardware here? What even is "support"?
64.
by alex_smart 1y ago
That was certainly not the case ~2 years ago, the last time I installed linux on a laptop. It also doesn't appear to be the case even now. I searched for laptops available in my country that fit my budget and for each laptop searched &
65.
by alex_smart 1y ago
That was certainly not the case ~2 years ago, the last time I installed linux on a laptop. It also doesn't appear to be the case even now. I searched for laptops available in my country that fit my budget and for each laptop searched &
66.
by alex_smart 1y ago
I don't need new reasons to hate Linux. Like I said, I have moved to macbooks as my personal computing device because of the better hardware. > solved a while ago Can not be the case because I was facing these issues less than a cou
67.
by alex_smart 1y ago
I preferred WSL to running linux directly even though I had no need for any windows only software. Not having to spend time configuring my computer to make basic things work like suspend/wake on lid down/up, battery life, hardwar
68.
by alex_smart 1y ago
I don't think Microsoft losing the mind share has anything to do with software. Macbooks are winning the laptop war because of superior hardware.
69.
by alex_smart 1y ago
> symptomatic of some sort of Stockholm syndrome I have since moved to macbooks for the hardware, but until not too long ago WSL was my linux "distro" of choice because I didn't want to spend time configuring my computer t
70.
by alex_smart 1y ago
https://xkcd.com/963/
71.
by alex_smart 2y ago
They are so completely different that it would be simpler if you explained what similarities you see between the two.
72.
by alex_smart 2y ago
I don’t get it. How could you be fsyncing the WAL in 600ns? What are the transactional guarantees that you are offering?
73.
by alex_smart 2y ago
>"it doesn't matter" != "code is correct" Fair. Despite the lengthy argument, I don't think our stances are all that drastically different. I am not saying that you shouldn't write tests. Just that th
74.
by alex_smart 2y ago
>You are the only one putting forward such an idea This was the very first comment you made that started this thread: >> If none of your tests fail then does it really matter?
75.
by alex_smart 2y ago
> But as they get larger you often can't keep track of every last piece simultaneously Sure, but then you divide the larger system into smaller components where each team is responsible for one or few of these individual pieces and
76.
by alex_smart 2y ago
>Tests not failing when your code does implies that you are missing test cases. In other words things are underspecified. I am really confused. Have you guys never written any multithreaded code? You can write the most disgusting thread-
77.
by alex_smart 2y ago
No, they are not. They are a cheap way of verifying that something hasn't gone wrong, not a proof of correctness. Tests failing implies the code is incorrect. Tests not failing does not imply that the code is correct.
78.
by alex_smart 2y ago
I obviously meant the code that you own and are responsible for.
79.
by alex_smart 2y ago
> If none of your tests fail then does it really matter? Yes. Absolutely. You don't believe your software is correct because your tests don't fail. You believe your software is correct because you have a mental model of your co
80.
by alex_smart 2y ago
> Squashing any error, strangeness and warning can be very expensive in some projects Strongly disagreed. Strange, unexpected behaviour of code is a warning sign that you have fallen short in defensive programming and you no longer have
81.
by alex_smart 2y ago
I have something almost identical, except for the `—-graph` part. That way I have the flexibility to get either the linear view or the graph view by adding that single flag.
82.
by alex_smart 2y ago
I can most confidently say that it is in fact actually option 2 that is the case. Absolutely a vast number of people are using ChatGPT exactly like what they were using Google for. Yes, the “chat” part of ChatGPT enables a kind of deep and
83.
by alex_smart 2y ago
> China has long banned US social media for likely the same reason. Sure, but most other countries haven't. Perhaps they should learn from these developments and start considering their options.
84.
by alex_smart 2y ago
All that is to say that the Malthusians are not just wrong, they are not even wrong.
85.
by alex_smart 2y ago
Is it even working for the developer though? Last I checked the server-side rendering performance for react based frameworks was somewhere like 200 pages per second? Is that something to be proud of as a developer?
86.
by alex_smart 2y ago
Whatever service you are using to host your website is not doing a very good job. Tiny <1kb assets are taking upto minutes to load.
87.
by alex_smart 2y ago
India being a notable exception. Modi got re-elected for a third term, although with a smaller majority.
88.
by alex_smart 2y ago
Nope, the usual way of reducing optimization problem is to ask the corresponding yes/no question - for some fixed value x, is the optimal value greater than x? If you can solve the decision problem, you can solve the optimization probl
89.
by alex_smart 2y ago
From the Definition section >A decision problem H is NP-hard when for every problem L in NP, there is a polynomial-time many-one reduction from L to H
90.
by alex_smart 2y ago
To whatever extent the shortest route question is not in NP, it is also not NP-hard. Both NP and NP-hard are defined for the class of decision problems.

More ›