zeptomu

9 ms·

1.
Are Haskell selling points being slowly but surely acquired by rival languages?(reddit.com)
7 points by zeptomu 6y ago|1 comments
2.
by zeptomu 7y ago
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 Haskell (for example [1]). I would say it's some
3.
The Simple Haskell Initiative(simplehaskell.org)
8 points by zeptomu 7y ago|2 comments
4.
Gitlab 500s
2 points by zeptomu 7y ago|1 comments
5.
by zeptomu 7y ago
> 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 debatable if these projects would have been as succe
6.
by zeptomu 7y ago
My advice for people (who want to use SSH on Windows) is to install Git which ships with Git Bash and SSH.
7.
by zeptomu 7y ago
No, the data is from official government sources. OSM data is good, but mostly not that good in comparison with official sources.
8.
by zeptomu 7y ago
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/writing) files at all . Maybe I am conflating language
9.
by zeptomu 7y ago
> [...] 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 supervizor service (or collection of tools) on top of `
10.
by zeptomu 7y ago
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 quite reasonable - usage string included, I like it. Ha
11.
by zeptomu 7y ago
Yeah ... but how does that look? A "naive" wc implementation (counting the character '\n') is <50 lines of code (if we have modern file IO in the standard library) in a practical PL. But maybe there is a too big diffe
12.
by zeptomu 7y ago
> [...] 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 typed functional programming languages): "How can i
13.
by zeptomu 7y ago
Do you mind sharing your SAAS?
14.
by zeptomu 7y ago
> 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. That's just not true - VLC has many more features than
15.
by zeptomu 7y ago
> [...], 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 the Overton window) for shareholders of medi
16.
by zeptomu 7y ago
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 is most convenient via torrenting. People do sign up for
17.
by zeptomu 7y ago
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. In particular I miss the user-management, authentication and
18.
by zeptomu 7y ago
> 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 process (or stop the container)? In essence Jupy
19.
by zeptomu 7y ago
> 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 is not a feature for a computation environ
20.
by zeptomu 7y ago
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 free software. Still most modern drainage and sewer research
21.
by zeptomu 7y ago
> 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 windows and let's me enter a command which is fa
22.
by zeptomu 7y ago
It does not work for me on Firefox/Fedora (EDIT: it does ). However 'q:' still does nothing.
23.
by zeptomu 7y ago
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. Furthermore I can't use 'Ctrl-v' th
24.
by zeptomu 7y ago
> 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 projects include the documentation (or parts) as comments in
25.
by zeptomu 7y ago
Although it is not stated in the article, I suppose it is Sentinel2 (with highest resolution 10m for bands Red, Green, Blue and Near Infrared). The data is available for free and accessible via Copernicus or at major cloud providers.
26.
by zeptomu 7y ago
Although it is more difficult in 3D, it is still a very solvable problem, that won't work always, but in 99% of cases if the camera angle is not very low. Indeed, the checkerboard itself gives valuable information about the pose of the
27.
by zeptomu 7y ago
Interesting comparison and so far there does not seem to be a clear winner in this space - although there clearly is demand ("web shell for scientific work in a managed Linux environment"). At the moment CoCalc is my favorite, alt
28.
by zeptomu 8y ago
Nice work! It's always good to see minimal applications that string different stacks together without going overboard with dependencies. Suggestion to the developer: Remove the "Calculate" buttons and update mean(), std() and
29.
by zeptomu 8y ago
Refined data probably means getting insights from the vast amount of aerial imagery (and related like SAR or elevation model) data that has become available in recent years. Having access to the data is one thing (e.g. Landsat and Sentinel
30.
by zeptomu 8y ago
Nit-picky, but these are Unicode box-drawing characters which are not part of ASCII: https://en.wikipedia.org/wiki/Box-drawing_character

More ›