joppy

27 ms·

211.
by joppy 6y ago
Wow, I've been using NumPy for quite a while and I've never seen this alternative documentation site, I've only ever seen https://numpy.org/doc/stable/user/absolute_beginners.html
212.
by joppy 6y ago
How does it matter how he opened a goat door? If you allow the possibility of Monty opening a car door, you change the problem entirely, and you before stating whether it changes or doesn't change the odds, you need to tell us your new
213.
by joppy 6y ago
I interpreted the original game as follows: you can freely choose any of the three doors. Monty then opens one of the doors that you didn't pick, and then you may again freely choose any of the three doors. (In the standard problem, th
214.
by joppy 6y ago
What door Monty opens is irrelevant. He shows you a door with a goat, you’re better off switching. He shows you a door with a car, you’re still better off switching. What matters is that when you first choose a door, you have most likely ch
215.
by joppy 6y ago
However, the other big product of universities is education (and I think it’s fair to say that most people who would think of attending one see the value in universities through how they can educate, rather than whatever research is going o
216.
by joppy 6y ago
What does this mean though? By utilitarian you mean to optimise for some utility function: how do you pick it? Does it allow for 99% of people to be fine while 1% live in absolute squalor? Does maximising societal output mean draining natur
217.
by joppy 6y ago
Taking some vague numbers from that article, a low-income salary might be $20,000, which gets an increase of 5%, so $1000. Meanwhile a high-income salary of say $100,000 gets an increase of 2.5%, so $2500. Which one is the bigger increase?
218.
by joppy 6y ago
Right, so I must have used the wrong words “sum type” when I should have said “union type”, but I thought the intended meaning was clear. It doesn’t necessarily need to be inside an Either wrapper, that is an implementation detail, neither
219.
by joppy 6y ago
How many languages have true sum or union types though? For example, in Haskell I can’t declare a function as (foo: (String | Int) -> Int) and then call (foo “bar”) or (foo 123), I need to create some kind of wrapper type (like Either) t
220.
by joppy 6y ago
Rigorous proofs can be introduced in many courses. Personally, my first course making a large emphasis of proof was real and complex analysis (which was the calculus course), then linear algebra. I also took “discrete mathematics for comput
221.
by joppy 6y ago
I strongly disagree. Having taught mathematics to many computer science students, virtually any mathematics course in which students need to write a proof is invaluable, regardless of content. While I agree that discrete mathematics is more
222.
by joppy 6y ago
Yeah, my experience of attempting a very simple refactor (change variable name) with the VSCode Python plug-in is: “Rope is not installed. Install?” - so I need a package in my virtual env just to rename variables? “Rope is installed. Refac
223.
by joppy 6y ago
Care to elaborate? Too much, too little?
224.
by joppy 6y ago
SQLite has foreign keys, but they are disabled by default for backwards-compatibility reasons. https://sqlite.org/foreignkeys.html
225.
by joppy 6y ago
1. Can be addressed by using a GUI which is not on the internet, for example SourceTree, the git interface in IntelliJ, probably many more. 2. Is often unimportant if the GUI tool can make common workflows one or two clicks. 3. Having the C
226.
by joppy 6y ago
Any function defines a covariant function by postcomposition. Take for example the string-length function (len : string -> int). We can take any other function which outputs a string, say (f : X -> string) where X is any fixed type, a
227.
by joppy 6y ago
Surely seeing an organisation being so careless in its maintenance of an extremely dangerous asset is criminal, regardless of whether or not a fire was started. “I own giant death cables in the sky but skimp on their upkeep costs” is alread
228.
by joppy 6y ago
Don't forget scrapping basically every environmental initiative that the Rudd and Gillard governments put in place, pretty much on his own personal conviction that climate change is not human-caused.
229.
by joppy 6y ago
Author names in alphabetical order is pretty ubiquitous in pure mathematics. There are also usually few (1-5) authors on a paper, and some people who contribute a small amount to a paper (say, a nicer proof of a lemma) are not listed as an
230.
by joppy 6y ago
I think the whole monkey patching thing is a bit of a red herring, gevent changes the python execution model enough that there may as well be a "gpython" command which runs Python - Python+gevent may as well be a different distrib
231.
by joppy 6y ago
> it's the easiest and most sensible solution to writing concurrent code in a way that won't become incomprehensible I don't think that async/await is necessarily the most sensible solution, there is also the "im
232.
by joppy 6y ago
Matrix square roots are related to square roots of real numbers: say that the matrix B is a square root of the matrix A if B*B = A. If A is positive semidefinite, then it admits a unique positive semidefinite square root in the same way tha
233.
by joppy 6y ago
It seems to me, still, that a lot of these problems you bring up can be addressed by universities changing their hiring policies. Which makes sense: academics ultimately rely on universities for their income, and so it is the hiring policie
234.
by joppy 6y ago
So both patch versions and minor versions signal the possibility of introduction of new bugs - is there a point to separating them?
235.
by joppy 6y ago
I think the suggestion that "universities could change their hiring policies" is a very good recommendation. There are a lot of problems in academia (bad research, lack of diversity, pressure to publish) that could be reduced if u
236.
by joppy 6y ago
What is the social contract of semver, as a library consumer? If either the patch or minor versions change, I should not care since everything is backwards compatible. But if the major version changes, all bets are off. This seems like almo
237.
by joppy 6y ago
You say "I've met way more people interesting in learning math than performing it", but I have found it downright impossible to learn mathematics without performing it. And I daresay this is true of most people -- a well-know
238.
by joppy 6y ago
It boggles your mind that “we are still in the early stages of developing this technology” does not include said technology on the front page? Some research projects are just not suitable to be shown on the front page at every point of thei
239.
by joppy 6y ago
A simple web server barely needs GC - allocate anything and everything needed during a single request from the same pool, and free the pool once the request is handled. The lack of GC can hurt developer time for other kinds of work, where t
240.
by joppy 6y ago
Ownership reasoning is not a productivity history in a web server, where the lifetime of pretty much everything is a single request which is handled and then disposed of. This is pretty much the simplest case for ownership. In a different a

More ›