Kototama

18 ms·

151.
by Kototama 6y ago
Interesting! https://github.com/nix-community/home-manager uses Nix to solve this problem. It adds reproducibility and rollbacks but with the cost of learning the Nix DSL.
152.
by Kototama 6y ago
Me too but I can tell you why. - Coherency: the way it works and is presented does not change much over the years. It's important for me. I don't want to adapt everytime a designer thinks he has a good idea. - Simplicity: it just
153.
by Kototama 6y ago
For a starter, having no integer types and non-symmetric comparison operators looks technically wrong to me.
154.
by Kototama 6y ago
This is great, BBC Micro Bot is the best bot on the internet :-). Now they make the entry barrier even lower.
155.
by Kototama 6y ago
Designing Data-Intensive Applications is excellent but also check these resources: - https://github.com/donnemartin/system-design-primer - http://aosabook.org/en/index.html
156.
by Kototama 6y ago
Because software development is closer to developing a prototype object than a production object. There is so much knowledge to gain from implementing the problem that need to reflow back to the conception for a (hopefully possible) second
157.
by Kototama 6y ago
It's a lot of Erlang :-)
158.
by Kototama 6y ago
I love Elixir but i will never advocate Dialyxir for somebody looking for static typing. It's super slow, it's not as powerful and rarely (but sometimes) it rejects programs that are valid.
159.
by Kototama 6y ago
What a cool question. I know Brogue ( https://sites.google.com/site/broguegame/ ). It's similar to Nethack but with a more user-friendly UI. The game has less depth than Nethack but the enemies AIs are supposed
160.
by Kototama 6y ago
Thanks for clarification. Which underlying (type) theory is used in GNATprove?
161.
by Kototama 6y ago
Ada is peculiar because the checks for the ranges are done at runtime. This mean you need a small runtime. A lot of languages are inspired by C and C++ and the types are simple in these languages so it could be an explanation. Haskell has `
162.
by Kototama 6y ago
I like that the primitives types are so refined in Ada. That's something that is missing in a lot of languages. You can define subtypes or different types and ranges from the integer type for example. A few years ago, I wrote a little
163.
by Kototama 6y ago
My experience with Garmin devices is that the hardware is good but the software is average. GPS device for example are robust and they can function both with batteries and piles BUT the software can crash, searching for names on a map or en
164.
by Kototama 6y ago
How did you decided that it was time to give away your technical books?
165.
by Kototama 6y ago
I saw that after posting. It's not a critic of Dylan's work, more a critic of how difficult it is to write good bash code. Your comment on shellcheck and Dylan expertise just confirm it. It's like C, you could write safe C b
166.
by Kototama 6y ago
> Uses a package manager written in less than 1000 lines of POSIX sh (excluding blank lines and comments). Enough to get 20 bugs :-). I wish there was a good standard alternative to bash (sh in this case) for shell programming. Otherwise
167.
by Kototama 7y ago
It's unreadable to you. The whole book is a play with other philophical concepts (from Marx and Hegel among others) which are most of the time not explicitly quoted, with a lot of détournements on top of it. As for the importance (or n
168.
by Kototama 8y ago
Another "natural" direction would have been to work on the security of smartphones.
169.
Oil Industry Copes with Climate Impacts as Permafrost Thaws(aspenpublicradio.org)
1 points by Kototama 8y ago|0 comments
170.
by Kototama 8y ago
One more confirmation that Ubuntu cannot be recommended anymore.
171.
by Kototama 9y ago
> Go is a better C Setting the scale for language comparison to C (or Python) is setting the bar pretty low. There are so much better languages out there.
172.
4-way TCP handshake and firewalls(lshift.net)
1 points by Kototama 10y ago|0 comments
173.
by Kototama 11y ago
Did you read the article before commenting? This point is mentioned by the author.
174.
by Kototama 11y ago
...but what can we tangibly do? Maybe write new code in a more consistent language, like Clojure? Or am I sounding too arrogant?
175.
by Kototama 11y ago
Git. Look for "homegit" on this page: http://chneukirchen.org/blog/archive/2013/01/a-grab-bag-of-g...
176.
by Kototama 11y ago
Yes but the argument is unidirectional. AGPL answers different needs than more permissive licenses. Also it would be good to recognize the work done before shooting out "wrooooong license (for me)", specially when it still is lice
177.
by Kototama 11y ago
It seems to be licensed under AGPL which means it is usable for a whole lot of stuff.
178.
by Kototama 11y ago
Really? That's surprising. Maybe they think the case where it fails is not susceptible to occur during a normal execution of the program. This reasoning could work if you don't define "a normal execution" :-)
179.
by Kototama 11y ago
In France there is the AMAP association ( http://www.reseau-amap.org/ ) which shares some of the same goals, but for non-profit and with a focus on organic products.
180.
by Kototama 11y ago
If you are interested in this, check also PicoBit: https://github.com/stamourv/picobit

More ›