I don’t understand how businesses that use windows for employee laptops are not throwing a fucking tantrum. I would be.

Lol not from me

Coulier looks good bald. Stamos, not so much.

You’re kidding yourself. The norm in American bars is to have two urinals whose porcelain touches, and everyone pees with their buddy while having a boisterous chat.

I just push really hard and force the pee out like a fucking man.

Using discord for this is such a bonehead move.

I like AdGuard Home myself.

Wireguard is p2p.

EDIT: I guess the point is it’s doing peer discovery without static public IPs or DNS. Pretty cool!

I would vote for Bernie in a heartbeat.

He seems to always be on the right side of history, he understands the root causes of our national crises, and he has solutions.

Problem: Two-party system, voter apathy.

Solution: Ranked choice voting, remove electoral college (popular vote interstate compact).

Problem: Bought elections.

Solution: Repeal Citizens United.

Problem: Federal deficit spending.

Solution: Reform government contracts with private corpos so we’re not getting gouged. Repurpose military budget. Tax the rich.

Problem: Ignorant and misinformed voting population.

Solution: More school funding, pay teachers more.

Problem: All surplus value is siphoned away from the working class.

Solution: Tax incentives for employee-owned companies. More support for unions.

Problem: Consumer price gouging.

Solution: Break up monopolies, punish anti-competitive behavior.

Problem: Irresponsible banking.

Solution: Un-repeal Glass-Steagall.

Problem: Expensive healthcare.

Solution: Universal healthcare. Don’t even try to tell me we can’t afford it.

You should say “unstable channel”. It’s literally just a rolling release that pulls from the nixpkgs master branch. So it’s only as stable as it needs to be to pass the Hydra CI tests.

And if you get to a working version, you can pin that as a Nix flake to avoid anything breaking until the next time you nix flake update.

You implied that religion necessarily results in fascism.

You can’t just equate religion with fascism. Not that I think religion is ethical or even separable from fascism, but they aren’t the same. Plenty of people practice religion without resorting to extremism.

I had this recommended for me, but the risk of empty nose syndrome scared the shit out of me.

2000s babies are starting to feel old?

Shit…

the Rust folks wouldn’t care about the in-memory representation as long as the compilation is on point.

Well I can’t speak for everyone, but Rust is very intentional about supporting things like repr(C). At least some of us care a lot.

Nah these are the actual integer representations. Otherwise you would have Some(None) == Some(Some(None)) which is way too Javascripty for Rust folks.

Yea. I was using bottom until I saw this and did a quick side-by-side comparison (nix-shell -p btop, I use NixOS BTW). btop’s UI is just so much better.

I have a feeling you are misunderstanding what is meant by “theorems for free” here. For example, one theorem that is proven by all safe Rust programs is that they don’t have data races. That should always be a requirement for functional software. This is a more pragmatic type of automatic theorem proving that doesn’t require a direct proof from the code author. The compiler does the proof for you. Otherwise the theorem would not be “free” as stated in OP.

And a lot more bug prone. I’m just explaining the OP because people didn’t get it. I’m not saying dynamic languages are bad. I’m saying they have different trade-offs.

Yes if you use type annotations. Languages like Python and Typescript end up resorting to “Any” types a lot of the time, which breaks any kind of theorem proving you might have otherwise benefited from.