ViscountPenguin

13 ms·

91.
by ViscountPenguin 1y ago
I love SAT solvers, but way more underappreciated by software engineers are MILP solvers. MILPs (Mixed Integer Linear Programs) are basically sets of linear constraints, along with a linear optimization functions, where your variables can e
92.
by ViscountPenguin 1y ago
Removing the GIL really amounts to adding a bunch of concurrency code all over th cPython codebase. It kind of sucks tbh.
93.
by ViscountPenguin 1y ago
The hedonic treadmill really gets away from some people. I've had coworkers on 7 figures talk about how they couldn't possibly retire because the costs of living in (HCOL city) are far too high for that. When you dig down into it,
94.
by ViscountPenguin 1y ago
That would only be true if electricity prices also decay faster than 1/(time)^(1+epsilon).
95.
by ViscountPenguin 1y ago
Back in uni, we had to design a MIP program to solve flow, it was a nice and fun problem. Turns out you can save a lot of time and effort by just cutting infeasible solutions out one by one, and resuming the solver, as opposed to writing so
96.
by ViscountPenguin 1y ago
I suspect it won't be as much of an issue next gen, with Microsoft basically dropping out of the console market.
97.
by ViscountPenguin 1y ago
For me, it's mostly been in medical settings. I've had particular trouble with public health programs automatically signing me up under my child's last name. I don't know if my local healthcare catchment just has their s
98.
by ViscountPenguin 1y ago
As someone who has a different last name to my child, I constantly encounter really weird issues where people assume that I don't exist since "First name, Childs last name" doesn't exist in the database.
99.
by ViscountPenguin 1y ago
"iff" means "if and only if". It's common in mathematics.
100.
by ViscountPenguin 1y ago
You're welcome, I think!
101.
by ViscountPenguin 1y ago
You're almost certainly undersampling the people who put in great amounts of effort which didn't amount to anything. Deliberate practice might be neccessary, but it's not sufficient.
102.
by ViscountPenguin 1y ago
I prefer the modern pronunciation for the mild chuckle of hearing Antony Green talk about who won period blood every election.
103.
by ViscountPenguin 1y ago
"Grug" in this context basically just means a kind of simplistic caveperson-like mindset. For whatever reason, the sound "Grug" is associated with cavepeople in English.
104.
by ViscountPenguin 1y ago
I'm kind of mixed on this take. The country I come from (Australia) has a similar`ish racial makeup (about 70% white in Australia, vs about 63% in the USA), but I struggle to think of a similar set of values that ties us together. Nota
105.
by ViscountPenguin 1y ago
I actually agree that Norms and Traditions are important, but I don't think they have a functional link to the beliefs of historical figures. Norms are better understood, I think, in the same vein as oral tradition; passed down directl
106.
by ViscountPenguin 1y ago
As a non-american, I've never really understood appeals to the beliefs of the founding fathers tbh. It should really be irrelevant what a bunch of long dead people think. It's your country, the corpses of the founding fathers don&
107.
by ViscountPenguin 1y ago
Seems like it'd run a bit further than the invention of the internet then, right? Chomsky's Manufacturing Consent is scathing of the move to ad supported newspapers way back in the past, leading to the rise of companies like News
108.
by ViscountPenguin 1y ago
Plenty of complex tools have beaten simple ones, especially when it alleviates some other form of complexity. Version control beat handing around labelled floppies, despite being far more complex, since it's still easier than managing
109.
by ViscountPenguin 1y ago
When the price of gas is so much higher than solar, that hardly matters. No reason the data centre have to be in the US.
110.
by ViscountPenguin 1y ago
On Fedora you'll find it in: library/library/library/llibrary/liiiiiibrarrrary/llllliiiiibrary/hidden/hidden/hiding/you can’t find me/hidden/nope/never/hahahahereiam.file
111.
by ViscountPenguin 1y ago
Just got hit by a counterfeit good 2 days ago. Thank god it's finally ending.
112.
by ViscountPenguin 1y ago
Anecdotally, looking through the car windows of the miriad of lunatic drivers who've sped through zebra crossings without stopping at my local crossing, they're much more likely to be fiddling with their car screen than average.
113.
by ViscountPenguin 1y ago
Waymo is a small portion of Alphabets business, while cars are a massive portion of Tesla's. If waymo was seperated out from Alphabet maybe it's p/E would be that high.
114.
by ViscountPenguin 1y ago
Nah, the rest is pretty great aswell. Lest you go to gamedev hell by saying you dislike atan2
115.
by ViscountPenguin 1y ago
That has to be one of the most cursed functions that I've heard of in my life. Anything less than a call to ChatGPT is doomed to fail.
116.
by ViscountPenguin 1y ago
The majority of people reuse those bags, they're pretty great actually. Most people I know have slightly more expensive bags made out of fabric though.
117.
by ViscountPenguin 1y ago
The good regulator theorem makes that a little difficult.
118.
by ViscountPenguin 1y ago
Somehow I've never used trace points before, thanks!
119.
by ViscountPenguin 1y ago
I've had far better luck print debugging tricky race conditions than using a debugger. The only language where I've found a debugger particularly useful for race condition debugging is go, where it's a lot easier to synthetic
120.
by ViscountPenguin 1y ago
> Where is this entitlement coming from? They hide that behind some fictional persona, as if that changes anything. I hardly think a polite request is entitlement.

More ›