Hacker News: lkos

New comment by lkos in "The foundations of a provably secure operating system (PSOS) (1979) [pdf]"

lkos — Mon, 18 May 2026 10:22:53 +0000

I would honestly like to understand why Miagg's comment has been flagged.

New comment by lkos in "Anki ownership transferred to AnkiHub"

lkos — Tue, 03 Feb 2026 08:42:50 +0000

I would also like to second that. For me, making Anki cards was 50% of the learning.

New comment by lkos in "Presence in Death"

lkos — Fri, 23 Jan 2026 15:50:14 +0000

Also related: Mystery of the Tibetan Mummy (https://www.youtube.com/watch?v=gCkB9daCVZ0)

New comment by lkos in "Presence in Death"

lkos — Fri, 23 Jan 2026 14:14:31 +0000

The research mentioned in the article (which indicates no EEG activity): https://pmc.ncbi.nlm.nih.gov/articles/PMC7876463/

New comment by lkos in "Scott Adams has died"

lkos — Fri, 16 Jan 2026 06:27:48 +0000

One tangential observation: as a young software engineer, I became acquainted with Dilbert comics and liked them a lot. However, over time I realized that they contain a certain negativity that is not helpful. My work experience improved significantly after I stopped reading them.

New comment by lkos in "The five orders of ignorance (2000)"

lkos — Fri, 16 Jan 2026 06:14:43 +0000

>As a development life-cycle model, prototyping acknowledges that our job is not to build a system, but to acquire knowledge.

So if there is any hope in making software development faster, we need to focus more on the specification part - to get it right faster.

New comment by lkos in "Why AI Agents Replaced the Arduino IDE in My ESP32 Projects [video]"

lkos — Mon, 12 Jan 2026 08:02:05 +0000

I find this a useful overview of how LLMs could help with coding.

New comment by lkos in "Richard Branson's top 10 tips for success"

lkos — Sat, 15 Mar 2014 15:50:33 +0000

If you see no tips by those who failed then you fail to see the difference between success and failure :)