yuppiemephisto

7 ms·

61.
by yuppiemephisto 3y ago
Because it’s wrong . Combinatorics taught me that, and I’ll be damned before I ignore what the universe keeps screaming at me
62.
by yuppiemephisto 4y ago
Thank you for being pathologically decent to all. Sincerely.
63.
by yuppiemephisto 4y ago
I have pretty extensive experience with nonstandard analysis and you’re right. It’s just way easier to use nonstandard analysis since we have so many intuitions for plain numbers, and the construction works in every structure.
64.
Graphs and Manifolds(lesswrong.com)
1 points by yuppiemephisto 4y ago|0 comments
65.
by yuppiemephisto 4y ago
this made me realize one type of split in what is 'real intelligence': mean and max. chatgpt has high mean, low max relative to human. for automating the boring stuff, this is great. better at boilerplate than anyone i know.
66.
What it’s like to dissect a cadaver(alok.github.io)
208 points by yuppiemephisto 4y ago|102 comments
67.
by yuppiemephisto 4y ago
Negative numbers would be defined up to a unit, which are 1 and -1 in the integers.
68.
What is the prime factorization of zero?(alok.github.io)
4 points by yuppiemephisto 4y ago|2 comments
69.
by yuppiemephisto 4y ago
Have you read the book and implemented its algorithms?
70.
by yuppiemephisto 4y ago
the words are used synonymously in practice, but i think there's an opportunity to distinguish them usefully. suggestion: - 'factoring' is a multiplicative breakdown, a 'composition', like prime factorization. - &#x
71.
by yuppiemephisto 5y ago
It really is useful even at the advanced level. Following it far enough leads to the Atiyah-Singer Index Theorem and Hodge Theory. The advantage over the exterior algebra is that you have that and an interior algebra, which leads to many fo
72.
by yuppiemephisto 5y ago
TIL. Sounded reasonable to me, so quite likely I'm arrogant too. Tarsnap's still there though, so I'd say that's a good defense.
73.
by yuppiemephisto 5y ago
I don't agree with that phrasing. A lot of people on that thread seemed sure cperciva was some arrogant dickhead bound for failure, but tarsnap is going a lot stronger than many of them are. Also people in the thread were amazingly rud
74.
by yuppiemephisto 6y ago
Iteratively deepen.
75.
Using Vim's Conceal Feature to Make Code More Readable (For You)(alok.github.io)
1 points by yuppiemephisto 6y ago|0 comments
76.
by yuppiemephisto 6y ago
I found a compiler bug in Julia within my first 5 minutes of using it, and it took some courage to report it as a bug since I was so convinced it was my fault.
77.
by yuppiemephisto 6y ago
What is prefix/suffix agreement? Could you give a simple example of why prefix beats suffix? I'm curious and have never heard these terms before, and googling didn't help.
78.
Show HN: Notational Velocity for Vim(github.com)
171 points by yuppiemephisto 7y ago|33 comments