a sum-type is a partition of a set, a product-type is the cartesian product of sets.
haskell and latex brain is such a good combination for me. I would otherwise never see that f is not the same type as f', but it's the same type as f'(x).
ai chats are too linear. linear chats are just a degenerate form of a tree chat. therefore ai chats can be structured like trees, where you can go back in a prompt chain and fork.
sqlite's type system is kind of ... wacky. They make up all kinds of confusing novel terms like manifest type, type affinities, storage classes, all to just talk about type coercion. Then the coercion function has metatype type affinity -> value -> manifest type. That's types…
If you have a hammer and everything is a nail, you'd better hope that hammer is a function.
Every story must have tension, otherwise it's an anecdote, a "cool story bro". Good commercials need to be stories too. The most famous commercial ever is the hippie one where they sing "I'd like to buy the world a home, and furnish it with love...". Where's the tension? It's…
Writing html from scratch is eye opening. Feels like assembly for the web.
ChatGPT is trying tell me there's a parallel between book structure and good html. is this true??
stories can be modeled mathematically. A story value is a vector, with an inverse, and with an ability to be scaled. This is what Save the Cat is telling you, except with no math simplifications.
This is is pretty cool. Just in time as my credits ran out and I signed up for codex. Let's see which one wins.
maybe the only point of Haskell is to be a penultimate boss to Rust, Lean, and category theory.
Well it took a while to draw this, but I figured it out. Oddly satisfying. Had to first figure out what a homothety is. Is there an agent that can take latex code, render it, and then improve on it iteratively? Maybe @overleaf?
Euclid had no concept of a ruler; you're not allowed to just "measure" and see how many inches long a line is. Instead it's all two circles from 2 points, which yields an equilateral triangle, which tells you the sides are the same, etc. Wild that he never just ticked off a stick…
The tikz-euclide documentation has some choice passages. Here's the French author being adamantly French, telling you his geometric philosophy in perfect English, and harkening back to the ancient Greeks with a dose of Sartre.
I really hope the nix community can recover from this infiltration of nut jobs and their nonsense, like we have in the Ruby world. There are so many good ideas over there that deserve so much better.
The majority of the NixOS Moderation Team (5 of 7 of them) has just mass resigned — and are threatening to leave the project entirely if their demands are not met. This appears to be in response to the NixOS Steering Committee (the elected, governing body) attempting to make…
Charm and vibes is the only reason I will watch a video instead of summarizing the transcript. @NetworkChuck is a king of this. Constant dad-jokes, great visuals, multiple angles, good sound...makes it enjoyable to watch and not just extract the info.
I keep making this mistake --- dont use terraform before you actually just click through the dumb web ui. Know what you're automating before you make it fancy.
United States الاتجاهات
- 1. FIFA 360K posts
- 2. The WET 117K posts
- 3. FINALLY DID IT 438K posts
- 4. Paraguay 28.1K posts
- 5. Brazil 79.9K posts
- 6. Argentina 230K posts
- 7. Frank Gehry 4,298 posts
- 8. Hep B 15.7K posts
- 9. Portugal 104K posts
- 10. Matt Campbell 11.2K posts
- 11. Morocco 68.2K posts
- 12. Croatia 25.2K posts
- 13. Warner Bros 245K posts
- 14. Iowa State 9,450 posts
- 15. #Mundial2026 40.9K posts
- 16. Group L 17.9K posts
- 17. #USMNT 1,434 posts
- 18. Infantino 75.1K posts
- 19. Ghana 84.7K posts
- 20. Norway 31.1K posts
Something went wrong.
Something went wrong.