Amélia Liao 🪄🧊
@plt_amy
Followers
4K
Following
47K
Media
2K
Statuses
34K
you sure showed them by writing in yahoo answers prose
10
21
736
btw these large scary math symbols are just dependent types
3
23
108
Listening to graninas will never be a worthy industry practice. 🚷 His takes become obsolete much faster than he can actually post them. 🚮 His so-called "books" are just a questionable tactic to squeeze money out of the industry.🧑🔧🔫🕵️ You know why. ⬇️
0
3
21
PLANT THE TOMATOS WHERE?
Thank god for HOA rules. People wanting to grow veggies in their front yards, leaving trees untrimmed, not getting weed control treatments. Parking dumb shit like trailers, boats and RVs in driveways. Doing work on cars in driveway. I’ll never live in a neighborhood without
3
10
140
it has been 0 days since someone made an unhelpful comment on the touchHLE GitHub that's just a verbatim ChatGPT response
4
14
151
@no_earthquake @GreatBooksofth2 @grassmannian @spitfountain0 @halomancer1 are u kidding me theyre huge on morality over at the nlab
2
6
57
I have no idea how to search for this but has anyone else encountered this bizzare issue where firefox ui popups on macOS just. get stuck there. and you can't click away from them. this is troubleshooting mode so definitely not an extension
0
0
3
Slides from today's talk on unfolding in implementations of type theory:
0
8
22
The answer is no! First, note that sSet = [Δᵒᵖ, Set] is a topos, and thus has a subobject classifier ω : 1 → Ω. It is easy to check that 1 (the terminal object) is a quasicategory – maps to 1 extend uniquely along any morphism. ...
Let sSet be the category of simplicial sets, and let qcat be the category of small quasicategories (the full subcategory of sSet spanned by those simplicial sets satisfying the inner horn filler condition). Is qcat a reflective subcategory of sSet?
1
2
15
I got up in the morning and my only reward were some cool shadows
2
0
17
Não há maior manifestação do descontentamento do homem com o mundo no qual foi cruelmente lançado que a existência do FIAMBRE (a.k.a. apresuntado). O negócio é literalmente um bloco de PORCO EMULSIFICADO. Um monumento à subversão da ordem natural das coisas.
5
7
62
A photographer took a photo of Melog before and after telling him pss
3
0
30
Twitter's bug bounty program has a new category: "Recommendation Algorithm Manipulation" Since a working proof-of-concept is required, this tweet is mine. Please help me demonstrate the "ask nicely" exploit, by engaging with this tweet.
190
298
2K
Important question, whose answer tells you a lot about someone : Imagine you had the opportunity to have a drink with any scientist from history, living or dead. Which drink would you choose?
167
11
199
the worst part of the salon isn't the caustic smells or the incessant itching it's Coldplay
0
0
4
you ever not want to check some coherence conditions so bad you start getting real philosophical about the nature of proof?
2
4
33