joppy

12 ms·

91.
by joppy 5y ago
Whatever the case, what you end up with is an asset whose actual value is tied to the interest rate (interest goes down, people can afford larger loans with the same repayments, therefore houses are worth more). This is a highly leveraged s
92.
by joppy 5y ago
The other huge benefit to symbols is that they are compact, and recognising patterns or performing symbolic manipulation is much easier when everything is shorter and closer together. Mathematics also uses a two-dimensional layout in some p
93.
by joppy 5y ago
I agree, as a computer science and maths undergrad, the first rewarding part of category theory was in algebraic topology where we first saw examples of very nontrivial functors (fundamental group, and homology). Up until that point, catego
94.
by joppy 5y ago
The original text is meant to mean a triple of statements: x < y if and only if w < z x = y if and only if w = z x > y if and only if w > z This can be tiresome (and obviously confusing) if you need to keep using it in many plac
95.
by joppy 5y ago
I’ve seen this used in the context of statements like “x is less than, equal to, or greater than y if and only if w is less than, equal to, or greater than z”. Which might be written “x ⪋ y if and only if w ⪋ z”.
96.
by joppy 5y ago
There are some huge (not insurmountable) obstacles to this happening. The biggest one, as I see it, is that so many mathematical objects need to be formalised into the system so that a theorem can even be stated , let alone its proof check
97.
by joppy 5y ago
It is pretty common for some pure mathematics papers to be pretty much book length anyway these days, say 80 pages or more.
98.
by joppy 5y ago
Arrays are nicer for the IN case because Postgres does not understand an empty list, i.e “WHERE foo IN ()” will error. Using the “WHERE foo = ANY(array)” works as expected with empty arrays.
99.
by joppy 5y ago
In C++ you can’t really even separate them if you want to define templates, because (unless I am mistaken) template instantiation can only be done at compile time rather than link time. It’s sad to not be able to cleanly separate the interf
100.
by joppy 5y ago
Zig is certainly not weird in the way that something like prolog or scheme are.
101.
by joppy 5y ago
There are languages which can automatically transform between a.foo(b) and foo(a, b) - for example the D language. Does this make 2.weeks.from_now more palatable? And if it does, then why worry about whether the code “goes on the class” or
102.
by joppy 5y ago
Cardinalities of sets do have sensible operations like less than and greater than though - |A| <= |B| if there exists an injective function from A to B. One has to check that this inequality behaves in the ways that you expect, but it
103.
by joppy 5y ago
I had to sign back into my computer on my windows install so that I could run the uninstaller, which seemed very odd. I had a one month subscription to in design so I could make some stationery (which went very well), but having to sign in
104.
by joppy 5y ago
Tikz is fantastic if you know exactly what you want to draw. However in the case of many academic papers and presentations, the author doesn’t know exactly what they want to draw until after most of the graphics are made - only then can y
105.
by joppy 5y ago
Do you think this is to do with wasm having no threading support at the moment?
106.
by joppy 5y ago
I guess the problem is that saying "tensor products are spaces of multilinear functions on vector spaces" is tantamount to saying "vector spaces are spaces of multilinear functions on vector spaces", which is simply not
107.
by joppy 5y ago
That’s definitely possible (the function should take two elements in F[x], not in its dual space), the problem is that there are strictly more linear functions on the set of polynomials than there are polynomials. For example you will have
108.
by joppy 5y ago
There is in fact another definition of “tensor rank” which has everything to do with the rank of a matrix. For a tensor t in a tensor product of vector spaces VxW, define the rank of t to be the least number of summands possible in an exp
109.
by joppy 5y ago
The easiest way to see it is cardinality: the space of linear functions on a countably-infinite dimensional vector space is uncountably-infinite dimensional. This is the reason why you can’t necessarily swap out vectors with linear function
110.
by joppy 5y ago
I think that tensors have a much more broad meaning to mathematicians. At least in pure mathematics and algebra, there is much more of a focus on the tensor product operation, a way of taking two (or more) vector spaces and producing a new
111.
by joppy 5y ago
It’s not a very high bar though is it, plaintext input and batch processing to produce image files?
112.
by joppy 5y ago
How big of a concern is this? Nowhere I’ve ever worked has been concerned with the ability to swap the database for a completely different one, in the same way they are not concerned with the ability to swap whatever programming language is
113.
by joppy 5y ago
People will break fewer rules the fewer rules you have - and people will also use their common sense to interpret the rules. “No pets” doesn’t seem like it precludes “friend drops by with a pet and we stay on the porch”, in the same way tha
114.
by joppy 5y ago
When working with lots of timeseries information I've found it helpful to always order comparisons so that left-to-right is always increasing, so I would write 2180 < week, or even (not 2180 < week) for the negation of the condit
115.
by joppy 5y ago
The whole async ecosystem in Python seems like a bordering-on-insane duplication of work, given that a huge amount of the benefits can be gained simply by running your application under gevent (which is what many in the WSGI server crowd ha
116.
by joppy 5y ago
I agree - PNPM supports workspaces, is incredibly fast, and is space-efficient (it more or less builds node_modules out of symlinks back to somewhere central on your local machine). It also structures the node_modules folder correctly unlik
117.
by joppy 5y ago
I would say that the vast majority of "real mathematicians" could not use such a proof system either - this is one of the major obstacles stopping the adoption of proof systems or proof assistants in the mathematical community. I
118.
by joppy 5y ago
This straightforward in the fish shell: > set array (string split ", " $string) Afterwards you can also use the fact that arrays and array elements act far more predictably in fish (no implicit splitting on whitespace, for exam
119.
by joppy 5y ago
In research maths, there are some results you use as a black box because even though you could re-derive the result, it’s just a ton of work and you’re glad someone else has done it. For example perhaps it involves some very tedious case-by
120.
by joppy 5y ago
An ID (I’m thinking specifically of a drivers licence in Australia) usually contains virtually all information anyone would ever need to identify themselves as you over the phone - name, address, date of birth, drivers licence number, etc.

More ›