HackerLangs
トップ新着トレンドコメント過去質問紹介求人

lkuty

252 カルマ登録 17 年前

コメント

lkuty
·一昨日·議論
I don't think it is necessary to avoid Racket since "The language #lang sicp provides you with a version of R5RS (the fifth revision of Scheme) changed slightly in order for programs in SICP to run as is." DrScheme is great for this and probably the easiest way to start.
lkuty
·先月·議論
But then you have all the Erlang libraries for free which is huge. And you add to them the Elixir libraries and that gives you a lot of stuff, just like you get with languages with rich libraries e.g. Java, Ruby, ... I find it reassuring.
lkuty
·3 か月前·議論
Being belgian I thought that the city of Brussels did something. Using the term EU is more precise I guess in this case. For us, Brussels is just a town in our country, not the EU or representing the EU.
lkuty
·3 か月前·議論
L'oisiveté est la mère de tous les vices ;-) Which is a lie of course.
lkuty
·4 か月前·議論
Rediscovering it through the Dafny programming language. Brings back memories of a 1994 University course.
lkuty
·4 か月前·議論
"The whole proxy is maybe 200 lines of Go with an in-memory MAC-to-tenant lookup table." Is it possible to have the source code or is it private ?
lkuty
·4 か月前·議論
This is exactly what I am feeling (the title, didn't read). I can't see why I would give a copy of my official id card or a picture of my face to a basic service on the Internet. Seriously ? They do not deserve it. Even my phone number is too much but well Google has it now.
lkuty
·4 か月前·議論
Like in the Dafny pogramming language. Cfr. https://www.youtube.com/watch?v=oLS_y842fMc
lkuty
·5 か月前·議論
I realized this when I was on vacation in the french alps in summer time and saw a place dedicated for snow storage and labeled as such. I was "what ???" and then the penny dropped and I was impressed by that notion of having to store the snow somewhere since it does not disappear by itself. Funny
lkuty
·5 か月前·議論
Yes. Go check https://en.wikipedia.org/wiki/Metric_prefix and also https://en.wikipedia.org/wiki/Binary_prefix if you want 1024 bytes.
lkuty
·5 か月前·議論
Yes, I do not trust TM. That's why I have both a backup with TM for convenience and also to have all the files (including system files), and a mirror of the important files (basically my home directory) with `rsync`.
lkuty
·6 か月前·議論
Made me think of "How to do the jhanas" by Nadia Asparouhova: https://nadia.xyz/jhanas Cessation is impressive and the rest too.
lkuty
·6 か月前·議論
"(...) maybe growing vegetables or using a Haskell package for the first time, and being frustrated by how many annoying snags there were." Haha this is funny. Interesting reading.
lkuty
·7 か月前·議論
Tsoding made a video about it : https://www.youtube.com/watch?v=0o8Ex8mXigU
lkuty
·7 か月前·議論
Do you plan to share your solutions on Github or something similar ?
lkuty
·8 か月前·議論
Since my mother tongue is french, I guess I didn't choose the proper english word. In the context of an attack we sometimes see the "fight or flight" response. But I don't know what is the best term to translate "fuite" in this context.
lkuty
·8 か月前·議論
This reminds me of Henri Laborit's book entitled "Eloge de la fuite" (in praise of flight) which states that when faced with stress, we can respond with action, flight, or inaction. Unlike the other two responses, inaction is toxic to the body. Maybe giving up corresponds to flight. I didn't read the article.
lkuty
·8 か月前·議論
I only read the first 88 pages of Prolog Programming in Depth but I found it to be the best introductory book for programming in Prolog because it presents down to earth examples of coding like e.g. reading a file, storing data. Most other books are mainly or only focused on the pure logic stuff of Prolog but when you program you need more.

Another way of getting stuff done would be to use another programming language with its standard library (with regex, networking, json, ...) and embed or call Prolog code for the pure logic stuff.
lkuty
·8 か月前·議論
@YeGoblynQueenne Dunno if it will ping the person
lkuty
·8 か月前·議論
https://www.youtube.com/watch?v=ck9DjekcK4M Looks like there are 14 videos.