gadfly
Baltimore
Joined June 2009
- Tweets14.5K
- Following349
- Followers186
- Likes5.8K
Pinned Tweet
"Overall, Kromkowski’s satire is incisive, leaning on irony and cultural nods to critique political figures and policies, delivered with a sharp edge that invites reflection rather than overt moralizing."
I’ve never been to a Cheesecake Factory in my life.
I regret going to Fogo de Chão once almost 20 years ago (but I got way more than my money’s worth of lamb chops). No one should eat that much.
Child
Data: ~10M words + sensory stream
Pwr: 20W
Method: Bio evolution + socially negotiated & self-interrogated casual inference
Efficiency: High, 1-2 shot
LLM
Data: Trill. tokens
Pwr: megawatts
Method: Tok. opt. + emerg. lat. structs
Efficiency: Low,non-adaptive
NATO was not just about protection from USSR. It also kept UK, FR, and GER from fighting each other.
The one jujitsu move that might stop Putin is NATO membership for UKR, BEL, and RUS (west of Urals). Otherwise no end until Putin is dead or in prison at The Hague.
Parrhesia.
He is not the only taking about this horrendous, tragic loss of life.
No one I know in Ukraine or Europe wants the war to continue.
There is only person who does— Putin.
He also could end the war immediately.
So if you are serious about promoting peace, you have to execute a strategy that convinces Putin to stop fighting.
Everything else is virtue signaling.
Traveled to Ipswich to see @RichardAyoade There he was cutting the queue with his bike thru the exit ahead of us at the train station so he could meet with @gillinghamjoe for a photo shoot. We decided to stay the day anyway and see him again at his show (it was well done.)
I just saw a stage production of Margaret Atwood’s The Penelopiad at York Theatre Royal in York, UK @YorkTheatre . It was excellent. Very well done. “Brave” to the chorus of women and Amelia Bullmore and @MargaretAtwood
Despite recent AI math successes, AI can’t seem to build a Windows clone like ReactOS from scratch.
The implication is that math success was just "monkeys using Lean as typewriters”. W/out formal verifier for 30 yrs of undocumented MS quirks, AI may just type C that bluescreens
Have LLM play St Petersburg game without calling it the Saint Petersburg game.
Gemini: $15 to $20
Idealized math: ♾️
Median human $2-4
Buffon (1777 empirical): $5
Buffon (1777 theoretical): $13- $14
Buffon (if alive today): $15 to $18
@nntaleb
Rogers’ wife giving out $10 gas gift cards.
Fed Law: Under [18 U.S.C. § 597], it is crime to make or offer an expenditure of money or anything of value to any person to influence how they vote, …
🤷♂️ maybe question of proof of intent?
@BarbMcQuade
John D Kromkowski retweeted
Brains are eaten with scrambled eggs.
Brain sandwich not a thing North of Indianapolis. Maybe not even North of Bloomington.
Not an Indiana thing. At best, a culinary transplant from St. Louis only in Southern Indiana.
John D Kromkowski retweeted
Bbq muskrat might be an eastern shore thing but 99% of Maryland has never heard of this or had an opportunity to try.
Weirdest thing in Maryland is Lake Trout, which is not a trout and since Maryland has no natural lakes is definitely not caught in a lake.
John D Kromkowski retweeted
Archbishop of the US military says Catholic soldiers should not serve on firing squad politi.co/4B1TePT
We should stop using the term "hallucinations" for LLMs/AIs.
When robot welder screws up a weld we call it an error.
My 2¢
These aren't "AI mathematicians".
So far as I can see the they can't "explain" their results other than to say it's in LEAN and it compiles.
An actual mathematicians have a "communities of inquiry" and pedagogies. Doing mathematics isn't just an epistemological exercise.
By "remove" do you mean "removal by eating"? I'd eat a slice of ham first.
Or remove as in make the plate over without the unnecessary cornbread?
Or remove one macaroni noodle to keep the calorie count as ridiculously high as possible?
We should aspire to undefeated nat champs & rank accordingly
T-1. AL
T-1. BYU
T-1. GA
T-1. IN
T-1. Mia (FL)
T-1. ND
T-1. Pit
T-1. TX
T-1. TX T
T-1. UCLA
T-1. UT
12. OH St
13. Ole MS
14. LSU
15. OR
16. MO
17. TN
18. FL
19. MS St
20. OK St
21. USC
22. IA
23. Hou
24. Boi
25. SMU
White Sox hats in Baltimore have different meaning than they do in Beverly.
But I always find it weird when Sox fans under 50 don't know who Ernie Banks, Billy Williams and Fergie Jenkins are. Even @MichelleObama had crush on Jose Cardinal.
Sox win it all!Next year for my Cubs
Appropriate AI use:
Consider 4 wild card games.
What schedule puts games 2 hours apart and ensures no game starts after 8:30pm eastern nor before 1130am local time?
Use team names in schedule.