solidangle

14 ms·

31.
by solidangle 7y ago
Any query optimizer worth its salt will push the filters below the join.
32.
by solidangle 7y ago
What's a good source for practice questions? Many problems on Leetcode are completely unsuitable as interview questions.
33.
Databricks raises $400M at a $6.2B valuation(venturebeat.com)
10 points by solidangle 7y ago|0 comments
34.
by solidangle 7y ago
Not just EU and US based users, but also Hong Kong and Taiwan based users.
35.
by solidangle 7y ago
At some point they will figure out that we're lying, and then they will elect another Trump.
36.
Network performance regressions from TCP SACK vulnerability fixes(databricks.com)
2 points by solidangle 7y ago|0 comments
37.
Databricks open-sources Delta Lake to make data lakes more reliable(techcrunch.com)
142 points by solidangle 7y ago|54 comments
38.
by solidangle 8y ago
Monster's University was not the first Pixar movie to use global illumination, but it was the first Pixar movie that used path tracing (combined with rasterization for the primary visibility). Earlier movies such as Up and Toy Story 3
39.
by solidangle 8y ago
The proof included with the proof assistant Isabelle is a lot shorter and much easier to read than the Cow proof (in my opinion): https://www.cl.cam.ac.uk/research/hvg/Isabelle//dist/library...
40.
Disney releases production datasets for rendering research and development(disneyanimation.com)
4 points by solidangle 8y ago|0 comments
41.
by solidangle 8y ago
These price comparisons are almost always disingenuous. One price only includes the cost to produce the medicine, and the other also includes years of R&D, 10+ years of trials, marketing, and distribution. Sure, the $84000 probably stil
42.
by solidangle 9y ago
Also have a Sony Smart TV, and I live in the EU. After updating the TV, it asked me whether I wanted to enable Samba, and I simply declined. Seems to be disabled now.
43.
by solidangle 9y ago
FYI, Real World Haskell (one of the books in the bundle) is available for free on the author's website: http://book.realworldhaskell.org/
44.
by solidangle 9y ago
Tikzcd is a LaTeX package for easily creating commutative diagrams with Tikz. This seems to be an editor which outputs tikzcd LaTeX commands. Many thanks for sharing this though. It is very easy and convenient to create simple diagrams with
45.
by solidangle 9y ago
This technique will remain useful with IPv6. NAT will disappear, but the stateful firewalls (which are often combined with NAT) will remain.
46.
by solidangle 9y ago
Here is a Coq formalization of C11: http://robbertkrebbers.nl/research/ch2o/ It only covers a large fragment of C11, but they formalized the operational, axiomatic, and executable semantics and proved that these c
47.
by solidangle 9y ago
Radboud University actually switched to Haskell this year, now that Ralf Hinze is teaching the functional programming course. Before they used to teach Clean (which is not that different from Haskell).
48.
by solidangle 10y ago
> This means that the behavior is somewhat unpredictable, sometimes you can have a formula with 60,000 free variables solved in under half a second, sometimes you can have a formula with 10 that takes an hour. It sadly also depends a lot
49.
by solidangle 10y ago
Everything has been archived here: https://obamawhitehouse.archives.gov All pages about president Obama's policies have been removed. Just like how white house website from during the Bush administration is archived here:
50.
by solidangle 10y ago
Personally I prefer this introduction by Barendregt (his books on Lambda calculus are really good): ftp://ftp.cs.ru.nl/pub/CompMath.Found/lambda.pdf
51.
by solidangle 10y ago
That's not my experience with Dell (in the Netherlands). One of the keys didn't work correctly, I called them and the next day one of their mechanics replaced the keyboard at my home.
52.
by solidangle 10y ago
I can no longer edit my post, but I just noticed that the arrow is different from relational composition. The semiring in my post is still interesting for graphs though, especially for reachability.
53.
by solidangle 10y ago
Yes! Graphs have many interesting algebraic properties. I'm not aware of articles treating graphs as Kleene algebras (I haven't looked for them though). Conway's "Regular Algebra and Finite Machines" [1] and Kozen&#
54.
by solidangle 10y ago
This is very interesting, but not all that surprising to me. Graphs are closely related to binary relations (on a single set). We can build a binary relation R such that x R y iff there is a directed edge from vertex x to vertex y. It is we
55.
by solidangle 10y ago
So does a renderer such as RenderMan use a baked format like Alembic or a format like USD?
56.
by solidangle 10y ago
Here in The Netherlands you can either end high school at 16 and go to a trade school, end at 17 and go to a so called university of applied science (or higher professional education) or end at 18 and afterwards attend a research university
57.
by solidangle 10y ago
Because it's convenient for him and his argument.
58.
by solidangle 10y ago
Sweden is continental Europe
59.
by solidangle 10y ago
*among billionaires The numbers of billionaires, and especially percentages of those, are a worthless metric. Billionaires are about as rare unicorns, especially here in the Netherlands (pop. 17 million) where we only have 9 billionaires in
60.
by solidangle 10y ago
The book is expensive, but it's worth every dollar in my opinion. I'd recommend waiting a few months though, the third edition will be released before the end of year.

More ›