I wonder about the ethical and legal implications of this work. We've all read and watched sci-fi that warn about the implications of doing this, but biologists agree that reducing diversity within a population makes it much more at risk.
Liquid Types are more limited than "full dependent types" like Lean, Rocq, Agda or Idris. In Liquid Types you can refine your base types (Int, Bool), but you cannot refine all types. For instance, you cannot refine the function (a:Int | a > 0) -> {x:Int | x > a}. Functions are types, but are not refinable.
These restrictions make it possible to send the sub typing check to an SMT solver, and get the result in a reasonable amount of time.
Jobs would have kept the button on the bottom, as it's not the proper way to use a computer.
Instead, he would have put motion/light sensors on the screen, so it would automatically wake up when you are sitting in front of it. Macs don't shutdown, they just go to sleep and wake up when you need them.
I think the (hidden) reasoning is that it is really easy to have speedups with slow interpreters. However, getting speedups in high-performance level programs is quite hard, mainly due to micro-optimisations.
That's where the comparison to Python comes from: getting speedup on slow interpreters is not very _relevant_. Now if your interpreter has the same optimisations as Python (or v8 or JVM), even a small fraction of what you show would be impressive.
Having said this, the work your team did is a really challenging engineering feat (and with lot more potential). But I do not believe the current speedups will hold if the interpreter/compilers have the level of optimisation that exist in other languages. And while you do not claim it, people expect that.
Couldn't you use a regular DNN with one-hot encoding of all the movies seen by a user (and the corresponding genres)?
And boosting can give more weight to certain movies or genres.
I’ve learned that ubuntu upgrades only if you update to the next version as soon as it is released. I have a 14.04 server that I cannot upgrade anymore and it sucks.
Also, NVidia and Cuda drivers mess the upgrade path as well. And ubuntu is the most supported distro.
I have the WD15 connected to a 2016 MacBook Pro and it is incredibly unreliable. USB devices stop working randomly (mouse+keyboard), ethernet comes and goes as it pleases and the display output works for one month before stops working all together. The only thing that works reliably is power supply.
Windows 7 (and 8?) had an activation procedure that would be blocked if the hardware changed since the last one (I can’t remember the exact hw they hashed). They have since went back on the restriction and windows 10 has more forgiving activation rules.