LeanderK

68 ms·

721.
by LeanderK 9y ago
All the tools seem to mostly concern web-apps (something interactive). I have to build a essentially static website, what are my options? I am a bit out of the loop, but the appearance of the website is a bit unusual so using just a templat
722.
by LeanderK 9y ago
This sounds like an academically interesting question. Is there an academic community around these questions?
723.
by LeanderK 9y ago
I fear that we are moving towards a future that is shaped by monopolies (or the "digitalisation" supports monoposlistic strategies). If you read the slides, you notice that GM understands that by controlling everything (manufactur
724.
by LeanderK 9y ago
well, there is always: https://github.com/mikeizbicki/subhask which provides more flexibility on the categories you are programming in.
725.
by LeanderK 9y ago
I don't agree. Self-driving cars can solve the "last-mile" problem and I am convinced that they are actually the most important tool for building the 21. century public-transportation. At least in Europe, public transportatio
726.
by LeanderK 9y ago
it's impressive, granted. But it feels like a parody, the long loading-time, the horrible UI, the weird scrolling. It just screams Java.
727.
by LeanderK 9y ago
I am not an expert, but I recently took a course on formal systems, which included theorem proving. It was more focused on proving properties for code since this is the focus of my professor, but I was really surprised how well it was worki
728.
by LeanderK 9y ago
i really feel the same way. i would identify another niche, limited university-like courses. Something like google's 20%, but instead of persuing your side-project, you just take one lectures, tutorial and a seminar every friday mornin
729.
by LeanderK 9y ago
i enjoyed skimming the paper, but i don't agree to your conclusions. It reminds me of an recent discussion i had about Dependent Types in Haskell, why not just check for termination instead of asserting it (I know about the halting pro
730.
Ask HN: Should i publish my fork?
3 points by LeanderK 9y ago|1 comments
731.
by LeanderK 9y ago
the author raises some valid points, but i don't like the style it is written in. He just makes some elaborate claims about the limitation of Deep Learning, but conveys why they are limitations. I don't disagree about the fact tha
732.
by LeanderK 9y ago
I think our education system is pretty solid and well equipped to deal with tomorrows challenges and create competent employees (this is just briefly addressed in the article). While our education system is pointlessly complicated, a typica
733.
by LeanderK 9y ago
Wow, i think 25% is more than enough, they don't have costs that justify 25%. It's just their monopoly that allows them to charge that much.
734.
by LeanderK 9y ago
ok, thanks. I've read the comments, but the perspective from somebody "neutral" is always enlightening. I don't know whether Jigsaw creates a lot of work for one of Red-hats core-products or whatever, thus i took Red-hat
735.
by LeanderK 9y ago
can somebody provide a bit of background? I was looking forward to JDK 9 modules, but i didn't spent much time reading into it. I am quite surprised that it was voted down, since i think introducing modules is a step in the right direc
736.
by LeanderK 9y ago
Well, that seems drastic. After reading the article i am not convinced. They don't have the one big argument why one should use their app. Just being a bit better in something is not enough when building something like this (though i d
737.
by LeanderK 9y ago
Is there any work on a successor to SQL (just the language, maybe as an optional frontend)? I am not a fan of SQL, it works great for simple queries, but fails (in my opinion) for more complicated ones. They get way to complicated and hard
738.
by LeanderK 10y ago
i am a student and i recently started an organisations that provides short bootcamps (1 to 3 days), tech-talks and hackathons for other students at our university[1]. While i think my university provides a very challenging education, it&#x2
739.
by LeanderK 10y ago
don't agree with berlin either, of course some areas are more criminal (almost anywhere), but going on foot alone is still possible, even at night and i've been to most of the trouble-spots. Also: Munich, it's unbelievable sa
740.
by LeanderK 10y ago
forgive me if i am wrong, i don't know much about these matters. Just a quick thought. For me Elon Musks ventures seem a bit like angel-investors. Every company he founds has probability of making billions (car-company, rockets, tunnel
741.
by LeanderK 10y ago
i am studying CS an we had to use it (not learn it ;) ) in the 3rd semester to hand in reports in their special format. I first thought this is stupid, but later when i needed it (my math proseminar, CS proseminar then now (or next semester
742.
by LeanderK 10y ago
i agree! They are also surprisingly useful and not incomprehensible like Regex.
743.
by LeanderK 10y ago
To everyone new to haskell and confused: Don't judge haskell based on these definitions. They appear strange and crazy, but when you actually do stuff most of them turn out to be quite intuitive. My advice is to ignore these things. Do
744.
by LeanderK 10y ago
I strongly dissagree. Broken down, Neural Networks are surprisingly simpel and elegant. The combination makes them so powerful. Ideally, an elegant theory would abstract over these to provide bounds for arbitrary combinations, or groups of
745.
by LeanderK 10y ago
just syntax. Some leave them out, some choose colons, i've seen dots in formal systems (∀y.∀x.(x=y)) etc.
746.
by LeanderK 10y ago
really? it's not that different from the notation i am used to. {f ∈ [1..N ⟶ 1..N]| ∀ y ∈ 1..N: ∃ x ∈ 1..N: f(x)=y} would be the notation i am used to. I believe it's called set comprehension in english.
747.
by LeanderK 10y ago
That's very weird. Located near Heidelberg is Karlsruhe, where i am a CS bachelor student (university is KIT). This is very basic and we are absolutely required to understand this without thinking twice.
748.
by LeanderK 10y ago
sadly, no. Excerpt from the issue > In #401 @cnblogs-dudu referenced a post explaining that the GC was machine-generated from LISP. Since gc.cpp is not a real source code (just intermediate code), but the lisp code is, should it be more
749.
by LeanderK 10y ago
well, that really was a quick look. Any reading-recommendations about the kernel-functions? How do they work and why are they fast?
750.
by LeanderK 10y ago
i think if you want to change your eating behaviour, you also have to change your habits. It just doesn't work otherwise. But you can't change all habits. There is a pub with cheap burgers and cheap bear near my university and not

More ›