leon

I like balls. B(c, r) : ∃r > 0, c ∈ ℝ^n

@adnauseams oh wow, very nice, I might try this tomorrow

@profleonn around 2+ hours, i don’t get distracted if people are around me and whatnot

finishing up the metamorphosis today

@n4v1g8 I honestly have no idea

@n4v1g8 I mean u can ya

I only now understood dynamic programming GOD I'm fucking retarded it's LITERALLY JUST A FUCKING DECISION TREE, holy fuck why was I not told this , jeeeeeez fuck me

@n4v1g8 wym

@profleonn … it’s not just memoization?

Nike probably owns like 90% of the sock market

I genuinely want to know, is there some sort of boundary that when crossed, the economy collapses? or like how does this hinder the us? I feel like they just fully ignoring it ...

@Eteims1 @LukasHozda yes

@profleonn @LukasHozda Lalamo???

Jensen got brain worms

@Eteims1 @LukasHozda u r lalamo?

@profleonn @LukasHozda Just because of stars 🌟

@_kiyosh1 lang

@profleonn whats that

I lowkey like scala

@jsuarez gg

The hottest new language in 2026 is C99

wait fp is actually just better

@OpenAINewsroom @astral_sh uh oh

We've reached an agreement to acquire Astral. After we close, OpenAI plans for @astral_sh to join our Codex team, with a continued focus on building great tools and advancing the shared mission of making developers more productive. openai.com/index/openai-t…

@this_maru it is !

@profleonn is this modus operandi theme?

I'm having so much fun solving these little problems

very grateful

crazy that I've already achieved 2/6 of my goals for 2026

@OyamaTypeBeat i agree, but I've also switched to mostly only computing during the day time sooo

@profleonn It's so much better to use it during daytime.

I unironically use use light mode more than dark mode now

@skydotcs scala

@profleonn what language?

@mitchellh why such a tuff pic

Excited to share that I've joined Vercel's Board of Directors. Vercel is made up of builders and tastemakers that continually ship things that deeply impact how developers work: Next.js, AI SDK, v0, etc. I can't think of a more exciting place to be. Let's fucking ship. ▲ My relationship with Vercel goes back to the earliest days. HashiCorp was an early adopter of NextJS and Vercel (~10 years ago!) and it remains my default tech stack and deployment platform to this day. Ghostty's website is all on Vercel, too! Beyond that, I've been continually impressed with the teams relentless focus on shipping meaningful software. And importantly, software that has incredible taste. Now we are in the age of agentic software development. Vercel is building agentic infrastructure that I think every app and agent will need (I certainly need it!) and I can't think of a more exciting place to be. Huge thanks to @rauchg , Jeanne, Marten, @cramforce, @tomocchino and the entire Vercel team for the warm welcome. Time to work.