Rerarom

28 ms·

271.
by Rerarom 7y ago
General learning is uncomputable, it's called Solomonoff induction. You don't need general learning, you need something at least as powerful as the mess in a human brain.
272.
by Rerarom 7y ago
1) Do you think it's possible that Cyc would lead to AGI? 2) Do you think it's possible that Cyc would lead to AI advances that are impressive to the layman like AlphaGo or GPT-2?
273.
by Rerarom 7y ago
I am smart and I find AI as it is currently practiced utterly boring (always did, ever since my first course on neural networks back in university). I think I am not alone here.
274.
by Rerarom 7y ago
I get what you're saying. Pure math is much more palatable. Less "big science" and more individual/small-team work.
275.
by Rerarom 7y ago
What about working on stuff that no one will care about in the immediate future for various reasons, but that you definitely consider important to study?
276.
by Rerarom 7y ago
Not everywhere is like the US.
277.
by Rerarom 7y ago
You can live just off your usual salary, you don't need grants if you're frugal.
278.
by Rerarom 7y ago
This actually happened to me once - I walked for way longer than I expected (I had looked at a map just to get directions not caring much about distances), but anyway it was an errand I absolutely had to do that day, knowing in advance how
279.
by Rerarom 7y ago
I started using a microwave in 2005.
280.
by Rerarom 7y ago
I never paid attention to the scale when using a map.
281.
by Rerarom 7y ago
Is that good or bad? IKEA is thrown a lot as a metaphor but I have no idea most of the times what it should mean.
282.
by Rerarom 7y ago
So if you listen to something and you have no idea how it was produced, you have no idea whether it's interesting or not?
283.
by Rerarom 7y ago
I knew professors that slacked around all day long. In principle, you can work only one month per year writing an excellent research paper. And of course, planning your lectures during the rest of the time.
284.
by Rerarom 7y ago
The thing is if you want to become a professor a PhD is the only way. However low the chances are, they are zero otherwise.
285.
by Rerarom 7y ago
On the contrary, what kept me alive during the PhD was that if I do well, I won't have to get a 9-to-5 job
286.
by Rerarom 7y ago
Roughly four. The 'personal' email address (although I have some work-related emails on it) which is on Gmail, so I have push notifications on my phone. I also use webmail. The work address from the institution I'm currently
287.
Ask HN: What are the greatest achievements in programming?
2 points by Rerarom 7y ago|0 comments
288.
by Rerarom 7y ago
> maybe only 5% of girls are ever going to want to race cars, but the idea is to make room those 5% This is something that should be said more frequently, maybe packaged up in a catchy slogan, as it would enjoy nearly universal agreement
289.
by Rerarom 7y ago
Why aren't there more recent books on L-systems? I was very surprised at the scarcity of them considering the popularity of the topic.
290.
by Rerarom 7y ago
I miss stories written in that style.
291.
by Rerarom 7y ago
One could also use the built-in visual style engine by patching uxtheme.dll or by using StyleXP which patched it in RAM
292.
by Rerarom 7y ago
I used to love this once, when you're a child it feels like hacking, like forcing Windows to have a second start menu (if you make the new toolbar small enough, the folder contents appear as a menu).
293.
Cairo Desktop Environment(cairoshell.com)
243 points by Rerarom 7y ago|88 comments
294.
by Rerarom 7y ago
Yeah, but what you learned can be changed in the future (by learning more when you're in a more comfortable position), grades can't.
295.
by Rerarom 7y ago
I learned how to write proofs in 6th grade, with Euclidean geometry. Granted, in high-school and early university I became more comfortable with juggling alternating quantifiers (like epsilon-delta), but it wasn't at any point like the
296.
by Rerarom 7y ago
Lisp parentheses are not just for grouping. In Lisp, x is not the same as (x). That confused me a lot at first because it's rarely explicitly stated.
297.
by Rerarom 7y ago
That is how I finally got it, because I knew what groups/rings/fields were but did not realize at first that monads were just another abstraction like those and not an ontologically fundamental category. The way monads are usually
298.
by Rerarom 7y ago
You are right, but this is something that is not usually emphasized. I think I could have been persuaded back then that with enough cleverness you could write printf out of if's and while's :) Also, some years ago I even thought -
299.
by Rerarom 7y ago
Yeah, but I know what those are, I have a math background.
300.
by Rerarom 7y ago
My problem with understanding monads was as follows: I had no problem with understanding the mathematical definition, it was easy to check that a given monad verifies the axioms. No, my problem was this one: everyone was saying "hey, y

More ›