LeanderK

88 ms·

841.
by LeanderK 10y ago
I am currently hearing "formal Systems" at my university and that got me interested a bit. Can somebody comment why in practice it's so hard? In and ideal world I would image that certain languages are easier to prove (haskel
842.
by LeanderK 10y ago
Google was never attractive to me, it just seems like an real-live walled garden combined with an digital walled garden.
843.
by LeanderK 10y ago
i don't know the Bay area, but can you maybe get a job at a company that has some parking spaces?
844.
by LeanderK 10y ago
i agree. I think it's the problem that improvements for one group would hurt the other and power-users (man, that sounds stupid!) don't want to develop features that don't provide value for them, or would worsen their experie
845.
by LeanderK 10y ago
well, i was very active for greenpeace/other environmental organisations/the green party youth in germany. I know of these issues and it's getting better, but it's still awfully slow and frustrating. If you want some imp
846.
by LeanderK 10y ago
this question always pops up when i read stuff like this. Why are we never considering creating an artificial magnetic field? You could protect spaceships or settlements on mars. How much power would be required for either those things and
847.
by LeanderK 10y ago
Ahh, what exciting times we live in. Just look at the example applications: - autonomous vehicles - autopilot drone - personal assistant - personal robots - ... i know it's optimistic, but it's not science-fiction.
848.
by LeanderK 10y ago
can you elaborate a bit?
849.
by LeanderK 10y ago
this is an absurd agreement, i have never heard of something like this in germany. Is this common in other countries?
850.
by LeanderK 10y ago
What does HOA stand for?
851.
by LeanderK 10y ago
well, use cases might differ. I do most of the stuff on my laptop and only use my smartphone for reading in the train and social messaging.
852.
by LeanderK 10y ago
never got behind the paywall, so i have to ask: What about the distribution? Is it more of an general stagnation or did the wealth concentrate more? Also, if the gap widened, got the few lucky (high-earners reproducing itself) or is social
853.
by LeanderK 10y ago
i have immediately thought of that. Also Microsoft has Office Apps for Smartphones. I downloaded them once, but never used them. For a quick view a browser based solution would be sufficient, i really don't need full editing capabiliti
854.
by LeanderK 10y ago
I think it's pretty sad that these quite big companies don't manage to stay independent. All this power concentrated in very few ecosystems. If fear that the future holds nothing but walled gardens nobody can escape because some b
855.
by LeanderK 10y ago
this blog post is absurd. They are shutting down, not manufacturing/selling stuffy anymore. It's over, the bubble popped, icarus flew too high and crashed. And yet everybody having fun with their pebbles on the pictures. Also feat
856.
by LeanderK 10y ago
i think i have to apologise a bit, i might have posted the comment without thinking to much about it. the step "just a[n] rhetorical device" -> "just raising it" is quite natural, but if you don't agree to the pr
857.
by LeanderK 10y ago
you could raise them to deal with this kind of language from day 1, we do this in germany and it works out fine. Swearing is just an rhetorical device that's appropriate in some situations and not appropriate in others, like calling so
858.
by LeanderK 10y ago
RFID tags are way to expensive to scale. The margin for one of the products might be just a few cents, so with RFID tags they might have to sell at a loss or rise prices. This would eliminate the cashier, but at least in germany the wage&#x
859.
by LeanderK 10y ago
while i think you're right, but these things are not always visible to an developer/foreigner. Fraunhofer is not as visible as they should, because they are conduction a lot of commercial research in joint ventures with local busi
860.
by LeanderK 10y ago
i can only comment on the german economy, but i think it's not always comparable. It's true that germany is not producing the same number and caliber of startups as silicon valley, but it's very good at supporting medium size
861.
by LeanderK 10y ago
i would say that this is one of the main advantages of ML. You can even use it to process unstructured data.
862.
by LeanderK 10y ago
As somebody not into the whole ruby-ecosystems: What's an example that breaks compatibility between ruby and other implementations? And what's so wrong with JRuby that you won't even consider it?
863.
by LeanderK 10y ago
if i remember correctly the DLL was responsible for the library to not be portable. It might be that i don't remember this correctly, but some crucial part was not available so i could not use it.
864.
by LeanderK 10y ago
A bit off-topic. I recently had to endure an azure evangelist telling me on literally every slide that they are now open (they had a big blue "open"-rectangle on the upper-right edge). A moment later i got very, very frustrated be
865.
by LeanderK 10y ago
Yeah, i don't have the feeling that they will ever even consider open-sourcing non-crucial (from the business perspective) components. There is much to be gained by working together on Computer Vision for example, just compare the germ
866.
by LeanderK 10y ago
German here. My Problem with the German Car Industry is that they still see the car as a product, not as a platform. A car is a major investment and one that sticks to me for a while. I must rely on the car manufactures to continuously push
867.
by LeanderK 10y ago
I second this. I did my first math exam (Linear algebra 1 and 2) while trying to minimise memorisation and it didn't work out so great (passed, but barely). You have to memorise, to really understand it you also should be able to do a
868.
by LeanderK 10y ago
in my experience calculus is a good bridge between your average math-background in school and linear algebra. In some sense calculus is the natural extension of school math (at least in germany), its more complicated, more rigorous and more
869.
by LeanderK 10y ago
i am currently working on a side project [1] to search for java-method usages and also parse java-code on the backend, but it's not as fast as i would like it to be. I did some very obvious performance improvement, but i suspect that f
870.
by LeanderK 10y ago
I know that apple did a lot of controversial moves in the past years, but i still get the impression that apple takes privacy seriously and tries to respect it even when there is the fundamental need for data collection [1]. [1] https:&#x2

More ›