Rahul Panicker

@ShrutiGoutham So proud of the wifey. Folks, she’s really really good. Has trained with some of the best in the world, and they all think highly of her. Please take her support if you’d like.

Congratulaions @mehul and team @maticrobots! Well deserved!

@satnam6502 Congratulations! Very happy to for you!

I have landed my dream job. I’ve just accepted a position at Harmonic, a Palo Alto startup applying AI to formal mathematical reasoning. Harmonic’s Aristotle formal reasoning model achieved Gold Medal level performance at this year’s International Mathematical Olympiad (IMO). I will work on exploring applications of Aristotle to the formal verification of hardware. This job is a perfect intersection of hardware design and verification, functional programming, formal methods and machine learning, bringing together several threads of my career so far. The beauty of asking an AI to generate a proof for a lemma (e.g. a formal property about a circuit) is that it can be checked by an external interactive theorem prover (like Lean) to establish whether the AI’s output is actually correct. This is an awesome superpower! harmonic.fun @HarmonicMath

🚨 New postdoc position in our lab @Berkeley_EECS! 🚨 (please retweet + share with relevant candidates) We seek applicants with experience in language modeling who are excited about high-impact applications in the health and social sciences! More info in thread 1/3

@dineshjayaraman Very cool. Love the TL;DR.

Excited to share our recent progress on adapting pretrained VLAs to imbue them with in-context learning capabilities!

@snigdhasur Terrible! More power to you.

I was torn about posting this, but other founders said I should. This is what female founders — who create a lot of value and still have our work devalued — have to put up with

@GaryMarcus SAS Rogue Heroes

Best show from last 5 years that isn’t Succession, Silo or Severance (all of which I loved)? After one of my most insanely hectic weeks ever, I need some downtime.

Interested in #AIResearch but haven't registered for #WSAI Post-Baccalaureate Fellowship yet? HURRY NOW! Last few slots left. A two-year research program designed for recent graduates passionate about AI, machine learning, and data science offers more than just research experience. Key highlights: - Get paid to work on cutting-edge projects - Access world-class GPU infrastructure - Collaborate with top researchers - Special fellowships for women To register, click: lnkd.in/gyrMgGmb #WSAI #IITMadras #AIResearch #DataScience #STEM #postdoctoral #OpenPositions #ResearchOpportunity #admissionsopen @ravi_iitm @karthikraman @rbc_dsai_iitm @IBSE_IITM @ai4bharat @wcte_iitm @cerai_iitm @iitmadras @EduMinOfIndia @OfficialINDIAai

@SuryaGanguli @TheHumanoidHub Don’t know for this one, but this article suggests 45% higher. I’m surprised if it’s only that much. theconversation.com/todays-humanoi…

@TheHumanoidHub What was the total energy used by the robot versus the human?

Unitree wins the gold medal for the 1500m run at the World Humanoid Robot Games, setting a world record time of 6 minutes and 34 seconds. The current men's world record is 3:26.

@prof_grimmer And so did GPT 5 Pro.

@prof_grimmer Well, Gemini 2.5 Pro got it. Though, in the chat history, I did ask it about the slice problem first (which it got), and then projection.

I've invented a simple, lovely math puzzle I expect every AI fails: Suppose you're a mathematical sailor at sea on a boat that has a perfectly cylindrical hole in the floor. All you brought is a collection of every p norm ball except p=2 (drat!). What do you do to save yourself?

@prof_grimmer Oh, so what would qualify? Has to have a circular-conical or cylindrical tangent?

@RahulAPanicker That older puzzle is a good warm up for this one but not sufficient. Cutting a 4-norm gets you a flat circular face but that isn't sufficient to plug a hole properly... :)

@danish037 @tarungupta360 Congratulations, Danish!

Still can’t believe it. Our work on uncovering plagiarism in AI generated research received the outstanding paper award at ACL!! Effort led by, and envisioned by the amazing @tarungupta360!

@hthieblot Would love to.

Demo days are boring. This Friday evening, we're trying something new. We're calling it a festival — it’ll feel like a World’s Fair. > boxing humanoids > food trucks > elevator robots > autonomous mini factories > voice-controlled arms > talking toys > farming drones > whoop bci for your brain > jarvis glasses w/ pcbs for you to build > self correcting eyeglasses > baymax irl > music studio 4 multiplayer garageband > ai air traffic control dashboard > 4 dimensional 3D printer (6 axis) > drone security for your home > cotton candy, matcha, DJs Comment for an invite.

This is a very inspiring weekend read. At 33, @PThorpe92 has now spent 1/3rd of his life in jail, and a quarter of that in solitary confinement, but today, thanks to some amazing programs in Maine, he works full-time as a software engineer for database company Turso while still in jail, paying 10% of his wages to the state. When Preston was 20, he went to jail for selling MDMA and Marijuana he bought on the dark web. He went to jail for a few years, got out with $0 and not many options and fell back into crime. By chance, he got transfered to Maine, the only state that lets inmates study for college while in jail. Preston studied remotely at the University of Maine Augusta and became obsessed with programming and ended up becoming a volunteer contributor to an open source project that led to a full-time job. Those that take college courses while in jail in Maine have a recidivism rate of 0.5%, compared to ~68% nationwide (3 year recidivism rate). Highly recommend reading the article, and even better his blog posts linked below.

@RishadPremji What a life of generosity he has led. Warm birthday wishes and gratitude to your dad, Rishad.

Happy 80th birthday to this guy 🤗

@christinacaci @TrustVanta @Wellington_Mgmt @sequoia @ycombinator @CrowdStrike @GoldmanSachs @jpmorgan @craft_ventures @Atlassian Amazing! Congratulations, Christina!

Today, we’re announcing @TrustVanta's Series D and new valuation – $4.15 billion – led by @Wellington_Mgmt alongside @sequoia, @ycombinator, @CrowdStrike, @GoldmanSachs, @jpmorgan, @craft_ventures, and @Atlassian. Vanta’s mission is to help businesses earn and prove trust.

I am looking for emergency area chairs for ARR (commitment to EMNLP). The task is providing the meta review for a paper submission considering 3 existing reviews. (The topics are RAG or LLM bias). The hard due is tomorrow. Please let me know if you are interested in.

@Jikkuvarghese All the best, Jikku. What next?

@chris_j_paxton Hardware doesn’t support. Need to use other means like policy over ethernet (not onboard), and wired power with estop.

Also someone buy this guy a wireless estop please