Viewing profile — drmajormccheese

And there’s the smoking gun.

I “vibe coded” an iOS app that lets you guess the next number from a curated list of OEIS sequences. The app is called Infinite Numbers. It’s free. No ads. No tracking.

What if you gave the AIs a subscription to Suno to generate the content for their shows.

There are techniques for improving our confidence in our software: unit testing, integration testing, fuzz testing, property-based testing, static analysis, model checking, theorem…

This is not a database of bunnies

2%. https://gs.statcounter.com/browser-market-share

Yes

Fortress didn’t have a total order of operators. Also IIRC operators could be tightly bound or loosely bound based on whitespace.

https://mspiegel.github.io/canon

Yeah. Recently (past half year) GitHub enabled a feature where duplicate comments are automatically edited to be hidden comments. I think it's a continuation of the GitHub feature …

Type checked state is known as "typestate". A Google search will bring up the typestate paper.

There have been some GPU implementations of the Barnes-Hut algorithm [O(nlogn) n-body problem].