You can find me at https://teapawt.net/t.co/XYHo88pbEI / @peterb@mathstodon.xyz instead of here. No mercy for swine.
Pittsburgh, PA
Joined June 2007
- Tweets9K
- Following348
- Followers689
- Likes1.9K
Pinned Tweet
I call this "Software Engineer Contemplates A Suspension Bridge."
(Actual art credit: Steve Rude, Nexus.)
@steverudeart
Peter B π retweeted
So let me get this straight - former Deputy Mayor Jake Pawlak's idea (that he's routing through Councilperson Warwick) for how to get us out of the budget hole that he created is to levy a tax that's not legal and will go through years of expensive litigation.
A good idea, but under PA Law, municipalities (other than Philadelphia) may only tax βEarned Incomeβ (wages). The city went on a spending spree, now it must make the necessary cuts to get expenditures in line with revenue. triblive.com/local/new-tax-oβ¦
Today in Rust for Dilettantes, we explore my favorite language feature, enumerated types.
youtube.com/watch?v=PVxk6SnGβ¦
Thumbnail painting: "The Judgment of Paris" (c. 1510) by Antonio da Vendri
What is more likely to be conscious?
Notes: (1) I'm restricting the AI answer to "LLM". Do not substitute "a sci-fi AI I read about in the Culture books" for "LLM". Rationalists and EAs, this means you.
(2) Beating a dead horse: I said "conscious" not "thinking".
0%An LLM
0%A fungus-like organism
0%Neither (knowable)
100%Unknowable, forever
1 votes β’ Final resultsDead Ends in Proving: I describe trying to prove a simple property of my emulator in #Lean 4 by writing "For all x..." theorems, rather than by construction.
It went poorly!
youtube.com/watch?v=8ZcyQSfrβ¦
Thumbnail painting: "The Temptation of St. Anthony" (1500), Hieronymous Bosch
No one:
No one:
No one:
Me: Ah yes that's the famed Series 7 chair from famed Danish designer Arne Jacobsen. Looks like it's the version with a maple veneer.
A father threw a chair toward a judge after the driver who killed his 2 year old daughter and both her grandparents was sentenced to just 120 hours of community service.
[H/T: insidehistory]
Readers added context they thought people might want to know
The photo is AI-generated. The video shows a real 2014 Netherlands incident where a father threw a chair after a 120-hour sentence for a crash killing his daughter and grandparents. On appeal the driver got 15 months prison.
l1nieuws.nl/nieuws/1291374β¦
rechtspraak.nl/organisatie-enβ¦
Fun game: which of today's EA posters is going to be the star, in 5 years, of the sequel to YOU CAN SEE EVERYTHING
[Rats watching someone who styles themself an intellectual having an embarassing public breakdown challenging people to duels]
"Wow, so true."
Guy who insists that consciousness is an extremely mysterious and impenetrable phenomenon, and is simultaneously extremely sure that a chicken has it while an LLM doesn't even have a trace of it (complimentary)
Martin Amis once wrote "it was a symmetrical convenienceβfor Stalinβthat a true description of the Soviet Union exactly resembled a demented slander of the Soviet Union."
So anyway this is a subtweet about the EA / AI community in the Bay Area.
The entire problem with monads - the WHOLE ISSUE - is that it's a stupid name.
If they were called "sequenceables" everyone would understand immediately.
A good take.
1. Continuing with the unbroken record of moral debility (spectator.com/article/trumpsβ¦ its dealing with the Kremlin, the White House invited Vladimir Putin βthe man SOLELY responsible for the war which has killed or maimed at least a million people βto the G20 summit.
The thing that strikes you if you have even a little maths and read some of the more popular rationalist materials is how abysmal their numeracy is. Bottom-tier, just mind-blowingly stupid approaches to problems combined with an unwarranted level of confidence.
This is a declaration of war. Los Angeles must be destroyed.
What?!? How? Why?
Pittsburgh's beloved "Star Wars" machine pops up in LA axios.com/local/pittsburgh/2β¦
