Lucas Saldyt
@SaldytLucas
@ASU Ph.D. Student of @rao2z. Neurosymbolic programming for robot planning, RL, and world models. Autonomous Long Distance Driving @NASAJPL незалежність 🇺🇦
My wife and I started dating knowing there was a good chance she'd soon be hired to work at the South Pole, but decided that day we'd never force a choice between us and our respective dreams. She got the job, we endured 321 days of bitter separation, interspersed with…
Share a piece of dating lore about yourself.
“I love your eyes. They remind me of ...” “… the ocean?” “No. The reflective coating of a Celestron schmidt-cassegrain optical assembly.” 💙💙💙
One of my all time favorite books! Can’t wait for this movie!
11.9 Light-years from home. 6th grade science teacher. 1 chance to save us all. Watch the trailer for Project Hail Mary – based on the novel by Andy Weir, starring Ryan Gosling, and directed by filmmakers Phil Lord and Christopher Miller. Only in theaters and IMAX - 3.20.26
PSA: Don't say "Longer thinking kills performance" when you mean "Length of intermediate token string is not correlated with final accuracy"
i wake up. something’s wrong with the clock on the wall. the numbers are jumbled. my hands aren’t right. i tell my wife. she responds: “that’s not just an observation—it’s a powerful insight.” i scream.
You're effectively paying someone to break their NDA, not paying for their labor.
Can someone explain why zuck is willing to fork over $1 billion to hire a single AI engineer? What does zuck know that we don't?
Imagine having a house like this and not having 12 children and a machine shop.
Fuck you money
"A human being should be able to change a diaper, plan an invasion, butcher a hog, conn a ship, design a building, write a sonnet, balance accounts, build a wall, set a bone, comfort the dying, take orders, give orders, cooperate, act alone, solve equations, analyze a new…
You need to be side quest maxxing. Get your pilots license. Get scuba certified. Go sky diving. Get your coastal cruising certificate. Become a sommelier. Get every niche / pointless certificate & license you can.
this isn't just a funny joke, I think it's actually a very insightful point about the future of work
“Lawyers are going to be replaced by computers” um a computer can’t go golfing with the judge
Breakfast. Total cost under $4. Prep time about 10 minutes. Poor diet has nothing to do with poverty or being too busy.
Twitter was launched 19 years ago. What is your favorite tweet ever?
Twitter was launched 19 years ago. What is your favorite tweet ever?
Corollary: If you feel a compelling need to interpret intermediate tokens as "computation", you are better off viewing them as attempts to bridge the gap between the training distribution and the test instance, rather than as an attempt at "solving the test instance".
Computational Complexity is the wrong measure for LRMs (as it was for LLMs)--think distributional distance instead #SundayHarangue (yes, we're back!) I have argued in the past that computational complexity is the wrong measure/metaphor for understanding how standard LLMs do on…
"how can I use these rocks to make a fake world that devours the real one"
just explained to the European intern that he has to work in August.