HNHacker News
TopNewBestAskShowJobs

lkos

7 karma · joined March 15, 2014

submissionscomments
lkos··on The foundations of a provably secure operating system (PSOS) (1979) [pdf]
I would honestly like to understand why Miagg's comment has been flagged.
lkos··on Anki ownership transferred to AnkiHub
I would also like to second that. For me, making Anki cards was 50% of the learning.
lkos··on Presence in Death
Also related: Mystery of the Tibetan Mummy (https://www.youtube.com/watch?v=gCkB9daCVZ0)
lkos··on Presence in Death
The research mentioned in the article (which indicates no EEG activity): https://pmc.ncbi.nlm.nih.gov/articles/PMC7876463/
lkos··on Scott Adams has died
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.
lkos··on The five orders of ignorance (2000)
>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.

lkos··on Why AI Agents Replaced the Arduino IDE in My ESP32 Projects [video]
I find this a useful overview of how LLMs could help with coding.
lkos··on Richard Branson's top 10 tips for success
If you see no tips by those who failed then you fail to see the difference between success and failure :)