Chinjut

9 ms·

151.
by Chinjut 2y ago
Too late. It's been flagged.
152.
by Chinjut 2y ago
You should be working 4 hours a day. It's 2025.
153.
by Chinjut 2y ago
It implicitly paints the administration, and thus Elon Musk, and thus Silicon Valley bigwigs, in a bad light. Very many of the users of this site will flag anything which does so, under the guise of politics being not of interest to hackers
154.
by Chinjut 2y ago
Is there something intrinsic to the general setup of government spending in the 1950s that makes it incompatible with equal rights for minorities and women? These would seem to be orthogonal issues.
155.
by Chinjut 2y ago
Are polynomials not used in probability?
156.
by Chinjut 2y ago
Oh, the American Enterprise Institute agrees with the Republicans, does it?
157.
by Chinjut 2y ago
I'm enjoying this a lot! Thanks for making it!
158.
by Chinjut 2y ago
Don't listen to ChatGPT. There are 44 non-abelian and 6 abelian groups of order 72. I wouldn't say these particular numbers are terribly important, but they are correct.
159.
by Chinjut 2y ago
What question?
160.
by Chinjut 2y ago
You are correct. Their answer is instead the sum of the first k terms of 1, 2, 6, 10, 14, 18, ..., for positive k.
161.
by Chinjut 2y ago
Encoding n as the set of all m < n is called "von Neumann ordinals". Encoding (positive) n as just the singleton set containing n's immediate predecessor is called "Zermelo ordinals". The main advantage of using
162.
by Chinjut 2y ago
Note that Quiver isn't really a tool just for drawing "commutative diagrams". It's a tool for drawing any labeled system of nodes and edges/arrows between nodes, whether or not this is to be interpreted as a commuta
163.
by Chinjut 2y ago
A commutative diagram is just a collection of nodes and directed edges between nodes (aka, a directed graph), but it's a directed graph along with the claim that any two paths in this graph which start at the same node and end at the s
164.
by Chinjut 2y ago
The c value you compute depends on computing the b value, though. It's not a recursion carried out in a way which avoids square roots. It's just carrying out the same AM-GM sequence computation, and then taking a certain weighted
165.
by Chinjut 2y ago
Why has this been flagged?
166.
by Chinjut 2y ago
The number of paths is the sum of 2^(y - x) over each pair (x, y) such that the x-th terminating question is the y-th question overall, plus 2^(number of non-terminating questions overall). In other words, for each possible termination poin
167.
Should the daily stand-up die?(leaddev.com)
1 points by Chinjut 2y ago|1 comments
168.
by Chinjut 2y ago
It's not clear that this oft-repeated story of the origin of Alonzo Church's lambda notation is true. See https://en.wikipedia.org/wiki/Lambda_calculus#Origin_of_the_... for other instances where Alonzo Churc
169.
by Chinjut 2y ago
"Lisp usually prefers expressive names". In addition to the exception of "lambda", there are also "car" and "cdr", which, while not Greek, are hardly transparent.
170.
by Chinjut 2y ago
Hm, actually, it's confusing, because clicking the [>_] links where it mentions running code gives different code than it just mentioned.
171.
by Chinjut 2y ago
Did you actually run the "fixed" code here? Its output is an empty list, just like the pre-"fixed" code.
172.
by Chinjut 2y ago
That is the same thing as what is being said in the comment you are replying "No" to.
173.
by Chinjut 2y ago
There is an extremely elegant solution to this modified question as well. In fact, it is always possible to fill a chessboard with dominoes with two squares of opposite color removed, by a very straightforward method (Gomory's Theorem)
174.
by Chinjut 2y ago
In particular, you seem fond of the application of Lagrange's theorem to deriving facts about prime numbers. Presumably, what you have in mind here is the proof of Fermat's little theorem by saying "The integers modulo prime
175.
by Chinjut 2y ago
There are many results, but whether you would find them interesting is up to you. (I don't even know what it would mean for a result to not be a "statement" or "observation". Every group-theoretic result is a statem
176.
by Chinjut 2y ago
The answers to these questions are exactly the same as for group theory or graph theory or linear algebra or any other such thing.
177.
by Chinjut 2y ago
Categories are very similar to groups. If you can see how groups come up often and so it can be useful to think about the concept of groups, it's exactly the same thing with categories. A group models the invertible maps from one struc
178.
by Chinjut 2y ago
This is exactly the approach described in the article.
179.
by Chinjut 2y ago
No, while it may have been fun to be a generalist in Euler's era, that wasn't bothersome to me. To be clear, the issues I found in academia had little to do with math specifically, and affected academia broadly. The usual issues y
180.
by Chinjut 2y ago
For what it's worth, I also have a PhD in mathematics and I also ultimately left academia with some disappointment at the gap between what it is and my sense or fantasy of what it once was or could be.

More ›