tux3

20 ms·

331.
by tux3 1y ago
Sorry, I see this has caused some confusion, I should have clarified in my comment. I was responding to the section by Lao Feng at the end, where their conclusion tries to make the case for Pigsty and self-hosted pg.
332.
by tux3 1y ago
Horror stories stick with me more than success stories, but I'm happy to take the feedback. I'm glad it went well for you, that's a small update for me.
333.
by tux3 1y ago
I think managing stateless infrastructure is much easier, if anything goes haywire you can expect a readiness probe to fail, k8s quietly takes down the instance, and life continues with no downtime. It is also perfectly possible to roll you
334.
by tux3 1y ago
That sounds like chaos engineering with extra steps! Have the AI randomly tweak your DB, and see if your infra holds up? :)
335.
by tux3 1y ago
JOSE/JWK is indeed some galactically overengineered piece of spec, but the rest seems.. fine? There are private keys and hash functions involved. But base64url and json aren't the worst web crimes to have been inflicted upon us. I
336.
by tux3 1y ago
Self-hosting postgres is appealing from a flexibility standpoint (don't be locked out of superuser or advanced features), but it sounds a little bit nerve wracking. I'm now hoping all the cloud providers read this article and star
337.
by tux3 1y ago
A simpler reason why it fails: You always need more energy. Every sort of development seems to correlate with energy use. You don't explore for the sake of learning something about another floating rock in space, you explore because th
338.
by tux3 1y ago
I don't think putting them in the real world during training is a short-term goal, so you won't find this satisfying, but I would be perfectly okay with leaving that for later. If we can reach AI coders that are superhuman at self
339.
by tux3 1y ago
You can perfectly try things and learn without being embodied. The analogy to how humans learn only goes so far, it's myopic to think anything else is impossible. It's already happening. The situation today is any benchmark you co
340.
by tux3 1y ago
And there's more where that came from. This particular sausage is made with tragically messed up incentives, and people will naturally always optimize the framework you put them in. Thankfully the scientific process is incredibly resil
341.
by tux3 1y ago
Firefox already has something similar natively, but it's not enabled by default. If you turn on the new sidebar they have an AI panel, which basically looks like an iframe to the Claude/OAI/Gemini/etc chat interface. Dif
342.
by tux3 1y ago
1 + 3 and 3 + 1 are the same partition of 4, because it's a sum with the same two numbers. The order of the 1 and the 3 doesn't matter for partitions. But that's two compositions. I think this article could really use more ap
343.
by tux3 1y ago
I think this is intended as educational material, not a list of things to fix. The locks are here by necessity, it is not so easy at all to get rid of them. And even in special cases where it is possible, the complexity you have to introduc
344.
by tux3 1y ago
It has already been tried without a reward, there are dedicated channels where you can go to request or fulfill requests (e.g. Nexus has these). But it's a bit of an endless chore for a person to do, there are always more requests comi
345.
by tux3 1y ago
You might be afflicted with some SSO or enterprise thing, I haven't logged into Github on my personal account in years.
346.
by tux3 1y ago
Really, on second look, snark still feels justified here. The issue is with TFA. There is little room for a thoughtful comment in response to something transparent. Some type of submissions will invariably not result in very deep discussion
347.
by tux3 1y ago
It's indeed forbidden by ICANN, so none of the myriad of vanity TLDs can do it.. ccTLDs could, if they wanted to go against the grain, but I'm not aware whether anyone still does.
348.
by tux3 1y ago
Can't wait for a Factorio mod that simulates the grid frequency and damages equipment when it drifts too far!
349.
by tux3 1y ago
You can see the crash on the ENTSO-E live data: https://transparency.entsoe.eu/generation/r2/actualGeneratio... Three quarter of the production disconnects from the grid between 12:30 and 13:00, with only a bit of
350.
by tux3 1y ago
Success has a part of skill, and a part of luck. It hurts to be reminded about skill issues. Board games aren't as simple as time invested. I could spend my whole life studying chess, and some 13yo prodigy will handily beat me blindfol
351.
by tux3 1y ago
The LHC also has a public Grafana (mostly for cryo stuff): https://dash.web.cern.ch/dashboards/ And there used to be a very fancy LHC dasboard at http://meltronx.com/index.html Unfortunately the site b
352.
by tux3 2y ago
I should apologize if I came off too colorful, I only meant it as a friendly jab - but my bias is showing :) Appreciate the defense of set theory, I can't find a problem with it!
353.
by tux3 2y ago
In fairness, I wouldn't say it's dolphin I'm attached to in particular, I think I'm just not in the target audience for Finder. The tradeoff is that it makes simple things simple, and everything else complicated. I'
354.
by tux3 2y ago
That's an interesting thought, but I think that'd break the usual trick of building up objects from the empty set, a set containing the empty set, then the set containing both of those and so forth. That universe would be deprived
355.
by tux3 2y ago
This is the documentation for building a KDE app from source: https://develop.kde.org/docs/getting-started/building/kde-bu... I had to install several dependencies through homebrew, ignore some default depend
356.
by tux3 2y ago
If you have an M3/M4 and are stuck on XNU like me, and you want a something between the notes app and a whole Electron IDE, it turns out that Kate also supporte macOS (Actually, a lot of KDE programs do, I was elated to find out I coul
357.
by tux3 2y ago
(Seizure warning, for many of these)
358.
by tux3 2y ago
To play devil's advocate, I wonder how well they handle more annoying things. When a CMOS switches, it essentially creates a very brief short circuit between VCC and GND. That's part of normal dynamic power consumption, it's
359.
by tux3 2y ago
FPGA dev is just much more painful and more expensive than software dev at every step. That's in no small part because the industry & tools seem to be stuck decades in the past. They never had their "GCC moment". But ther
360.
by tux3 2y ago
This blog doesn't seem to talk about the OSS toolchain, litex/vexriscv are very neat but they don't replace Vivado, right?

More ›