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
- 1Rashomon of Disclosure5 people · 73 points · first shared 2019 · 2 comments on HN
- 2Someone is wrong on the internet (AGI Doom edition)4 people · 88 points · first shared 2024 · 101 comments on HN
- 3The Missing OS4 people · 20 points · first shared 2020 · 5 comments on HN
- 4Before you ship a “security mitigation”3 people · 54 points · first shared 2020 · 13 comments on HN
- 5My self-help guide to making sense of a confusing world3 people · 5 points · first shared 2020 · discussion on HN
- 6A non-anthropomorphized view of LLMs2 people · 484 points · first shared 2025 · 422 comments on HN
- 7Book Review: "This Is How They Tell Me the World Ends"2 people · 93 points · first shared 2021 · 72 comments on HN
- 8A decisionmaker's guide to buying security appliances and gateways2 people · 9 points · first shared 2015 · 2 comments on HN
- 9Why are most researchers not a fan of standards on "responsible disclosure"2 people · 6 points · first shared 2009 · discussion on HN
- 10ADD / XOR / ROL: Wow ...2 people · 3 points · first shared 2011 · discussion on HN
- 11Slightly safer vibecoding by adopting old hacker habits2 people · 2 points · first shared 2026 · discussion on HN
- 12“Why do you work in security instead of something more lasting?”1 people · 127 points · first shared 2016 · 66 comments on HN
- 13Full-packet-capture society - and how to avoid it1 people · 6 points · first shared 2014 · 1 comments on HN
- 14Some geometric intuition for single-layer ReLU networks1 people · 4 points · first shared 2024 · 2 comments on HN
- 15Comparing PyTorch code optimization Gemini vs. Claude1 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
pageman · 2007-10-15
don't be like this guy ---> Thomas Dullien
http://addxorrol.blogspot.com/2007/07/ive-been-denied-entry-to-us-esse…