#corrected

2025-03-06
散歩慧素DRS@mstdn.jp
2024-11-11

#English #UnitedStatesOfAmerica #Election2024 #DonaldTrump #Moving #No #Corrected #Not #Japan #日本
People who are leaving the United States because of Donald Trump being re-elected President should not be allowed to enter Japan.

James M. Branum יעקב מתתיהוjmb@babka.social
2024-06-12

#CORRECTED- see comment
#Shavuot this year was a delightful season. It started a few days early with getting to lead a humanistic service that discussed the idea of the #Mitzvah of study, and then after that I got to attend most of #ShavuotLive (from the folks at #JudaismUnbound). And finally it all ended last night with a delightful outdoor Shavuot service at my local Reform temple, capped with them having an ice cream truck come by after services.

The only thing I missed was getting to eat some fancy cheese.

Speaking of Shavuot Live, I have to brag on two Fediverse cats who spoke at the event: @lexaphus and @devotaj
(who not only presented her planned presentation, but jumped in to teach another short session when another presenter was having zoom difficulties).

And if you missed it live, here's the link to watch the recordings: judaismunbound.com/shavuot2024

I may post some more thoughts on individual sessions on this thread, as I'm hoping to get re-listen to everything.

#Mazeldon #Jewish

Sesame SquirrelSesameSquirrel
2024-06-09

@kurth @Taweret@octodon.social sorry about that FFS typo -- thanks for the heads up

#TypicalAmerican #EU #Traffic #Corrected

I stand corrected !

At least some Ameridans are willing to learn;
and the solutions weren't even that costly.
Thx @DeerPeer

"Hoboken - A Model for Pedestrian Safety" [8:06 min]
by Everyday Engineering

youtube.com/watch?v=jgXOavHjIH

Quote by EE:
"Hoboken, NJ has been in the news quite a bit for its impressive record of traffic safety. A group of road safety “nerds” from CT came down to visit to see what the hype was about, and which solutions we could take back to our own cities. It turns out that roadway safety can be very easily implementable and incredibly effective without needing to spend millions of dollars!"

2023-08-11

Of all the stupid situations I have gotten into over my life, getting into an #argument over the #name of a #hamburger is quite a #contender for the top of the list.

I was in a #CarlsJr #Drivethrough and the #intercom offered a #HawaiianCombo in either #beef or #Chicken.

I said I wanted a #Hamburger and the intercom #corrected me, saying "I'm sorry we don't have hamburgers, we have #BigAnguses."

I am kidding you not.

enigmajx #FBPE #FBPPRenigmajx@toot.wales
2022-11-19

As someone who manages to make

🔥 6 spelling mistakes
🔥 4 typing errors
🔥 at least 1 grammatical failure

in a sentence of 50 characters. And ...

🙄 never proof reading before posting

Being able to edit the post is BRILLIANT !!

#Mastodon
#editing
#corrected

Dave Hoguedavehogue
2022-11-19

@scottjenson Yay for editing!

2022-11-09

Writer in a rush,
looks for an Edit button
to fix a typo.

#introduction #corrected #haiku

2019-09-25
@sir @johnfocker that sounds #good but kd is still super #efficient although I wish there was a #corrected version
Lessness Randomnesslessness
2017-10-10

Require Import Utf8 List Omega.
Definition prime n := ∀ i, Nat.divide i n → i = 1 ∨ i = n.

Fixpoint product L :=
match L with
| nil => 1
| x :: t => x * product t
end.

Definition permutations L1 L2 :=
let P := count_occ eq_nat_dec in
∀ n, P L1 n = P L2 n.

Definition prime_fact n L := Forall prime L ∧ product L = n.

Theorem prime_fact_ex n:
∃ L, prime_fact n L.
Admitted.

Theorem prime_fact_uniq n L1 L2:
prime_fact n L1 → prime_fact n L2 → permutations L1 L2.
Admitted.

Client Info

Server: https://mastodon.social
Version: 2025.04
Repository: https://github.com/cyevgeniy/lmst