jderick

10 ms·

31.
by jderick 5y ago
Nicely done. Reminds me of an idea I think would be really cool, a site sort of like tiktok, but instead of focusing on original content, it focused on letting you find interesting video clips to pair with your own music. Sort of like how
32.
by jderick 6y ago
Where do the original textures come from?
33.
by jderick 8y ago
Was he then hired by a bank? :)
34.
by jderick 8y ago
I agree that the PhD system needs some rethinking but I don't think focusing research on more 'practical' problems is necessarily a good idea. I have seen 'practical' research going on in industry labs and I think
35.
by jderick 8y ago
One thought I had about this was related to a book I was reading recently about the Math Olympiad. It was discussing how in the US the way math is taught never allows the students to struggle with any hard problems. That experience of goi
36.
by jderick 8y ago
According to this website, the baseline for depression in America is 6.7%. http://www.mentalhealthamerica.net/conditions/depression 1/3 is not normal at all.
37.
by jderick 8y ago
If you have not seen it, you may be interested in his 116-page survey of the problem. https://www.scottaaronson.com/blog/?p=3095
38.
by jderick 8y ago
Do you think that quantum physics can tell us anything about 'the hard problem' in philosophy? Is it possible that the mind could somehow control how quantum states collapse in situations where randomness would be the typical exp
39.
by jderick 8y ago
Something I just learned: suicide is 120 times more prevalent among alcoholics and alcohol is involved in a quarter of all suicides. http://www.mces.org/pages/suicide_fact_alcohol.php
40.
by jderick 9y ago
You can probably find cheaper dinnerware at goodwill.
41.
by jderick 9y ago
It has been a while since I read the paper, but I believe they have some results where they ran AlphaZero without MCTS, using only the policy network. My recollection is that is still performed pretty well, but it was clearly outperformed
42.
by jderick 9y ago
It seems unlikely we will have any sort of effective governance for this (look at our current political system). At some point someone will invent AI that lets them gain an extreme advantage of some kind (financial, political or military).
43.
by jderick 9y ago
How is it different from a cellphone really, though?
44.
by jderick 10y ago
How? Buying property I guess could work but might be difficult in some foreign locales.
45.
by jderick 10y ago
Does this represent some kind of change for .NET? Why is it called 1.0?
46.
by jderick 10y ago
Paper is here: http://arxiv.org/abs/1512.08512
47.
by jderick 10y ago
Can it generate sequences of emoji that is has not seen before?
48.
by jderick 10y ago
Here is the best article I could find on the topic. If you have not read Piketty's book it is a good summary: http://scalar.usc.edu/works/growing-apart-a-political-histor...
49.
by jderick 11y ago
I agree it is silly to say a company was built by one man. Shockley was founded in 56, Intel in 68, so not sure if I would call that 'decades', though. I don't think any of the other early SV companies were as successful as
50.
by jderick 11y ago
I've never seen blonde roast decaf available.
51.
by jderick 11y ago
Cute photos, it reminded me of the classic Beatrix Potter tale if anyone hasn't read them they are great: https://en.wikipedia.org/wiki/The_Tale_of_Mrs._Tiggy-Winkle
52.
by jderick 11y ago
I prefer to use memoize.py whenever possible instead of Make. I think it is much simpler to let it manage the dependencies rather than having to code them explicitly. Almost every other make system I have ever used eventually devolves to
53.
by jderick 12y ago
Looks cool, I actually ended up using php a while back when I needed to do something like this in C++.
54.
by jderick 12y ago
It is also possible to apply model checking or theorem proving directly to the implementation. Doing so would be able to catch any sort of error that a static analysis tool would. Of course, static analysis typically scales better and wou
55.
by jderick 12y ago
Let me also recommend any interested in theorem proving check out ACL2. It is based on lisp and might be easier to get started with than Coq. There is a pretty cool website that lets you run it in a browser here along with a basic tutoria
56.
by jderick 13y ago
Why not put prices and sell the models? It's not clear if you can reuse these or not.
57.
by jderick 13y ago
This reminds me of a similar idea I'd like to see. A smart tracer that keeps track of function call args and results and possibly local variables in a cache. Then when your program crashes, it can show you not just the backtrace but
58.
by jderick 13y ago
I don't think reclining is that great for your shoulders / neck since it encourages your shoulders to slump forward and you will be likely to hold your head forward in order to see your monitor properly.
59.
by jderick 13y ago
I've used it and I like it alright. I like the CSP style communication and automatic serialization especially. However, I probably would seek another alternative in the future. Here are my primary concerns. 1. Erlang performance is
60.
by jderick 14y ago
DJ Shadow, Blockhead, Bonobo

More ›