Eric Bond

too many Nazis here. left for greener pastures

[Trajan Hammonds @trajan317]

Tonight I found out that the NSF math postdoctoral fellowship I applied for is being deleted because it does not comply with Trump’s executive orders on DEI in the federal government. I’m going to answer some FAQs and share some thoughts about this ordeal in this thread 1/n

[Eric Bond @EricBond10]

@bgavran3 Boo! 😐

[Eric Bond @EricBond10]

@mattecapu Please

[Talia Ringer 🕊🪬 @TaliaRinger]

Join me, Adam Chlipala, and @wtgowers at 1PM Eastern for a webinar on proof assistants, spanning both verification and mathematics

https://t.co/3ZU4IrvQqI

[Eric Bond @EricBond10]

@bgavran3 @symbolica Congrats! 😎

[Eric Bond @EricBond10]

@alpha_convert Similar vibes https://t.co/GUwFZuZOiN

[Eric Bond @EricBond10]

@nelsonsniu Ooh! Congrats! Who will you be working with? Or what team?

[Eric Bond @EricBond10]

stronger legal cases. It’s hard to bring this up without “democrats just hate Trump” being thrown in your face.

[Eric Bond @EricBond10]

I watched the entirety of the Jan 6 hearings as they came out. Frontline produced a 2 hour documentary summarizing their findings and the more recent developments in his other criminal prosecutions.

https://t.co/GmIlhJ2brv

[Eric Bond @EricBond10]

Unfortunately, from the opposite media sphere, there is the appearance that Democrats repeatedly cry wolf (steel dossier, mueller, impeachment #1..). Unfortunately this dilutes warnings of Trump’s most egregious behavior (the Mar a Lago documents case, Jan 6) which seem to be

[Eric Bond @EricBond10]

@ionathanch @MarisaVeryMoe I regret looking

[Graham Hutton @haskellhutt]

The Midlands Graduate School (MGS) in the Foundations of Computing Science will be held 8-12 April 2024 in Leicester, UK. Seven great courses on category theory, proof theory, type theory, modal logics, and more. Please share! https://t.co/pO1aAmm6Qa

[arXiv math.CT Category Theory @mathCTbot]

Nelson Niu, David I. Spivak: Polynomial Functors: A Mathematical Theory of Interaction https://t.co/01EdDDfwib https://t.co/v1upj5ZWef

[Eric Bond @EricBond10]

@mahdi_tcs Ultimately, you should be able to prove with a computer using natural language.

[Eric Bond @EricBond10]

Watch this be equivalent of using an LLM to synthesize LEAN proof terms for basic algebra.

A truly novel idea I’m sure nobody has worked on. Mechanically synthesized proofs? That too is surely an idea has isn’t more than 100 years old. AGI must be right around the corner

[Eric Bond @EricBond10]

Q* , the new conspiracy cult for tech bros.

[Eric Bond @EricBond10]

https://t.co/q1k0dSPYR8

[Eric Bond @EricBond10]

@ionathanch Bezos Balls

[Eric Bond @EricBond10]

@itblumenfeld Have you been in a waiting room for 72 hours??