You might like
I can suggest an equation that has the potential to impact the future: 𝐍𝐚𝐭(𝐇𝐨𝐦(−, 𝐶), 𝐹) ≅ 𝐹(𝐶) + AI Given a category 𝒞, a functor 𝐹 : 𝒞ᵒᵖ → 𝐒𝐞𝐭, and an object 𝐶 ∈ 𝒞. This equation combines Yoneda’s famous Yoneda lemma, which relates a category (𝒞) to…
I think this is more like a particular choice of semantics for programs, which makes sense in some contexts but not others. Or maybe I'm missing the point that all programs can be reduced to these somehow?
Bohmian interpretation of quantum mechanics
Mention one scientific opinion that you’d defend like this ✍️
What is pip then?
Sometimes I don't know how else to convince people to try Functional Programming
Projective geometry is when you draw a lot of lines
People just learning that Israel is an authoritarian theocracy are like:
Whoa I just learned that interfaith marriage is illegal in Israel!! What the fuck?? This is insane.
Still getting weirded out about how: Lax functors C -> Span And Lax normal functors C -> Prof are the same thing
For R&D community nucleation, it’s exciting that @ToposInstitute opened a UK office, relocating @u_map_prop and @myers_jaz; while @JadeMasterMath and @tangled_zans used our funding to launch a new nonprofit research institute in Glasgow (GLAIVE: Glasgow Lab for AI VErification).
Cats are invariant under SO(3) transformations! 😼
You, foolishly: a double category has horizontal and vertical morphisms Me, wise, laying flat: no those are vertical and horizontal morphisms
Zariski inventing algebraic varieties was like:
Yes exactly. The trick is to find the right generality where the definitions have canonical choices
Above
If you were the empty set, where would you want your face to be?
I don't think this is fair. Think about how hard it is for a machine to distinguish "hallucination". There are just endless unknown unknowns.
The fact that LLMs still hallucinate 2 years after the initial release means: 1. Nobody knows how they actually work to fix them 2. Nobody actually cares
United States Trends
- 1. Good Sunday 48.8K posts
- 2. #HealingFromMozambique 15.4K posts
- 3. Discussing Web3 N/A
- 4. #SundayMorning 1,269 posts
- 5. #sundayvibes 4,294 posts
- 6. Wordle 1,576 X N/A
- 7. Auburn 47.4K posts
- 8. MacroHard 8,790 posts
- 9. Gilligan's Island 5,325 posts
- 10. #SEVENTEEN_NEW_IN_TACOMA 40.4K posts
- 11. QUICK TRADE 2,215 posts
- 12. #SVT_TOUR_NEW_ 32.3K posts
- 13. FDV 5min 2,237 posts
- 14. Utah 24.9K posts
- 15. Market Cap Surges N/A
- 16. The CDC 31.4K posts
- 17. Whale - Buy 1,759 posts
- 18. Boots 50.8K posts
- 19. Kirby Smart 9,142 posts
- 20. Arizona 39.8K posts
You might like
-
Emily Riehl
@emilyriehl -
Dr Eugenia Cheng --no advice please--
@DrEugeniaCheng -
Daniel Litt
@littmath -
Bartosz Milewski
@BartoszMilewski -
Matteo Capucci
@mattecapu -
Vidit Nanda
@viditnanda -
Alexandra ✨
@EulerWept -
Dr Valeria dePaiva
@valeriadepaiva -
Paolo Perrone
@PaoloPMath -
David Corfield
@DavidCorfield8 -
𝕐𝕖𝕞𝕖𝕖𝕟
@yemeen -
Zanzi Tangle, now at Monoidal Cafe
@tangled_zans
Something went wrong.
Something went wrong.