Viewing profile — zeptomu

So I have to admit I am myself not really sure. It has been posted on r/haskell where recently there have been several posts about some kind of less-is-more approach when writing H…

So it doesn't seem to be fully down, but currently I get lots of 500s from gitlab.com - I am not sure if this is related, but it happens more often, if I am in "Private Browsing" m…

> If using GPLv2 means companies stay away from the project instead of building on top of it, that's not a win for anyone. Like companies staying away from Linux or GCC? It's debat…

My advice for people (who want to use SSH on Windows) is to install Git which ships with Git Bash and SSH.

No, the data is from official government sources. OSM data is good, but mostly not that good in comparison with official sources.

These might be reasonable functions to implement in a standard library, so having them it makes sense to use them. I rather feared Idris does not have some IO abstraction (reading/…

> [...] aren't UNIX applications What kind of argument is that - so what? All major Linux distributions are doing very well with systemd and it makes sense to have some kind of sup…

Wow, thanks for the response - that actually looks like Haskell and if its performance is not that abysmal (let's say slower than Python), that is pretty cool. This actually looks …

Yeah ... but how does that look? A "naive" wc implementation (counting the character '\n') is But maybe there is a too big difference between the concept of "files" (as seen by OS …

> [...] Idris is a lot more practical than I thought. This may sound like a stupid question (but is probably necessary in a thread about the convergence of proof systems and static…

Do you mind sharing your SAAS?

> In addition subtitles, secondary audio, descriptive video, and multi-view video etc. are all things which we mandate by law which do not work well in a file base expierenced. Tha…

> [...], but is that it. Yes. I guess people would even pay for Spotify, if it's DRM free (which means the stuff on it can be copied), but that is still considered "radical" (in th…

Although I am a customer of some streaming services (they are convenient and have good and bad stuff), it is often nice to just get a file for a specific song or movie - and that i…

I agree with your parent. When I started with (Python) webdev some years ago I picked Flask, but nowadays I use Django, as it has superb documentation and useful things built-in. I…

> Containers used are small and get shut down on inactivity. How do you define inactivity? If I do $ nohup ./computational_intense_and_runs_for_100_hours.py & Do you just kill the …

> We've been recently working in a FREE hosted version [...] Oh no, you make it sound like this is a good thing. It only means I can't take you serious. Don't make it free . That i…

Fun fact: There is a software for modelling drainage systems called SWMM (Stormwater Management Model) that has been around since 1970s (!) and is programmed in C and released as f…

> The actual issue is that Windows and Linux don't properly use a ‘super’ key―while the ‘Win’ key is sitting there uselessly. For me (Gnome) the super-key shows an overview of my w…

It does not work for me on Firefox/Fedora (EDIT: it does ). However 'q:' still does nothing.

My test for "non-native" Vim is always 'q:' which should open a command line window of previous commands at the bottom of your screen - unfortunately that does not work. Furthermor…

> Lack of comments Actually I consider that a feature. If some piece of software requires some complex configuration I have to refer to some external documentation anyway. Many pro…