If current library availability and platform support were not issues, the only languages I would use are Python and Haskell

Meeting an old friend after not talking to him for years is so fun. You and them just remembering random small things about the other person from ages ago and bringing that up is such a pure form of love.

The value of math is not calculation but the power to simplify

The thing about getting a cat is I can’t keep my watermelon unattended anymore

Apple Books needs to integrate intelligence into its look up button

I didn't appreciate how fast and cheap Devin was until I used some competitors Tools that don't index code take minutes to make lower quality plans that cost 5x more. They make me understand where my AI skeptic coding friends are coming from.

WE HAVE THE CHEAPEST 8xH100 INSTANCE OUT OF ANY MAJOR GPU PROVIDERS

This is Kiro - the AI IDE that actually works on your messy, real-world projects. Other AI tools lose context when projects get complex. Kiro gives you spec-driven development that scales beyond prototypes. Free preview available now spr.ly/6016429H8 #KiroDotDev

Given a locally small category C and functor F: C -> Set, Hom(C(c,-), F) is bijective with Fc for any c in C. Hope this helps

Know the least and understand the most

Eilenberg and Mac Lane: lets create a branch of mathematics just to formalize naturality

Funny thought: If the app developers configured metrics like a service developer would, they are monitoring how far people are scrolling so that they know when to adjust the code. Oncall might have even gotten paged for yesterday’s spike in loop limits reached.

Just came home to copilot going a little too ham