Hacker News: lkuty

New comment by lkuty in "The Importance of Being Idle"

lkuty — Fri, 10 Apr 2026 14:31:33 +0000

L'oisiveté est la mère de tous les vices ;-) Which is a lie of course.

New comment by lkuty in "Tony Hoare has died"

lkuty — Tue, 10 Mar 2026 16:39:50 +0000

Rediscovering it through the Dafny programming language. Brings back memories of a 1994 University course.

New comment by lkuty in "Reverse-engineering the UniFi inform protocol"

lkuty — Tue, 10 Mar 2026 10:37:12 +0000

"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 ?

New comment by lkuty in "I'm reluctant to verify my identity or age for any online services"

lkuty — Tue, 03 Mar 2026 14:51:12 +0000

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.

New comment by lkuty in "Some silly Z3 scripts I wrote"

lkuty — Fri, 27 Feb 2026 12:43:16 +0000

Like in the Dafny pogramming language. Cfr. https://www.youtube.com/watch?v=oLS_y842fMc

New comment by lkuty in "Lessons you will learn living in a snowy place"

lkuty — Thu, 12 Feb 2026 09:02:31 +0000

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

New comment by lkuty in "1 kilobyte is precisely 1000 bytes?"

lkuty — Wed, 04 Feb 2026 10:40:26 +0000

Yes. Go check https://en.wikipedia.org/wiki/Metric_prefix and also https://en.wikipedia.org/wiki/Binary_prefix if you want 1024 bytes.

New comment by lkuty in "Time Machine-style backups with rsync (2018)"

lkuty — Mon, 02 Feb 2026 12:57:27 +0000

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`.

New comment by lkuty in "Presence in Death"

lkuty — Fri, 23 Jan 2026 17:51:10 +0000

Made me think of "How to do the jhanas" by Nadia Asparouhova: https://nadia.xyz/jhanas Cessation is impressive and the rest too.

New comment by lkuty in "The recurring dream of replacing developers"

lkuty — Sun, 18 Jan 2026 05:59:38 +0000

"(...) 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.

New comment by lkuty in "Creating C closures from Lua closures"

lkuty — Tue, 16 Dec 2025 12:49:43 +0000

Tsoding made a video about it : https://www.youtube.com/watch?v=0o8Ex8mXigU

New comment by lkuty in "Advent of Code 2025"

lkuty — Sun, 30 Nov 2025 15:02:32 +0000

Do you plan to share your solutions on Github or something similar ?

New comment by lkuty in "The surprising benefits of giving up"

lkuty — Tue, 18 Nov 2025 09:38:20 +0000

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.

New comment by lkuty in "The surprising benefits of giving up"

lkuty — Tue, 18 Nov 2025 07:09:32 +0000

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.

New comment by lkuty in "Learn Prolog Now (2006)"

lkuty — Thu, 13 Nov 2025 20:20:35 +0000

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.

New comment by lkuty in "Learn Prolog Now (2006)"

lkuty — Wed, 12 Nov 2025 18:40:31 +0000

@YeGoblynQueenne Dunno if it will ping the person

New comment by lkuty in "Control structures in programming languages: from goto to algebraic effects"

lkuty — Sun, 09 Nov 2025 07:30:32 +0000

https://www.youtube.com/watch?v=ck9DjekcK4M Looks like there are 14 videos.

New comment by lkuty in "Rouille – Rust Programming, in French"

lkuty — Fri, 31 Oct 2025 09:59:40 +0000

Haha the translation is so funny. But I confess, as a native french speaker, I could not code in that language. It is so weird because I am used to english for coding now. Sometimes I write my variable names in french and I think I even used accented letters one time. What is worse, is that I tend to mix english and fench variable names in my code, but anyway english is way more common in the code base.

New comment by lkuty in "Asbestosis"

lkuty — Mon, 27 Oct 2025 08:32:41 +0000

I think the median is better than the average because high salaries (outliers) will skew the average upwards. So now I am wondering what is the median salary and how it compares to the average.

New comment by lkuty in "Poison, Poison Everywhere"

lkuty — Mon, 27 Oct 2025 07:54:52 +0000

This raises the interesting point of finding a balance between knowing/searching and letting go when it comes to health. Lead is a major one but obession about health can lead to anxiety, stress. I think that finding the major factors that affect health is what matters (sunlight, sleep, walking, cooking with stainless steel, etc.) and letting go of all the minor details. This is an issue that has been close to my heart for years, and my perspective on it has changed over time. Anxiety can be a real problem.