dietr1ch

29 ms·

661.
by dietr1ch 2y ago
Brady has a presentation about Idris where he shows Type-Driven development (where you write code that could typecheck with some holes and you get the compiler to help you figure out the missing types for your "whatever/something&
662.
by dietr1ch 2y ago
While I trust valve, I'm not willing to mess up with my workstation to play. Also, there's hardware cheats, so I don't need a rootkit on my machine, but a server side thing that properly weeds bad players out through reports&
663.
by dietr1ch 2y ago
Yup, I simply stopped using it, which means they won.
664.
by dietr1ch 2y ago
Automatic transmission doesn't know your intention in 5s, so it consistently makes the wrong choice there if you intend to slow down or cruise until a red light.
665.
by dietr1ch 2y ago
I think it just shows how much noise there is in coding. Code gets reviewed anyways (although review quality was going down rapidly the more PMs where added to the team) Most of the code must be what could be snippets (opening files and han
666.
by dietr1ch 2y ago
I miss old memegen, but it got ruined by HR :/
667.
by dietr1ch 2y ago
Tried it again and it works! I'm guessing that maybe I forgot to restart the machine to make sure everything got to read it. Or that whatever was broken long ago got fixed. BTW, I can't reach my backup right now, but this seems li
668.
by dietr1ch 2y ago
Is ~/.XComposed picked up anymore? At least it wasn't early on, and I just gave up on keeping it around. I guess it's up to each Wayland compositor, which calls for inconsistency :/
669.
by dietr1ch 2y ago
I did not meant to start a pissing contest, I thought the biggest idea was that Flutter isn't 35yo and because of it, it's more likely to drastically change, and in a fast way too.
670.
by dietr1ch 2y ago
Have you tried using a compose key? I lost my custom mappings when switching from X to Wayland, but they work fine in both. I did lose my custom mappings though, but I only needed them when I was in emacs and obviously there's already
671.
by dietr1ch 2y ago
Seems to me that as projects mature they require less effort too. It's hard to account for that since Python started in 1989, it's older than Linux and it has a more narrow scope.
672.
by dietr1ch 2y ago
I don't think it's impossible to encode that, but yeah, it means that the straightforward approach meets immediate edge cases that may render it broken.
673.
by dietr1ch 2y ago
It's not exactly democracy once you add weights penalising erroneous information and bad actors. Science kind of works this way, you have papers to support, and lack of rebuttal is sort of understood as general acceptance, new evidence
674.
by dietr1ch 2y ago
> Centralized moderation, for instance, is replaced by moderating every instance separately. But doesn't that simply shift the problem? The largest instance(s) can still moderate maliciously, while the rest are insignificant. I&#x27
675.
by dietr1ch 2y ago
Yeah, last time I experimented with it `hyphens: auto;` and `word-break: auto-phrase;` were simply not ready to try even in beta/nightly browsers. - https://developer.mozilla.org/en-US/docs/Web/CSS/h
676.
by dietr1ch 2y ago
I'm not into fonts, but reading anything on the web sucks after you get used to LaTeX. - Justification is not there and it just looks bad. - Paragraph width is arbitrary, which makes reading some emails (from folks who apparently
677.
by dietr1ch 2y ago
This, long ago a roomate got into Factorio and after figuring out the basics ended up admitting that it felt way too much like work. This has been my reason to stay out of Factorio even though plenty of people have recommended it to me. I d
678.
by dietr1ch 2y ago
> > Trying to draw an equivalency between code and weights is ridiculous, because the weights are not written in the same way as source code. > By the same logic, the comparison between a compiled artifact and weights fails because
679.
by dietr1ch 2y ago
Abstraction is way better, I don't really want to know how the password is validated unless I know I'm facing issues with validation (which proper logging tells you about before you even dive into the code). I don't understan
680.
by dietr1ch 2y ago
> Remember, the idea of landing a reusable rocket was abandoned long ago by many nations because it was deemed impossible or financially infeasible. Yet here we are with SpaceX dropping LOE launch prices per kg by 90-98%. It's almos
681.
by dietr1ch 2y ago
He's just the rich clown atop of the companies putting pressure and maybe unreasonable requests to smart people under him that as you go down the chain are actually closer to being worth their net worth.
682.
by dietr1ch 2y ago
Right, I don't know if nix will manage to evolve, or a new implementation will come up, but the box with the wonders of nix has been already open and there's no way people will want to go back to mutable and non-deterministic syst
683.
by dietr1ch 2y ago
The hack is to leave a USB hub that gets you power, ethernet and monitors from a single cable. It's not truly portable, but it's a nice setup for having a desk and carrying your laptop with you to meetings and home.
684.
by dietr1ch 2y ago
I think it's already a great thing for RISC-V, imagine things somehow go well for Qualcomm, do you really think they wouldn't prepare a plan B given ARM tried to get them out of the market?
685.
by dietr1ch 2y ago
It'd be cool for it to be copy-left, but at the same time I guess it could end up being too hard to get business running as the apparent risk of a competitor just copying your product would scare investors and that would end up in lowe
686.
by dietr1ch 2y ago
I thought it was simply a response to git5/git-multi getting deprecated once fig became popular. I'm a bit surprised then, that's one of the things that has kept me from trying it as it feels weird to not have that much contr
687.
by dietr1ch 2y ago
I think you want that, but in a reserved instruction space with mandatory fallbacks. It's how things work anyway, things that are on the edge of what can be done are good for running business and maybe not finalized enough to become st
688.
by dietr1ch 2y ago
Well, no one says you need to shoot, maybe you can go the charisma route and convince the terrorists not to get the bomb down.
689.
by dietr1ch 2y ago
Yeah, the extensibility of RISC-V that allows implementations to scale up and down on features, including non-standard ones is really cool, but compared to other ISA I think the biggest improvement is it being Open and royalty free (except
690.
by dietr1ch 2y ago
To a potentially different Filesystem that's might not have enough space (and may be tmpfs and get Linux to start killing processes) TBF it's a surprisingly not straightforward problem. I appreciate the effort and would like it to

More ›