You can find me at https://nitter.gq/t.co/XYHo88pbEI / @peterb@mathstodon.xyz instead of here. No mercy for swine.
Pittsburgh, PA
Joined June 2007
- Tweets9K
- Following348
- Followers687
- Likes1.9K
Pinned Tweet
I call this "Software Engineer Contemplates A Suspension Bridge."
(Actual art credit: Steve Rude, Nexus.)
@steverudeart
ๆฅๆฌใฎ็ๆงใธใๅ
้ฑใฏๆฐๆฝใจๅฏๅฑฑใง้ใใใใฉใกใใ้ญ
ๅ็ใช่กใ ใจๆใใพใใใ ใใฎใใใชใใใฆใชใใใใฆใใใ ใใใใใใจใใใใใพใใ ใใคใๅฅใฎไผๆใงๆปใฃใฆใใพใใ
21
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
1
62
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 results 55
Dead 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
84
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โฆ
42
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
49
[Rats watching someone who styles themself an intellectual having an embarassing public breakdown challenging people to duels]
"Wow, so true."
25
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)
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.
2
165
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.
1
30
The entire problem with monads - the WHOLE ISSUE - is that it's a stupid name.
If they were called "sequenceables" everyone would understand immediately.
If you ever try to learn monads and find yourself thinking "Ok.. and?"
then there's nothing more. You already understand them. That's it. That's all there is to it.
2
78
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.
67
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.
A pretty common criticism of rationalists is that they're "STEM people who think they're humanities people" but it's really the opposite
1
72