c0balt

5 ms·

31.
by c0balt 5mo ago
Lanzaboote is great, I've been using it for almost a year now in a dual boot with Windows 11 for full secure boot on my desktop. It is quite stable (notably was set and forget) and the initial setup was relatively easy.
32.
by c0balt 5mo ago
Not damaging their relationship with Google as a vendor most likely. For better or worse, GrapheneOS is depend on Android which is controlled by Google.
33.
by c0balt 5mo ago
I feel for the people living there and being affected by the pollution. The long term effects of chemical pollution are ugly. But the CEO in the intro just seems like an odd choice. PFAS were known to cause issues for a long time, if you co
34.
by c0balt 5mo ago
Yep, that is accurate. There is also a command/API route to find the path on disk iirc. In my setups it just was easier to use fixed paths (or relative to project dir) from a permissions management perspective. Backup tools did not alw
35.
by c0balt 5mo ago
Ime, the only useful product tours where in games, I. E., tutorials. This usually extends up to in-game hints at certain features like a characters ability. A lot of software can probably pull inspiration from there in regards to including
36.
by c0balt 5mo ago
The "easiest" way is to use bind mounts to a local directory (or multiple directories) instead of volumes. Then you can just use normal backup tooling. Docker volumes (and bind mounts) however have the minor problem of being hard
37.
by c0balt 5mo ago
There is also a minor incentive problem here, mainly that a landlord can/will often offload the running costs, Nebenkosten, to the renters indefinitely. That means they are sometimes economically incentivized to choose an option with l
38.
by c0balt 5mo ago
If I have you hammer with a wax coated handle then it will regularly slip out of your hand. One could blame the user for not "just" holding it right. Or alternatively reconsider if the handle should have a grippy coating instead.
39.
by c0balt 5mo ago
I had this nic on my laptop and a desktop, it is genuinely a pos. I'm always kinda surprised that a driver was borked given the very widespread use of it the hw+driver combo though (and as a side-note, the in-kernel driver also has so
40.
by c0balt 5mo ago
Growth hacking at its best /s
41.
by c0balt 5mo ago
A vulkan computer shader is more portable, chances are also that the tooling for it will still be supported in a few years for your GPU (which isn't a given for ROCm especially when dealing with consumer cards)
42.
by c0balt 5mo ago
Short answer, no. There are better learning resources and a better ecosystem available around Nvidia cards & software (cuda). Long answer, it depends. It will add more challenges and require significantly more effort (even outside the G
43.
by c0balt 5mo ago
The main difference that Denuvo does nothing to improve the experience of the end user. I don't like Anti-Cheat solutions with elevated privileges but they have (at least for some time) reduced the number of Cheaters in games like Valo
44.
by c0balt 5mo ago
The goal (ATP) is similar but the idea is a bit different, sledgehammer is not directly learning/applying rules but instead effectively a driver for invoking a bunch of ATPs + SMT solvers at once on a goal in Isabelle/HOL. You can
45.
by c0balt 5mo ago
The current GUI interface is Isabelle/jedit. Afaik, no Emacs interface is officially provided atm.
46.
by c0balt 5mo ago
Isabelle/HOL as a language is nice, but the tooling has deep flaws even outside the pure desktop-first app approach. The language is different (not necessarily better) in comparison to Lean, but I do agree with some of the points on de
47.
by c0balt 5mo ago
It is reasonable to ask for a follow-up project/fork to take a different name. Naming your project, e. G., pgbackrest-ng, does not sound too onerous of a requirement and clearly communicates to users that maintainers have changed (see
48.
by c0balt 5mo ago
A simple yet almost hard to imemt solution (given the view of an outsider on most U. S. cities respect for bicycles) is to "just" provide actual, hard seperation for the bike lane. This can done with carve outs/ gaps for publ
49.
by c0balt 6mo ago
> Why is it always these efforts are little private things or not for profit initiatives? Because (relatively) small teams can act faster. It is also a lot easier to have a small, motivated core group with shared objectives and aligned v
50.
by c0balt 6mo ago
The scope/feature set of both is just quite a lot wider, from IDEs to an ecosystem of 1st and 3rd party libraries and extensions. The rendering engines and their capabilities are also quite different (with Unreal and Unity both being q
51.
by c0balt 6mo ago
The IPv6 for the overlay is neat. I won't use it probably (as my number of hosts is <100) but I would prefer better support for dualstack underlay.
52.
by c0balt 6mo ago
Maybe this is just my interpretation but OP effectively argued "too many ineffective meetings, we should have less unnecessary meetings and a clearer, independent direction". The commenter above argued that the problem was slightl
53.
by c0balt 6mo ago
One could reconsider whether building your business on top of a model without owning the core skills to make your product is viable regardless. A smaller builder might reconsider (re)acquiring relevant skills and applying them. We don'
54.
by c0balt 6mo ago
Run on premade, static tracks with clearly divided "roads" from the rest of road participants. Their role is to stop the train in an emergency and adjust to speed etc. to track/driving conditions. Automating their job probabl
55.
by c0balt 6mo ago
Or the most likely more expensive rate limiting (computational wise)
56.
by c0balt 6mo ago
That seems a but pessimistic. A few companies use it for customer service, like ime Adidas Germany [0] (they handled an exchange for me once on there). It is effectively just another customer support line like a chat portal on a website. [0
57.
by c0balt 6mo ago
Not really. That is federal spending, right? So your local transport authority or most of the funding of a local schopl, for example, wouldn't be included here?
58.
by c0balt 6mo ago
That is a fair point, thank you for the correction there
59.
by c0balt 6mo ago
Lean is far off the most bloated one. Isabelle most likely takes that spot, the main archive includes a whole vscodium among other things.
60.
by c0balt 6mo ago
I don't know about running per se but practical applications (as in done for product/service) exist. A notable practitioner for Isabelle and Lean is AWS[0]. There is also TLA+ for a more practical tool. The most widely used varian

More ›