ginnungagap

14 ms·

91.
by ginnungagap 7y ago
The github link in [1] is dead, where is the repo now? I was curious about that compiler
92.
by ginnungagap 7y ago
It is a mnemonic if you're German, which is where the symbol comes from, it's the Z of Zählen!
93.
by ginnungagap 7y ago
I'm actually using VS Code for the Haskell project I mentioned in my submission, so I just finished figuring out how git works with VSC, this might be a good solution for me
94.
by ginnungagap 7y ago
Thanks a lot for the tutorial link, I was actually looking for a git tutorial because of the programming project from my university I mentioned in my submission!
95.
by ginnungagap 7y ago
I've been using overleaf for years and never realized it supports synchronization with github! Seems very straightforward to use as well, thanks
96.
Ask HN: How do you use GitHub for LaTeX documents?
5 points by ginnungagap 7y ago|9 comments
97.
by ginnungagap 7y ago
The bit is defined as the the entropy information (hence the expected value) of a random variable, which is also just a number
98.
by ginnungagap 7y ago
I suppose it's because reposting is not considered an issue if some time has passed since the last submission
99.
by ginnungagap 8y ago
No, it turns bilinear maps into linear one! If you have three R-modules (one can read K-vector spaces if unfamiliar with modules) N,M,P and a bilinear map N×M→P then there is a unique linear map N⊗M→P compatible with the map N×M→N⊗M which i
100.
by ginnungagap 8y ago
If you ask a mathematician a tensor is an element of a tensor product, just like a vector is an element of a vector space. This moves the question to "what is a tensor product", which you can think about as a way to turn bilinear
101.
by ginnungagap 8y ago
In some (maybe most, but my experience is limited to a few) German university they have sinks, sponges and a thing to dry the blackboard after wiping it with a sponge in every class
102.
by ginnungagap 8y ago
A hypersurface is usually a codimension one object, while a manifold can have bigger codimension or even not be embedded in an higher dimensional space at all
103.
by ginnungagap 8y ago
You might be thinking of Riemann, who died in Italy leaving some unpublished notes in Göttingen that were thrown away by his housekeeper
104.
by ginnungagap 8y ago
You can think of a tensor as "an element of a tensor product" (just like a vector is "an element of a vector space") and look at the definition of a tensor product via its universal property, it basically turns bilinear
105.
by ginnungagap 8y ago
It hasn't been mentioned yet but another great game with great music is Shadow of the Colossus!
106.
by ginnungagap 8y ago
Vakil seems very fond of that quote, the full title of his notes is "The Rising Sea - Foundations of Algebraic Geometry"!
107.
by ginnungagap 8y ago
A less dense book for commutative algebra is Miles Reid's Undergraduate Commutative Algebra, but it doesn't cover tensor product of modules which will definitely be needed for algebraic geometry. Also for everyone interested in At
108.
by ginnungagap 8y ago
You'll need a good background in commutative algebra to learn algebraic geometry, if you have that and want to see the modern approach, schemes and everything else that Grothendieck did, I suggest Vakil's notes, they're freel
109.
by ginnungagap 8y ago
For another recent example Ryanair is being fined in Italy not because their practice of not including the hand luggage in the price of a ticket is illegal, but because it hurts comparability with other airlines
110.
by ginnungagap 8y ago
You said "acccording to classical mathematics", which is not constructive so I assumed you were working in ZFC or some similar set theory. Also if we want to be precise I'd like to hear your definition of "finite definit
111.
by ginnungagap 8y ago
So you're arguing that a set can exist even if its elements don't? Because we can surely give a unique description of the set of real numbers (the unique complete ordered field up to iso) and this description forces it to be uncou
112.
by ginnungagap 8y ago
As far as I know CGT is mostly of interest to mathematicians, because there are some groups whose study require calculations that are absolutely impractical to carry out by hand, such as presentations of the sporadic groups. Or maybe you ne
113.
by ginnungagap 8y ago
Having just finished a geometric group theory course I was hoping to see something about the word problem for automatic groups, or at least an algorithm to compute Dehn presentations of f.g. hyperbolic groups, but it looks like a cool resou
114.
by ginnungagap 8y ago
An Abelian group
115.
by ginnungagap 8y ago
A similar "joke" in mathematics is that "a sheaf of groups is just a group of sheaves" (meaning that a sheaf of groups on a topological space X is a group object in the category of sheaves of sets on X)
116.
by ginnungagap 8y ago
There's actually a big debate between math educators on whether abstract algebra courses should follow a groups first or a rings first approach so it is totally possible to teach rings without appealing to groups. (I'd still argue
117.
by ginnungagap 8y ago
The different margin sizes on the left and right (swapped between odd and even numbered pages) are the standard for the book documentclass in LaTeX because that's the best for printing and binding!
118.
by ginnungagap 8y ago
There are some good combinatorics notes by Chernikov[0, pdf file] talking about VC theory if anyone is interested in learning more [0] http://www.math.ucla.edu/~chernikov/teaching/Combinatorics28...
119.
by ginnungagap 8y ago
Define (inside the system) the function S(1)=14 and S(n+1)=g(n) for all n\geq1 where g is any function which is not computable. I'm not convinced you can jump from "the function is uncomputable" to "the system cannot det
120.
by ginnungagap 8y ago
I'm confused by your statement, there's plenty of not computable functions for which we know whether S(1)=0 is true or not

More ›