Halvar Flake

addxorrol.blogspot.com · Personal blog · on HN since 2007

Halvar Flake (Thomas Dullien) is a security researcher who writes about vulnerability disclosure, security mitigations, and LLMs.

What HN saysHN links it for his security arguments, and a weird-machine author cites his post on 'Turing complete' as incorrect and misleading terminology.
34HN people shared it
5linked it in comments
45stories submitted
1.0Kstory points
7 months agolast shared
2007people per year2026

Most-shared posts

  1. 1
    Rashomon of Disclosure
    5 people · 73 points · first shared 2019 · 2 comments on HN
  2. 2
    Someone is wrong on the internet (AGI Doom edition)
    4 people · 88 points · first shared 2024 · 101 comments on HN
  3. 3
    The Missing OS
    4 people · 20 points · first shared 2020 · 5 comments on HN
  4. 4
    Before you ship a “security mitigation”
    3 people · 54 points · first shared 2020 · 13 comments on HN
  5. 5
    My self-help guide to making sense of a confusing world
    3 people · 5 points · first shared 2020 · discussion on HN
  6. 6
    A non-anthropomorphized view of LLMs
    2 people · 484 points · first shared 2025 · 422 comments on HN
  7. 7
    Book Review: "This Is How They Tell Me the World Ends"
    2 people · 93 points · first shared 2021 · 72 comments on HN
  8. 8
  9. 9
  10. 10
    ADD / XOR / ROL: Wow ...
    2 people · 3 points · first shared 2011 · discussion on HN
  11. 11
    Slightly safer vibecoding by adopting old hacker habits
    2 people · 2 points · first shared 2026 · discussion on HN
  12. 12
  13. 13
    Full-packet-capture society - and how to avoid it
    1 people · 6 points · first shared 2014 · 1 comments on HN
  14. 14
    Some geometric intuition for single-layer ReLU networks
    1 people · 4 points · first shared 2024 · 2 comments on HN
  15. 15
    Comparing PyTorch code optimization Gemini vs. Claude
    1 people · 3 points · first shared 2025 · discussion on HN

What HN people wrote when they linked it

geofft · 2020-10-04
I think we're disagreeing on what the central point is, then. I think least-privilege architectures are great, and I use them for many things. I think they do not save you from the problem being addressed in this article. That is, do not read what I'm saying as an argument against least-privilege architectures: read it as an argument against using that hammer to drive in this screw. In turn, I think that means that there isn't enough justification for using them in this case that users will feel like the additional complexity of wiring through least-privilege across their libraries is worth it. Even if you take the approach of incrementally adding the security to the existing design, the implication is it won't actually be securing end users for a long time, and only against minor and unlikely threats at first, but it will impose increasing complexity all along. See also this excellent post about mitigations: http://addxorrol.blogspot.com/2020/03/before-you-ship-security-mitigat… KeyKOS is great and I've read about it and tried to adopt its lessons in my own designs, but the fact remains that KeyKOS is dead. And I certainly agree that a small performance overhead for guaranteed security properties shouldn't be seen as a tradeoff (assuming it is in fact solely a performance overhead, and not a developer mental burden, nor a reviewer mental burden, nor an operational burden) - but I'm not commenting on what I see, I'm commenting that the vast majority of NPM users…
AdieuToLogic · 2025-07-08
> I wrote this the other day: >> Hallucinations can sometimes serve the same role as TDD. If an LLM hallucinates a method that doesn’t exist, sometimes that’s because it makes sense to have a method like that and you should implement it. A detailed counterargument to this position can be found here[0]. In short, what is colloquially described as "LLM hallucinations" do not serve any plausible role in software design other than to introduce an opportunity for software engineers to stop and think about the problem being solved. See also Clark's third law[1]. 0 - https://addxorrol.blogspot.com/2025/07/a-non-anthropomorphized-view-of… 1 - https://en.wikipedia.org/wiki/Clarke%27s_three_laws
tdullien · 2020-04-11
Author of one of the linked weird machine papers here. The use of “Turing complete” in both the ROP and the weird machine literature is both incorrect and misleading; I wrote some comments on this here: http://addxorrol.blogspot.com/2018/10/turing-completeness-weird-machin… This does not detract from this post being a good, fun, and interesting read, but for anyone that is puzzled why “Turing complete” should imply “insecure”: It doesn’t.
BuschnicK · 2011-03-01
Kind words - thank you! Halvar wrote a more personal note about the acquisition on his blog: http://addxorrol.blogspot.com/2011/03/wow.html

Keyboard shortcuts

/Search
j kNext / previous blog
EnterOpen selected blog
vVisit the blog site
fFollow / unfollow
lSwitch grid / list view
dSwitch dark mode
g hHome
g pTop posts
g tTopics
g fFollowing
g lLiked
g yHistory
g qFAQ
EscBack / close