You can find me at spacekaren.sucks/xb6vr / @peterb@mathstodon.xyz instead of here. No mercy for swine.
Joined June 2007
- Tweets 8,374
- Following 346
- Followers 685
- Likes 1,811
1,168 Photos and videos
Pinned Tweet
8 Jun 2020
I call this "Software Engineer Contemplates A Suspension Bridge."
(Actual art credit: Steve Rude, Nexus.)
@steverudeart
4
18
Jun 13
My hottest AI take has nothing to do with AI, and it's: we have needed formal verification of software, proof-carrying code, and correct-by-construction programs for at least 30 years, and now the widespread use of AI is going to force us to get serious about it.
1
3
47
Jun 13
(The immediate question everyone has when contemplating this is "Can we get the LLMs to write the verifications?" Yes, for uninteresting invariants, no for anything complex, and "maybe" if you have an automated environment loop verification until it is right, which is expensive.)
2
29
Peter B π retweeted
Jun 13
Everything I have learned about this drama is against my will
5
1
187
19,599
Jun 12
raw milk people are so weird
like why THIS as the dumb idea you seized upon
"i'm against hand-washing, it removes the beneficial bacteria from our most important appendages"
17
Jun 12
Insulted Leni Riefenstahl and suddenly flocks of twitter's finest notice-me-senpais are following me around the site, mad about it.
2
18
Jun 12
I've come to the conclusion that the best test for intelligence is whether you believe that it's unacceptable if the protagonist of a book is a bad person.
1
22
Jun 12
Fellas is eating things inhuman
Jun 10
I donβt know how it became normal and socially acceptable for grown people to walk about in groups with their tongues hanging out licking ice cream cones. What a bizarrely childish and somehow also bovine public activity.
35
Jun 12
Itβs fine to choose to engage OR not to engage with some art. Itβs fine to ignore art you suspect sucks. You donβt owe the art anything at all.
2
4
30
2,000
Jun 11
Spitting truth bombs
There is a 48 year old guy who doesnβt even know what brokerage his 401(k) is in that is outperforming you over the last 10 years
Itβs okay though, you got to spend 400 hours a year staring at charts and getting dopamine hits
1
38
Jun 11
Extremely rare #Pittsburgh version of this meme. Why would anyone hate on the dude doing the coolest possible thing one can do on the rivers?
1
100
Jun 8
This is a completely insane doomer take.
Elder Millennial weddings be like "come celebrate the start of their life together".
You're both 38, it's not starting, it's already over.
58
Jun 5
This person is wrong. You should only be following the investment advice of someone who is down exactly 2.62% today. Everyone else is a bozo.
Jun 5
if youβre not down at least 10% today your investment advice is not worth following
61
Jun 3
This is also why you want property taxes to go UP, not down. Low (or no) property taxes encourage owners to squat on unproductive properties and keep prices artificially high. Property taxes should be sufficiently high that keeping a property vacant *hurts*.
Sellers are delusional and Iβm tired of people pretending they arenβt.
Home prices need to drop 30% or more most markets or this number is going to keep growing.
30
Jun 2
Another weird thing about this insane take is the idea that liking a walkable city means you hate cars.
Use cars for things they're good at. "Popping over to the corner store for a couple of items" is a dumb way to use a car for thing it's bad at.
May 29
Question to the βwalkable cityβ advocates who hate cars:
If you go to the grocery store and have eight bags (or even four bags) of groceries, how do you get them home? You push around a little cart or something? Sounds bad.
2
367
Jun 2
When I'm catering the feast of the seven fishes? Yes, I take a car to Costco. When I need a couple of ingredients to prep for tonight? Walking to the corner store is better along literally every axis.
1
1
33
Jun 2
Found a person who has no idea how grocery stores work.
May 29
Question to the βwalkable cityβ advocates who hate cars:
If you go to the grocery store and have eight bags (or even four bags) of groceries, how do you get them home? You push around a little cart or something? Sounds bad.
1
1
97
May 29
If your 1970βs home is now worth $1M, youβre on the hook for ~$10K/yr (complimentary).
If your 1970βs home is now worth $1M, youβre on the hook for ~$10K/yr. Based entirely on unrealized gains. Thatβs absurd for the fixed-income elderly.
Property taxes SHOULD be abolished for Boomers. But they should be abolished for everyone else too. Property taxes are evil.
36
May 29
Showing my sophistication by pronouncing "Die Hard" as if it's German for "The Hard".
1
18
May 29
The problem with this argument is that I, personally, am annoyed at having ADULTS next to me in public spaces.
But unlike the kid-haters, I understand that I cannot always get what I want.
May 29
I wasnβt going to weigh in on another round of kids-in-public discourse, but eh what the hell.
This has little to do with child behavior. Even if all kids were angels in public, a large chunk of people would be annoyed at having a kid next to them in an βadult spaceβ becauseβ¦
1
56
May 29
New video: A Monad Mystery! We look at two "tricky" monad problems from Set 13b of Joel Kaasinen's #Haskell MOOC
The thumbnail image is by Sidney Paget, "Holmes Gave Me a Sketch Of The Events" (1892)
youtube.com/watch?v=k-K4WT6mβ¦
1
60