tom

kernel poppa

[Jerry Tworek @MillionInt]

Two sentence horror:

For rent: GB300s, never used.

[OpenAI Newsroom @OpenAINewsroom]

We discovered a sophisticated recording device that was hidden inside one of our offices. We used our models to understand the device and where it had come from, identifying that a specific employee had planted it a few days earlier. We referred the matter to the FBI, and we’re grateful to the agents and prosecutors who moved quickly to make an arrest. The FBI’s investigation is ongoing and we will continue to support their work.

At this time, we have no indications of this individual inappropriately accessing or exfiltrating model weights, source code, or customer data. The employee was terminated.

We take protecting our technology, data, and people seriously, and as a matter of national importance. Our security program is designed to protect against a wide range of threat actors, from insider risks to cybercriminals to nation states, and this case is an example of how AI can help address these sophisticated security threats.

[Chaitanya @chaaai]

We’re organizing Vibecheck, a formal methods hackathon with some of the best folks in the space - @maxvonhippel, @qd_forall, @nolanlwin, @jessemhan, @emiyazono, and @workersio.

You’ll get a weekend to build real production software, and formally verify it.

We’ll have people who really know their stuff around to help, and you can come with a team, find one there, or just hack on something yourself.

We are glad to have a phenomenal group of sponsors, including @harmonicmath, @mathematics_inc, @theoremlabs, @thegp, @omnicom, @primeintellect, @astriolabs, @buildwithparty, @wearerandomlabs, and @lanyon_ai, as well as some more we will announce in the coming days!

If you’re a hacker, a formal methods person, or just someone who thinks “how do we know it works?” is an interesting question, we’d love to have you.

Signup Now: https://t.co/sAKQaDo0bV

[tom @thomasp_19]

@waterloo_intern is your value function a pareto frontier? nah, you can tell when things are better or worse.

[tom @thomasp_19]

@coreauto maybe now only 500

[tom @thomasp_19]

@kalomaze bitter lesson??

[tom @thomasp_19]

@suchenzang @GaryMarcus @paulg not beneath me 🤣🤣

[tom @thomasp_19]

@waterloo_intern @swyx hmm idk about this megakernel one. have u seen the megakernel vm from flappy/moondream compiler? i think ur latency analysis also missed out on a few things

[tom @thomasp_19]

@alexbronzini he’s dialed

[tom @thomasp_19]

@gabriel1 was bro not just talking about taking breaks from music

[tom @thomasp_19]

@ella_schlags :(

[tom @thomasp_19]

@suchenzang @doodlestein type shit

[tom @thomasp_19]

@_arohan_ @sonyatweetybird @MillionInt !!

[tom @thomasp_19]

@willdepue banger

[tom @thomasp_19]

@jparkjmc hmm idk

[tom @thomasp_19]

@mandylu lmfaoo got pulled into the cult

[tom @thomasp_19]

@creatine_cycle hbd bro!

[tom @thomasp_19]

@ewveggies lmfao meta

[tom @thomasp_19]

@ryangr once there is no more out of distribution, the generalization is implied

[tom @thomasp_19]

@pashmerepat @trekedge idt this is an indicator