LeanderK

89 ms·

901.
by LeanderK 10y ago
That may be the border of my english-understanding, but i can prove non-existence of certain things (are they entities?). Since this is currently my seminar-research topic: In the Zermelo–Fraenkel set theory there is only one Urelement. I c
902.
by LeanderK 10y ago
well, a sorting algorithm has to sort arbitrary input, so def sort(ignore) = [1,2,3] does not count. The details are complicated and i am not sure if i am ready to understand the proof, but i think you can even proof that there is no optima
903.
by LeanderK 10y ago
I don't think that this is a sign that computer science lacks a decent unifying theoretical framework. We can even proof that there is no optimal sorting algorithm. "For every sorting algorithm x exists an input i for which an sor
904.
by LeanderK 10y ago
I don't think there is a lack of a unifying theoretical framework. Both the turing machine and the lambda calculus are well understood and the foundations of computer science (and are isomorphic to each other). I think the problem is m
905.
by LeanderK 10y ago
i think one of the major advantages over microsoft approach with Tay is that you can't mess with it on purpose, as long as they choose their subreddits wisely. It will probably learn its fair bit of racial slurs and insults, but thats
906.
by LeanderK 10y ago
its the same in karsruhe, Germany. Medium sized and a university campus (though not that many bicycles, it think 28% of all movement in the city is done by bicycle), but we are improving :D
907.
by LeanderK 10y ago
How many CS grads commited to open source projects regularly? Do they perform better in interviews?
908.
by LeanderK 10y ago
Thats interesting, any unemployed CS-Graduate from the UK here? Is it the lack of opportunities or the wrong opportunities that keep you from getting a job? What do you do to improve the situation?
909.
by LeanderK 10y ago
As a CS-Student i can not imagine going into a profession that you can just learn in some university and then just work in it. For me this seems rather absurd, that you can stop learning. You just have to manage that there is always somethi
910.
by LeanderK 10y ago
This keeps me up at night. I hope the collective advancement in science makes it possible to defeat cancer some day. I believe/hope that my contribution as a insignificant CS-student helps somebody develop tools that help somebody rese
911.
by LeanderK 10y ago
i was wondering if we want to permanently inhabit mars, can we create an magnetic field to reduce radiation? Can they be scaled down to a local one just spanning the habitat?
912.
by LeanderK 10y ago
not that java is my favourite language, i would even say that i despise it. But its here to stay and the discussion was about shitty static type-systems where Java is the poster-boy ;)
913.
by LeanderK 10y ago
i din't say that i don't look at source code, but not intuitively. I look at it when the method is very confusing, or i have to optimise one path, it is undocumented and important etc. What i wanted to say is that types give you a
914.
by LeanderK 10y ago
maybe its just what your used to. Most of my time I code in Java (and a bit of Scala) and i only look at the source code as a last resort. This is not really possible with JS. But i imagine with a lot of background in dynamic languages you
915.
by LeanderK 10y ago
i don't know why trying to simulate the brain is so popular when there is a conversation about how to archive AI. Most of our current achievement were inspired by nature but then separated to better exploit the different tools we have
916.
by LeanderK 10y ago
well, i don't know if thats the case in good ol'merica. But i don't think there are major obstacles to introduce such law in germany/europe. We already have media-laws and special press-laws (which regulate how stories m
917.
by LeanderK 10y ago
i also thought about that. But a society sets the rules businesses operate in, that ranges from environmental laws to other regulations. I think its perfectly valid to also set anti-censorship rules if the society think its valid.
918.
by LeanderK 10y ago
well, i don't think so. Here is the kernel: http://opensource.apple.com/source/xnu/xnu-3248.60.10/ What's above it is not rocket science and the argument could be made that it would hurt apple open-
919.
by LeanderK 10y ago
i am really disappointed by apple. I respect Apples wish to develop products in secrecy and i understand that you can't just open source your secret sauce. I also really like their products. But not publishing your advancements harms t
920.
by LeanderK 10y ago
well, as always, this is generalisation and individual experiences may vary ;) (is this grammatically correct?). This is not a critique of your argument, but most of the time if discuss these kind of articles (or general psychological thing
921.
by LeanderK 10y ago
Do we really need one post a day on the frontpage where somebody reimplements something in Go? Just because the language is really hyped right now?
922.
by LeanderK 10y ago
I like Lisp, but i really hate these posts. In Lisp you can do some powerful stuff, but these posts (which come up) are just trying to promote the language by being overly clever. Don't try to be overly clever when programming. Also th
923.
by LeanderK 10y ago
you can limit your usage of google/fb but you can't escape windows (without switching the os).
924.
by LeanderK 10y ago
i don't understand why nobody sees them as a symbiosis. We haven't solved anything if driverless cars are clogging up the highway, but they can solve one of the biggest problems for mass transit, the last/first kilometres. I
925.
by LeanderK 10y ago
was it a complete rewrite? I don't think thats the right way to transition. Why didn't you try to separate the features one-by-one from the monolith? That would give more immediate feedback and real problems to work on instead of
926.
by LeanderK 10y ago
i know i may not be representative, but i am still interested in your experience.
927.
by LeanderK 10y ago
yeah, thats still not easy (or trivial, its not hard) for larger projects. I use environment variables for smaller projects, i have predefined environment variables for the images that get substituted for the real thing by docker compose, w
928.
by LeanderK 10y ago
I agree with you, its more efficient. For university i learn from the script and slides (and sometimes books). But i also think its much more exhausting. I play the video tutorials when i am in bed before i sleep (or while sleeping :) ). Th
929.
by LeanderK 10y ago
I really, really like video tutorials. I always have problems learning completely new languages because i can't motivate myself to complete the introductionary books. I want to start building things from day one, which is only possible
930.
by LeanderK 10y ago
I even use docker in hobby-projects, because it makes (once you have figured it out) deployment so easy. Its easy to ship, update and ships fully configured (especially if you the debug and production docker-compose share a common root). It

More ›