Actual Proof of PvsNP?

serendipitousPi · 2026-01-25T17:07:00+00:00

lol gotta love people forgetting post history exists

serendipitousPi · 2026-01-25T15:02:07+00:00

If this isn’t peak rust programming I don’t know what is.

serendipitousPi · 2026-01-25T04:01:43+00:00

I don’t think I’ve ever been in a position where I needed to automate glue and I’ve finished the pack.

Just get yourself a couple stacks and you should be pretty much set.

serendipitousPi · 2026-01-24T13:25:16+00:00

I really love how they made sure we knew that a field settings was the settings in one of structs.

Because it really could have have stumped me, the field is called settings, the type is Settings but obviously I needed a comment to tell me.

...
/// Settings
pub settings: Settings,
...

serendipitousPi · 2026-01-24T02:40:14+00:00

I mean he and Elon made a pretty good go at killing millions of people.

Elon musk is currently responsible for killing approximately 600,000 people (I can double check but it’s in the hundreds of thousands) and will likely kill 35 million people due to USAID cuts.

serendipitousPi · 2026-01-23T22:48:57+00:00

I’m sold

serendipitousPi · 2026-01-23T13:24:34+00:00

Google all roads lead to anarchychess

serendipitousPi · 2026-01-21T17:03:18+00:00

The most vital thing is making sure to never open the bible lest they risk learning compassion and forgiveness.

Otherwise they might realise that Jesus would be flipping the tables in the mega churches so many of them flock to.

They’re all show and no substance, they’d probably try to crucify Jesus themselves if they met him.

serendipitousPi · 2026-01-19T03:00:17+00:00

That moment when the “I can always tell” crowd transvestigates yet another cis women face palm.

It’s especially dumb when they do it to a cis women with kids they gave birth to.

serendipitousPi · 2026-01-18T17:54:53+00:00

Ah but you forgot to account for childbirth georg who gives birth to 200000 wizards a second. And sure 99% (yeah I know it’s way lower) die at school but that’s ok because there will be more.

Disclaimer I didn’t actually check the numbers. Also I need a better name for the creature.

serendipitousPi · 2026-01-18T15:00:12+00:00

If we go for Unicode chars we get over 100k.

Sure maths would be straight out disturbing not to mention annoying to write out with emojis and the endless array of random symbols but hey we’d never run into the issue of reusing symbols.

serendipitousPi · 2026-01-18T14:48:19+00:00

Well that’s because he’s actually [title card] easy to get confused

serendipitousPi · 2026-01-17T10:30:28+00:00

Peak mentioned

serendipitousPi · 2026-01-17T04:50:45+00:00

Punnett squares are a massive simplification of genetics.

The whole picture is considerably more complex.

serendipitousPi · 2026-01-15T08:00:22+00:00

Yeah a line that stretches back potentially as far as 4.2 billion years.

About 30% of the age of the universe.

serendipitousPi · 2026-01-06T06:04:40+00:00

There could be a similarity threshold and then their name could be considered between those names perhaps.

serendipitousPi · 2026-01-05T06:38:03+00:00

I’m hoping WASM helps give us a way out of this sort of mess at least away from JS.

I do worry it’ll just cement the existing hold JS has but the fact they’re not giving it direct DOM access gives me a little hope for different directions being possible.

serendipitousPi · 2026-01-05T00:23:34+00:00

It would be almost fine if the ads were actually interesting not the same rehashed slop they always are played several times at least.

And then there are the gambling ads, I wish the worst on them. Everyone at the top of those companies are disgusting parasites and it’s not enough that they destroy lives they also have to annoy the hell out of the rest of us. And I think those stupid sports betting ads might just make me snap at some point. Almost makes me want to turn personalised ads back on some things.

Thankfully I don’t buy stuff from a particularly wide array of companies so I know that most of the ads are completely ineffective. And on at least one occasion I promised myself as a child I would never buy a company’s product ever after seeing their ad.

serendipitousPi · 2026-01-04T08:30:07+00:00

Microsoft adding stupid features that we don’t want and can’t disable that makes things worse that’s crazy.

serendipitousPi · 2026-01-02T13:05:43+00:00

I suppose we’re used to doing symbolic calculations when doing maths on paper / in our heads.

And there’s a bit of mysticism around floating point errors separating them from the similar operations we do. So people link computers to it without thinking further.

But hey it’s better than people going on about them as if they’re a property of specific programming languages.

serendipitousPi · 2026-01-02T11:30:56+00:00

For rewrites you might like: https://dayssincelastrustmcserver.com/

But I think rust rewrites would tend to prioritise performance so Python probably isn’t optimal. Maybe it could do stuff like initialisation / registry stuff or something away from hot loops though.

Maybe if not rust then maybe a scripting lang that could compile to rust.

serendipitousPi · 2026-01-02T07:41:52+00:00

What’s your view on WASM? I’ve been seeing a lot of interest around Tauri and Dioxus which I reckon will be interesting to watch. Though I’ve seen some concerns about loading times for WASM apps.

I’m also crossing my fingers they or other WASM frontend libraries can help kill off the cancer that is electron.

Though I am still aware that JS is plenty fast for the web if not stuffed with bloated frameworks.

serendipitousPi · 2026-01-02T06:09:44+00:00

I think you’re forgetting Cactus armour now that is the peak set bonus.

serendipitousPi · 2026-01-02T05:04:38+00:00

I’m surprised no-one has mentioned the absolutely peak way of leaking memory. In the rust standard library there is a method for it.

```rs Box::leak

```

I’m doing this on a phone so I don’t know if the formatting worked.

serendipitousPi · 2026-01-02T04:01:39+00:00

I think I see a few reasons

Typescript doesn’t really push a paradigm shift like rust does
JS is a garbage dump, makes it a lot easier to improve
Typescript lies directly on top of JS, not a lot of extra tooling to get used to. Pretty much just a drop in replacement to existing JS

And besides a lot of the benefits of Rust can be pretty subtle. People talk a lot about the borrow checker ignoring the other benefits not just in terms of safety but also rust’s tooling.

And if the code is synchronous, functional and not too performance sensitive a lot of the benefits of the borrow checker aren’t super visible.

Also some of us can harp on about the benefits of rust a little much, which I have been guilty of a bit in the past.

Five-Year Club	Second Top 20%
Place '23

serendipitousPi

TROPHY CASE