throw-qqqqq

7 ms·

61.
by throw-qqqqq 9mo ago
> Yes, this is a KDE/GTK issue, but this is also a real-world case I believe you when you say it. > Linux Greybeards, a hypothetical man with astute technical and sexual prowess No need to be snarky. I was speaking from my own Li
62.
by throw-qqqqq 9mo ago
You are using subjective claims to back an objective assertion… Windows is strictly quite a bit less configurable than Linux. You likely just know Windows better?
63.
by throw-qqqqq 9mo ago
> Will these issues with Linux ever be overcome? As a Linux user forced to run Windows at work, I only see issues with Windows ;) > I want to switch but I just don't feel confident Live distros make it very easy to dip your toes
64.
by throw-qqqqq 9mo ago
>> … desktop Linux still has rough edges … > My personal pet peeve is the GTK/Qt divide. Theming has an extra step, as you have to pick a matching theme for the other toolkit apps you inevitably end up using. Is this perhaps a
65.
by throw-qqqqq 9mo ago
> made around the time when French cars had the worst reputation A reputation well earned IMO… > There was no part on this which didn't get replaced during the scant few years he owned it, and it left him stranded like half a doz
66.
by throw-qqqqq 9mo ago
> and at least I can fix it! 100% this! I wrote this in another thread: https://news.ycombinator.com/context?id=46120975 > Openbox does everything I need it to. I don’t want Mac or Windows, they both suck in ways I ca
67.
by throw-qqqqq 9mo ago
> Also this car has only has 60hp. And it weighs less than half of the other two (less than a ton), so less power is needed. I agree though, the C15 is slower than the other two, but less than you’d perhaps think. I own a Citroën 2CV. It
68.
by throw-qqqqq 9mo ago
It’s very dependent on the type of work you end up doing IMO. Sort of like “which programming language should I learn?”. Not a great answer, I know..
69.
by throw-qqqqq 9mo ago
Denmark taxes unrealized gains in accumulating funds, unless they are on the “exception-list” (SKATs positivliste) or you use the tax advantaged “aktiesparekonto”. If you buy regular stocks in a regular brokerage account, you do not incur t
70.
by throw-qqqqq 9mo ago
There are methods of determining Worst Case Execution Time/WCET. I’ve been involved in real time embedded systems development, where that was a thing. But one tool (like TLA+) can’t realistically support all formalisms for all types of
71.
by throw-qqqqq 9mo ago
Well, my friends immediately assume I want some luxurious self-indulgent perpetual vacation/holiday-thing. They seem relieved when I explain it’s more of the perpetual weekend I’m aiming for: sleeping till I wake, reading, cooking, han
72.
by throw-qqqqq 9mo ago
Do you know a lot about the welfare situation/program in Denmark? The welfare program (kontanthjælp) is difficult to join and you are ineligible if your net worth exceeds 15.500 DKK (~€2000). From my point of view, you have to be very
73.
by throw-qqqqq 9mo ago
This is also my sentiment. I am saving up to retire early. If I mention this to friends, most look at me with big eyes and ask “But what will you spend your day on then!?” in a sceptical tone. I imagine they think I want to drink beers and
74.
by throw-qqqqq 9mo ago
> Now you need to ensure that your entire error path does not allocate or you have to deal with allocation errors in the error path as well And that is usually not too difficult in C (in my experience), where allocation is explicit. In C
75.
by throw-qqqqq 10mo ago
> Could this be due to how Windows vs Linux does process scheduling on CPUs with P- and E-cores? Had the same thought: I would also expect this to be an artifact of suboptimal scheduling on Linux or some otherwise unidentified issue. Lin
76.
by throw-qqqqq 10mo ago
Dude, when I move projects to GitHub I also often collapse everything into a single commit. I do this to avoid having to check e-mail addresses and names in commits - maybe I mistakenly made a commit from my work account etc. After the “ini
77.
by throw-qqqqq 10mo ago
He is a private man that does not like the spotlight IIUC. He refuses most requests for interviews, but they do exist. https://www.macplus.net/depeche-82364-interview-le-createur-... https://www.mo4tech.com/
78.
by throw-qqqqq 10mo ago
Interesting! .TXT has the opposite conclusion, that structured output improves performance: https://blog.dottxt.ai/say-what-you-mean.html https://blog.dottxt.ai/prompt-efficiency.html This also matches my o
79.
by throw-qqqqq 10mo ago
> To be honest the Roomba sucked I have an old Roomba (980 perhaps?) and laud it as one of my best appliances. It’s a work horse! We’re had it for five-six years and it still works great. Nowadays it sometimes needs to charge twice to fi
80.
by throw-qqqqq 10mo ago
“How a Psychiatrist Lost $400,000 on Gambling Apps” https://www.wsj.com/podcasts/the-journal/how-a-psychiatrist-... Most was lost at DraftKings’ casino apps though, not their sports betting.
81.
by throw-qqqqq 10mo ago
> I thought that smoking and bad dietary/exercise habits were the main factors While that is true, PM2.5 is still a major cause of lung cancer in non smokers, see e.g. https://pmc.ncbi.nlm.nih.gov/articles/PMC11
82.
by throw-qqqqq 10mo ago
Purely functional code is easier to test because of its referential transparency and lack of shared state. Haskell is also nice because of quickcheck.
83.
by throw-qqqqq 10mo ago
I would say KLEE is coolest, as it works on LLVM bitcode, so anything you can compile to that, you can verify. CBMC scales worse (best for smaller modules, not complete systems), but is also very capable. You can use both as general-purpose
84.
by throw-qqqqq 10mo ago
Smaller boats sure, but ocean going cargo vessels? There are some serious challenges! Try to approximate the area needed to generate e.g. 50MW propulsion. It would be measured in hectares.
85.
by throw-qqqqq 11mo ago
Not a native English speaker, no.
86.
by throw-qqqqq 11mo ago
Solid advice. Seeing how many here would pronounce it differently, I totally agree hahah
87.
by throw-qqqqq 11mo ago
Same in Danish FWIW. In English, I’d pronounce it very similar to “wonderful”.
88.
by throw-qqqqq 11mo ago
> I'm struggling to see why you think I acknowledged that my accusation was unfounded when I explained exactly why I think it's valid You literally wrote “yeah okay it’s an unfounded accusation”. I hope you can see why I though
89.
by throw-qqqqq 11mo ago
I can't give a good, covering answer without writing a wall of text, sorry in advance. CBMC and KLEE try to statically verify assertions in one of three outcomes: 1. Verified: No counter-example was found, that breaks the assertion(s).
90.
by throw-qqqqq 11mo ago
> yeah okay it's an unfounded accusation, but I don't understand how you're all not seeing Personally, I apologize for unfounded accusations. I think it would suit you to do the same, now that you’ve acknowledged it. What

More ›