olooney

71 ms·

301.
by olooney 8y ago
I looked up the Victor Powell visualization they cite and it's quite a bit more in-depth then the version they have: http://setosa.io/conditional/ But seriously, all of these interactive visualizations are amazing
302.
by olooney 8y ago
This guide covers many different topics and specialties related to logic so it may help to introduce a taxonomy so we don't get intimidated by the breadth of Dr. Smith's scholarship. Let's break it down into 5 topics: 1. Usin
303.
by olooney 8y ago
These are usually known as Zebra puzzles: https://en.wikipedia.org/wiki/Zebra_Puzzle There's a very famous one apocryphally attributed to Einstein: https://udel.edu/~os/riddle.html Searching
304.
by olooney 8y ago
MUMPS is definitely part of the problem. Easy access to B+ tree globals don't make up for dynamic scoping, loose typing, no namespaces, no 3rd party libraries (and an embarrassingly small standard library,) a terrible console-only de
305.
by olooney 8y ago
Isabelle[1], Coq[2], and Metamath[3] are probably the three most well-known automated proof assistants but there are many others[4]. Using them is very similar to programming - the mathematician writes his proof in a formal language using a
306.
by olooney 8y ago
Probably the stack overflow winter bash. https://stackoverflow.blog/2018/12/12/winter-bash-2018-2/
307.
Catalog of Gradient Descent Optimization Algorithms(ruder.io)
6 points by olooney 8y ago|0 comments
308.
Why Momentum Really Works(distill.pub)
3 points by olooney 8y ago|0 comments
309.
NIST Application Container Security Guide [pdf](nvlpubs.nist.gov)
3 points by olooney 8y ago|0 comments
310.
by olooney 8y ago
I agree. Lots of Python programmers use "_" as a variable name to indicate (by convention) that they don't intend to use the variable yet are syntactically required to give it a name[1]. Some common examples: for _ in r
311.
Data Science vs. Engineering: Tension Points(blog.dominodatalab.com)
2 points by olooney 8y ago|0 comments
312.
by olooney 8y ago
It's pretty obvious what part II will be, considering Part I is basically arguing that a full, ground-up, greenfield, throw-away-everything-and-start-from-a-blinking-cursor rewrite is an expensive mistake. Half the comments on this thr
313.
by olooney 8y ago
If the executives don't get a timeline from you, they'll get it from someone less knowledgeable. Estimates made in ignorance are almost always under estimates because they omit critical work the estimator is unaware of. Therefore
314.
by olooney 8y ago
> There is a trick to rewrites: start by writing a full suite of end to end tests. Once done you'll discover that you can easily stabilize your old code and make changes with this security harness. I would call that refactoring, whe
315.
by olooney 8y ago
When does this come crashing down, and what gets dragged down with it?
316.
by olooney 8y ago
> If you are given a choice, you believe you have acted freely. This works really well on kids. "Would you like to brush your teeth with the red toothbrush or the blue toothbrush?"
317.
by olooney 8y ago
Yes, frequently. A couple of highlights: PostgreSQL allows C extensions. A function which used to work was now segfaulting occasionally so needed to be fixed. Original author was gone, nobody really understood the PostgreSQL extension syste
318.
by olooney 8y ago
Trying to map natural language onto logic is a mug's game, although the converse - mapping logic into natural language - is possible. Leibniz was perhaps the first to understand that the solution to this was to abandon natural langua
319.
by olooney 8y ago
I agree with you, but it's important to acknowledge the strength of the argument against exceptions. I think Raymond Chen put forth some of the best arguments, claiming they were human error prone: https://blogs.msdn.microso
320.
Paradoxes of Material Implication (1997)(legacy.earlham.edu)
32 points by olooney 8y ago|23 comments
321.
by olooney 8y ago
Yes, and it has the same kind of "decades of slow incremental improvements by shaving corners off" kind of vibe. https://en.m.wikipedia.org/wiki/Moving_sofa_problem
322.
by olooney 8y ago
I think this is relevant (and very interesting in its own right): Peter Norvig discusses Python vs. Lisp as a pedagogical language: http://norvig.com/python-lisp.html
323.
by olooney 8y ago
This is good advice, especially because anyone who is serious about using the address will be passing it through CASS certification or geocoding on the backend before using the address. Such APIs are fully capable of parsing the full addres
324.
by olooney 8y ago
https://en.m.wikipedia.org/wiki/Rule_of_succession https://en.m.wikipedia.org/wiki/Sunrise_problem
325.
by olooney 8y ago
The rule of three gives an upper bound estimate that each page has a 3/200 or 1.5% chance of having a typo. For the 20,000 page book, the probability of typo per page is still 1.5%, but you have to roll the dice 19,800 more times, ea
326.
by olooney 8y ago
The claim of similarity to Duolingo seems to be based on the "Practice" tab, which let's you re-solve problems you've already solved once. Duolingo and similar apps use spaced repetition[1] to reinforce lessons which is
327.
by olooney 8y ago
Odd that this sentence: > Whereof one cannot speak, thereof one must be silent. did not get a citation. Perhaps its so well known among its target audience that none was considered necessary. Since HN appeals to a broader audience, I&#x2
328.
Visualizing Algorithms (2014)(bost.ocks.org)
1 points by olooney 8y ago|0 comments
329.
by olooney 8y ago
Google's "secret" adventure game uses the same trick of hijacking the REPL. The game is meant to be played in the debug console, and you can by defining verbs as top level variable names on the global "window" objec
330.
How to Make Nontransitive Dice(en.wikipedia.org)
3 points by olooney 8y ago|0 comments

More ›