arximboldi

12 ms·

91.
by arximboldi 8y ago
I came to say the same. While they are not exactly competing solutions, for the most typical use-case (i.e. packaging, configuring and deploying software without dependency hells) Nix is simply so much better and less wasteful than docker.
92.
by arximboldi 8y ago
25 days of vacation is 5 weeks of vacation, 30 days is 6 (we only count work days.) And by free education I mean from 1 year until university. If you have kids that is a huge difference. Plus sickness, etc, which is expensive over there.
93.
by arximboldi 8y ago
While I would be happy to have higher salaries here, they are not really comparable to the US. Here you have a social system (free education, public health insurance) and work way less (hardly 8 hours a day, 25-30 days vacation as normal,
94.
by arximboldi 8y ago
I live in the neighbourhood, very close to where the "campus" is being built. I understand that Google has a lot of symbolic value in the protests, but I don't think that it actually will have such an impact. Paul-linke-ufe
95.
by arximboldi 9y ago
Thanks for mentioning Immer! I am studying Immutable-RS right now and it seems interesting. The code is much more straight-forward than Immer's thanks to Rust expresivity when it comes to sum types, etc. Sadly, on the other hand, som
96.
by arximboldi 9y ago
But mosto has too much sugar. I'd rather have a wine :)
97.
by arximboldi 9y ago
Not a great idea if you care about compile times.
98.
by arximboldi 9y ago
Emacs user here. I have used lot's of IDE's in the past until I decided to take Emacs seriously. The problem with IDE's is that you have to learn one for each language. Working on multi-language projects becomes really ann
99.
by arximboldi 9y ago
Mmm, I disagree. Influenced by functional programming, I prefer to use the style of: "keep all return statements at the same indentation level" in statement based languages. This way, it is easier to parse as an expression. For
100.
by arximboldi 9y ago
The real world is mutable in some sense, but our thinking, even in the most trivial exercises, works by detaching _objects_ them from their physical nature and building immutable _ideas_. Thinking is a struggle trying to find what is necess
101.
by arximboldi 9y ago
I agree. However, in spite of my collectivist tendencies, I have to admit myself that it is too easy to romanticise communities from the past. They could be vicious holes with no room for scape, as the rural book trilogy from García Lorca
102.
by arximboldi 9y ago
What?! That's amazing! You never stop learning bash I guess :)
103.
by arximboldi 9y ago
Torrents don't really work for music. Soulseek is your friend there, super old-school but great community and it has basically everything. I also buy almost everything I find on Bandcamp. Excepting those über-hipster techno artists w
104.
by arximboldi 9y ago
Not really. I did the math in the past because I seriously considered moving to the US cuz I got an offer there. In my estimates, you would end up spending the same % of your salary in surviving, but of course the remaining let's say
105.
by arximboldi 9y ago
Well, when I was using Windows more than 10 years ago... formatting your computer every 2 years was a good way to maintain performance, otherwise it would just slow down due to disk fragmentation + crapware accumulation. On Linux I could a
106.
by arximboldi 9y ago
Here in Berlin there is this theater, where they do silent movies with live music/effects regularly: http://www.babylonberlin.de/ Very much recommended!
107.
by arximboldi 9y ago
Kdenlive crashes _a lot_. But recently I discovered that it crashes much less if GPU effects are disabled and the binaries from their webpage (not from Debian, etc.) are used. Still it can be frustrating to use just because of the crashing
108.
by arximboldi 9y ago
Thanks willtim, for mentioning Ewig/Immer :) As Ralph and others have pointed out, their rope is fundamentally a persistent data structure. I think that one of the fundamental differences between how Rust and C++ deal with value and re
109.
by arximboldi 9y ago
I've heard that argument from various people but I don't understand it. If you don't need to produce clothes you have more energy and workforce available to produce other things, like infrastructure, and run schools, hospita
110.
by arximboldi 9y ago
That doesn't look like a hug at all. Also I liked how with the MSN one you could say ({) and your friend would reply (}). There is something meta about closing a brace there too... Ohhh, nostalgia.
111.
by arximboldi 9y ago
I agree. I find them most useful to express feelings or emotions, but so many of them are missing. MSN Messenger used to have a "hug" emoticon---replaced from ({) or (})---that I always miss as emoji. But then you have all these
112.
by arximboldi 9y ago
Well sure, but a high speed train could be built, right? In Spain (not really a high-tech country overall) there are trains connecting the country corner to corner with trains that go at like 300 KM/Hour average. Considering that trai
113.
by arximboldi 9y ago
This is sad. Flight is the most contaminating form of transportation.
114.
by arximboldi 9y ago
In 10 years they will love it and they will brag in front of their hipster friends for having watched it as young kids :-)
115.
by arximboldi 9y ago
I did some work on making Array Mapped Tries cache efficient here: https://sinusoid.es/misc/immer/immer-icfp17.pdf I am also exploring Hash Array Mapped Tries. CHAMP is a good start at making them cache efficient:
116.
by arximboldi 9y ago
> Many potential emergency room patients are too sick to drive themselves to a hospital. But an ambulance can cost hundreds or thousands of dollars without insurance. This is where a popular ride-sharing app can step in, while also freei
117.
by arximboldi 9y ago
The U-Bahn is good but many of the lines are quite old and the connections often too sparse, specially compared to other european capitals like Paris or Madrid. There are often very close areas that take surprisingly long to travel between
118.
by arximboldi 9y ago
Agreed. Berlin is a very child-friendly city, and the biking is part of it. It is very common for parents to carry their kids in the bike. And heavy traffic makes the city less child-safe, not more.
119.
by arximboldi 9y ago
Spain has been very much a car centric country but over the last years few cities have been pushing a transformation to become bike friendly. The biggest transformation I have witnessed is in Seville: https://www.theguardian.com
120.
by arximboldi 9y ago
Looks a lot like the good ol' zenity: https://help.gnome.org/users/zenity/3.24/

More ›