Check out my dad ( ) on:
[spoti.fi/3gdZRFY]
[bit.ly/3or6MhO]
Circle/Insight [apple.co/39HnGof1]
[apple.co/3gdZYkS]
[bit.ly/36Gz5CP]
[bit.ly/33JSEIP]
Follow
Click to Follow maxvonhippel
Max von Hippel 
@maxvonhippel
CS PhD student & #GRFP .
'15, Mathematics '19.
Co-organizer of the #BostonComputationClub (bstn.cc).
mxvh.plJoined September 2020
Max von Hippel ๐ปโs Tweets
*Challenges Encountered Building Slow Roads* with on 12/10, 5pm EST.
*Q&A: AppSec from OWASP to Present* with on 1/6, 5pm EST.
*Quiet: a Web3 Alternative to Discord* with on 1/15, 5pm EST.
And more! See : bstn.cc
1
Show this thread
Wow! The #BostonComputationClub just hosted a super fun event with of #DepthsofWikipedia. If you missed it, you can check it out in your preferred format below:
Audio: castro.fm/episode/8OXzq0
Video: youtu.be/nxgiId6JXYk
Next up, (1/2)
1
3
Show this thread
Do you think it would be possible to integrate something like ChatGPT into a theorem-prover, e.g., to improve lemma search, to explain complicated counterexamples to conjectures, to formalize things you're having difficulty formalizing, etc.?
1
Show this thread
5. (End of thread for now) It did get a little cocky and make some mistakes when I asked it to define composition for finite I/O Kripke Structures.
Show this thread
5. Counterexample generation, where I provide a mathematical definition (potentially a non-standard one). YES. It can 100% do this. Holy hell dude.
1
Show this thread
4. Proofs in #Coq. Maybe? It looks reasonable enough but I didn't run it. That being said the English explanation looks great and would probably be enough for an undergrad to work out the rest.
3
1
Show this thread
3. It can absolutely do basic proofs, in English. Here's a nice one.
1
Show this thread
2.1 Here is another example. Honestly, it's better written than some explanations in Oakland or NDSS papers ...
1
Show this thread
2. Looking up and summarizing information. It seems to be quite good at this. Here's an easy example.
1
Show this thread
#ChatGPT3 is deeply, deeply cool. Here are some things it can do, or sort of do.
1. Linear Temporal Logic Program Synthesis: Sort of. It does not exactly understand G F. But it's pretty close. If it was an undergrad I'd give it a B.
1
1
Show this thread
For more on this story, check out my short piece in the :
twitter.com/nugradunion/st
And 's coverage: twitter.com/doctorow/statu
If you care about fighting #surveillance, folks to follow include , moniotrlab.ccis.neu.edu, techsafety.org/iot-evidence etc.
Quote Tweet
As Privacy Institute PhD candidate @maxvonhippel wrote, "Reader, we have assigned desks, and we use a key-card to get into the room, so, they already know how and when we use our desks."
twitter.com/maxvonhippel/s 14/
Show this thread
4
9
Show this thread
Super cool that spoke with us to follow up on this story. Great piece! โ๐ฝ stands in solidarity w/ victims of surveillance tech
โNOโ: Grad Students Analyze, Hack, and Remove Under-Desk Surveillance Devices Designed to Track Them - VICE
2
16
23
Show this thread
OpenAI's new ChatGPT explains the worst-case time complexity of the bubble sort algorithm, with Python code examples, in the style of a fast-talkin' wise guy from a 1940's gangster movie:
178
3,382
18.4K
Show this thread
I can't compete with this
66
750
7,073
Check out a CS PhD student and GENU-UAW organizer on how grad workers came together and won when Northeastern non-consensually put sensors under grad workersโ desks
โThis kind of nonsense is precisely why we, graduate students of Northeastern, need a union.โ
Quote Tweet
We just published Itโs Not Science, Just Surveillance (Under Your Desk) news.techworkerscoalition.org/2022/11/29/iss
4
11
We just published Itโs Not Science, Just Surveillance (Under Your Desk)
1
13
17
I am canceling class tomorrow in support of the UC UAW graduate workers strike. Graduate employees are indispensable to the UC system and to higher education as a whole. They are not paid nearly enough, nor provided with sufficient benefits. #FairUCNow fairucnow.org/about/
9
162
1,281
John Lyons may have been an eminent linguist, but he clearly couldnโt English good extraordinary.
read image description
ALT
7
20
337
At 5am this morning, striking Academic Workers formed a picket line at a construction site at UC Berkeley and successfully shut it down by talking to the workers from OE, IBEW, and LiUNA. They are honoring our picket line and won't be building today. #Solidarity #UAWonStrike
read image description
ALT
14
705
2,697
Show this thread
Wherein I propose that C++ initialize all stack variables to zero, preventing ~10% of CVEs.
Cost: none.
๐ wg21.link/P2723R0 ๐
98
358
1,966
๐ฏ
๐ฏ ๐ฏ
๐ฏ ๐ฏ
๐ฏ ELON MUSK ๐ฏ
BUY HARVARD
๐ฏ ๐ฏ
๐ฏ ๐ฏ
๐ฏ
8
296
3,571
making my debut in the la times ๐
4
5
82
Let's be clear. Eli Lilly should apologize for increasing the price of insulin by over 1,200% since 1996 to $275 while it costs less than $10 to manufacture. The inventors of insulin sold their patents in 1923 for $1 to save lives, not to make Eli Lilly's CEO obscenely rich.
Quote Tweet
Official
We apologize to those who have been served a misleading message from a fake Lilly account. Our official Twitter account is @LillyPad.
4,138
91.9K
478.9K
"Byzantine agreement" has been a technical term for 40+ years, used in tens of thousands of papers. Still, if there was a grassroots movement of people identifying as byzantine who find it offensive, they should be heard.
But it's not up to an ICLR reviewer to make such demand.
Quote Tweet
#ICLR2023 review debate: Unethical use of language or nothing wrong? Share thoughts below.
Full review: openreview.net/forum?id=pfuqQ
Show this thread
8
17
114
(Presumably part 1 in a multi-part series on the topic.)
Show this thread
Hey , please consider buying Elsevier and managing it with the same aplomb you've brought to Twitter.
21
98
873
read image description
ALT
4
100
361
Show this thread
TIL that as the CO river dries up, AZ is leasing its largest underground aquifer to the Saudis, who are growing water-intensive alfalfa, which is then shipped back to S.A. to feed cattle. Market rate for the lease is $5 million/yr. Saudis pay $86K.
447
9,413
20.4K
he's so cool
37
2,087
28.5K
Many people advocate for a practical math education: financial and statistical literacy would replace abstract math. But my experience as a research mathematician suggests that people use algebraic geometry and number theory all the time.
84
151
2,630
Show this thread