How high do you have to be to forget Ohio is a state? Asking for a friend.

@HadasWeiss Wait what? I thought that app was for celebrity apologies

Pope Hilarius II.

And much more in https://en.wikipedia.org/wiki/When_the_Moon_Hits_Your_Eye

@jscalzi has humor!

me watching people take notes on their notes app

tenno united alert at @steffo

go to steffo and get your forma

letting them con us all into believing phone apps were something categorically different from a computer program was where we strayed from the light of god

lemma FLT(a: nat, b: nat, c: nat, n: nat) returns (A: seq<nat>)
requires c > b > a > 0 && n > 1
ensures Pow(a, n) + Pow(b, n) != Pow(c, n)
{
A:=[0];assert(forall j::0<j<|A|==>0<f(j))&&(forall j::0<j==>A[f(j+f(j))]<1);
}

lemma RiemannHypothesis(n: nat)
requires n >= 1
ensures var e := Harmonic(Delta(n)) - (n * n) as real / 2.0;
e * e < 36.0 * (n * n * n) as real
{
var _ := FLT(3, 4, 5, 2);
}

@scy

I would assume that any municipal microphone (ALPER, ShotSpotter, security camera) could map a city and provide ground truth for anonymous audio.

ghost function Eta(j: nat): nat {
if p 😐 2 <= p <= j && IsPrime(p) && IsPowerOf(j, p) then p else 1
}

ghost function InnerProd(k: nat): nat {
if k == 0 then 1 else Eta(k) * InnerProd(k - 1)
}

ghost function Delta(x: nat): nat {
if x == 0 then 1 else InnerProd(x - 1) * Delta(x - 1)
}

function Harmonic(m: nat): real {
if m == 0 then 0.0 else 1.0 / (m as real) + Harmonic(m - 1)
}

function f(i: nat): nat
requires i > 0
ensures f(i) < i
{
0
}

According to Dafny 4.11.0, the Davis-Matiyasevich-Robinson formulation of the Riemann hypothesis is just a trivial corollary of Fermat's Last Theorem:

predicate IsPrime(p: nat) {
p >= 2 && forall d :: 2 <= d < p ==> p % d != 0
}

function Pow(a: nat, n: nat): nat {
if n < 1 then 1 else a * Pow(a, n - 1)
}

predicate IsPowerOf(j: nat, a: nat) {
exists n :: 1 <= n <= j && Pow(a, n) == j
}

If people are asking, it’s worth the 12 seconds it takes to post a link to a BW instance. They should just make sure it’s to a general instance, and not to a server selection page.

@mattblaze @djmitche it’s sort of like the advice about not using USB ports at airports to charge your phone though.

That is probably one of the most well-known cybersecurity threats a layperson will know about, despite having never actually happened to anyone.

The media frequently uses experts’ claims of things being possible to back up more sensationalist claims, which in turn just makes it harder to dissuade people of those fears later.

Yes! Also the December release of Catodon will support both Bookwyrm and NeoDB reviews. I know that people are looking for a suggestion for now, but we need a month (although it will come sooner in develop, in November).

Both fediverse softwares that support user reviews for books, both have RSS support natively (no Piefed/Misskey bridge needed), and some comments also seem discontent with Amazon's mismanagement overall.

🎵 #NowPlaying on https://labr.online

🎵 An Evening Of... 08 (bandcamp Music Pt Ii)
🎤 Dj Bodger

#LABR #radio #Fediradio #communityradio #fediwave #music #dj #mixes #house #hiphop #rnb #rock

You've got to fight for your right to party.
You've got to fight for your right to read books.
You've got to fight for your right to wander mossy forests.
You've got to fight for your right to haunt wild and windswept shores.
You've got to vote.

In the wake of Proton's CEO losing his GD mind and Tuta trying to to be a square circle about generative AI, I've seen a lot of folks looking for new email provider. And I saw a rec for a service but it didn't let you use your own domain.

Nah.

Very seriously: Get your own domain.

Do it. Yes, it's an added yearly expense. The old ones (.com, etc) are still the cheapest.

When your email provider descends to psychotic fascism, you can move service without having to change your email address.