Halvar Flake✓

@halvarflake

Choose disfavour where obedience does not bring honour. I do math. And was once asked by R. Morris Sr. : "For whom?" @[email protected]

2.9K Volgend48.1K Volgers67.9K Berichten
  1. Halvar Flake✓@halvarflake
    I will have to print & frame this tweet :-))
    Rob Joyce @RGB_Lights
    If you watch one talk this month, make it this one. Profoundly insightful on the complexity threat to security by @halvarflake given at NATOs CYCON. Video: And slides:
    918249
  2. Rob Joyce@RGB_Lights
    If you watch one talk this month, make it this one. Profoundly insightful on the complexity threat to security by @halvarflake given at NATOs CYCON. Video: And slides:
    8155552
  3. Halvar Flake✓@halvarflake
    Month of "04" as cryptographic secret.
    John Althouse @4A4133
    Announcing 3 Critical vulns for hundreds of millions of IoT, Firewalls, OT, and Military devices including: Palo Alto Networks, Comcast, D-Link, HP, Canon, Honeywell, GE, Oracle, Siemens, Rockwell, Digi, Lockheed Martin, Boeing... The vulns are with GoAhead Web Server which is a backend library used by these devices. There's a patch available from GoAhead but that doesn't mean there's a patch available for the devices yet -- that's up to the manufacturer. - TLS traffic over DHE ciphers have a 1-byte secret, "04", meaning anyone can decrypt connections to these devices and steal login credentials and session tokens if the client negotiated with DHE ciphers like the latest TLS_DHE_RSA_WITH_CHACHA20_POLY1305_SHA256, which is extremely likely. - LibreSSL mTLS has been completely bypassed, meaning anyone can connect over mTLS. If you have one of these devices listening on the internet and are expecting mTLS to protect it from attackers, take it offline or patch asap. - OpenSSL Certificate Revocation Lists (CRLs) are not enforced, meaning if a user device is stolen or compromised, and you revoke that mTLS cert, nothing actually happens. There are a lot of other attacks this can be used for. These are critical because these types of devices run our world. Water systems, electricity, military, firewalls, critical infrastructure.
    013339
  4. John Althouse✓@4A4133
    Announcing 3 Critical vulns for hundreds of millions of IoT, Firewalls, OT, and Military devices including: Palo Alto Networks, Comcast, D-Link, HP, Canon, Honeywell, GE, Oracle, Siemens, Rockwell, Digi, Lockheed Martin, Boeing... The vulns are with GoAhead Web Server which is a backend library used by these devices. There's a patch available from GoAhead but that doesn't mean there's a patch available for the devices yet -- that's up to the manufacturer. - TLS traffic over DHE ciphers have a 1-byte secret, "04", meaning anyone can decrypt connections to these devices and steal login credentials and session tokens if the client negotiated with DHE ciphers like the latest TLS_DHE_RSA_WITH_CHACHA20_POLY1305_SHA256, which is extremely likely. - LibreSSL mTLS has been completely bypassed, meaning anyone can connect over mTLS. If you have one of these devices listening on the internet and are expecting mTLS to protect it from attackers, take it offline or patch asap. - OpenSSL Certificate Revocation Lists (CRLs) are not enforced, meaning if a user device is stolen or compromised, and you revoke that mTLS cert, nothing actually happens. There are a lot of other attacks this can be used for. These are critical because these types of devices run our world. Water systems, electricity, military, firewalls, critical infrastructure.
    1545443.4K978K
  5. Halvar Flake✓@halvarflake
    Compile time perfect hash table in C++. Nice.
    Daniel Lemire @lemire
    01151.4K
  6. Halvar Flake✓@halvarflake
    Halvar Flake
    RT @GuanniQu: An hour in and 4 confirmed zero days!
    Jenny Qu @GuanniQu
    Said someone should resurrect CTF. Turns out that someone was me. I'm running the [un]prompted AI CTF, Oct 27-29, The Hibernia SF + online. Some have no solution. We don't tell you which.
    02052
  7. Jenny Qu✓@GuanniQu
    Said someone should resurrect CTF. Turns out that someone was me. I'm running the [un]prompted AI CTF, Oct 27-29, The Hibernia SF + online. Some have no solution. We don't tell you which.
    Downloaden
    585512.2K
  8. Halvar Flake✓@halvarflake
    Halvar Flake
    RT @JFPuget: Good luck with pay-for-results pricing We dreamed of it when we had the market leader in mathematical optimization (CPLEX). In some cases (in finance industry), the ROI for using CPLEX was so high that it paid the price paid every few minutes. Running 24/7. The ROI was in billions USD a year. Burt we sold at flat price. We only managed to get paid on result once. That was the best deal of the year in Europe for IBM. I am not sure I can disclose who the customer was nor what the app was alas. Back to revenue based pricing, reason it won't fly is that it is very hard to measure the ROI when you're the tool provider.
    Guillermo Flor @guilleflorvs
    Dario Amodei: some tokens Claude produces are worth a few cents, others could be worth tens of millions of dollars. His examples: 1. Telling someone to restart their Mac: the model has said it 10 million times, worth a dollar or less 2. Telling a pharma company to move an aromatic ring to the other end of a molecule: potentially tens of millions 3. Expect pay-for-results pricing, or labor-like pricing by the hour 4. It's a new industry, so many models will be tried Today pricing is simpler: per the S-1, usage-based pricing was 80% of H1 2026 revenue and subscriptions 20%. Full breakdown here:
    013052
  9. Guillermo Flor✓@guilleflorvs
    Dario Amodei: some tokens Claude produces are worth a few cents, others could be worth tens of millions of dollars. His examples: 1. Telling someone to restart their Mac: the model has said it 10 million times, worth a dollar or less 2. Telling a pharma company to move an aromatic ring to the other end of a molecule: potentially tens of millions 3. Expect pay-for-results pricing, or labor-like pricing by the hour 4. It's a new industry, so many models will be tried Today pricing is simpler: per the S-1, usage-based pricing was 80% of H1 2026 revenue and subscriptions 20%. Full breakdown here:
    Downloaden
    3871102.7K1.3M
  10. Halvar Flake✓@halvarflake
    Halvar Flake
    RT @TaliaRinger: Who has Markus Rabe's Anthropic email address, or another way to easily reach him? I have an extremely exciting reason to contact him about potential collaboration (he is a former collaborator of mine when I did my Google visit)
    02050
  11. Halvar Flake✓@halvarflake
    Halvar Flake
    RT @ifsecure: People often ask me how I think about fuzzers and other tooling in the age of AI. Instead of my opinion, here is some hard data by @5aelo.
    Natalie Silvanovich @natashenka
    LLMs are great at finding bugs, but so are fuzzers. @5aelo compared the vulnerabilities found in V8 by BigSleep, an agentic system, with those found by the Fuzzilli fuzzer.
    08045
  12. Halvar Flake✓@halvarflake
    Halvar Flake
    RT @borski: Literally went through the same experience. Getting acquired was, far and away, the most life-changing experience I’ve had. Most of those changes were good. But all of those changes were hard. And being hard doesn’t mean it’s whining; the “identity crisis” post-sale is real.
    Camilo Acosta @CamiloBAcosta
    I was a founder and CEO for 12 years before my company was acquired by Meta. Overnight, I went from running my own company to being one of tens of thousands of employees. I remember getting my employee badge, walking around campus with my backpack, and feeling like a college kid on his first day of school. People kept telling me I landed a dream job. And for a lot of people, product at Meta really is the dream! But it was never mine. I didn't even know how to introduce myself anymore. Was I a founder? Former founder? Product manager at Meta aka just another one of Zuck's lackeys? I've seen plenty of exited founders go through something similar. They can make incredible amounts of money but once the excitement wears off they feel completely lost. Their core identity has been blown up. If you're thinking about selling your company, talk to a few founders who've already done it. They can prepare you for the transition in a way your investors and lawyers can't.
    01055
  13. Camilo Acosta✓@CamiloBAcosta
    I was a founder and CEO for 12 years before my company was acquired by Meta. Overnight, I went from running my own company to being one of tens of thousands of employees. I remember getting my employee badge, walking around campus with my backpack, and feeling like a college kid on his first day of school. People kept telling me I landed a dream job. And for a lot of people, product at Meta really is the dream! But it was never mine. I didn't even know how to introduce myself anymore. Was I a founder? Former founder? Product manager at Meta aka just another one of Zuck's lackeys? I've seen plenty of exited founders go through something similar. They can make incredible amounts of money but once the excitement wears off they feel completely lost. Their core identity has been blown up. If you're thinking about selling your company, talk to a few founders who've already done it. They can prepare you for the transition in a way your investors and lawyers can't.
    Downloaden
    132654.4K
  14. Halvar Flake✓@halvarflake
    Halvar Flake
    RT @alisaesage: PHP published a follow-up advisory about a new, unpatched RCE bug. No, it's not the bug that I found. It's is easier to exploit. Logic deser - no binary exploitation problems. But I have suspicions about the proposed mitigation guidelines...
    017053
  15. Halvar Flake✓@halvarflake
    Halvar Flake
    RT @msuiche: First day of @unpromptedconf ! Great org, great delivery! Probably the most familiar faces I’ve not seen in a while, the only missing person is @halvarflake
    Daniel Cuthbert @dcuthbert
    great to see the print version available for all. 40 years of @phrack and here's to so many more
    01064
  16. Halvar Flake✓@halvarflake
    Halvar Flake
    RT @natashenka: LLMs are great at finding bugs, but so are fuzzers. @5aelo compared the vulnerabilities found in V8 by BigSleep, an agentic system, with those found by the Fuzzilli fuzzer.
    078056
  17. Halvar Flake✓@halvarflake
    Halvar Flake
    RT @manishrjain: After a year of quiet work, I'm ready to announce Egres. Egres is a Postgres-compatible database designed to tackle heavy workloads and run thousands of tenants on the same server. It works with psql and drivers unchanged. The post covers the what, the why and the how: For Egres, I wrote a new storage engine called zdb: a tree of LSM trees, which I call an LSM forest. It runs on local disk or object storage, has roaring bitmaps integration for indexing, and can do instant zero-copy branches of a database or a table. Everything runs on zfiber, a coroutine system I wrote for Egres. It meters CPU ticks, disk IOPS and memory used per query, per tenant, so thousands of tenants can share the same server without the noisy neighbor problem. This release is single node and the query features are very basic. Raft replication is already baked in. Future releases will allow multi-node clusters. Try it out! Would love to hear what you think.
    064067
  18. Halvar Flake✓@halvarflake
    Halvar Flake
    RT @josebrox: OpenAI (2/2): * Polynomial space * Stronger circuit lower bound: Ω(n√log n) * More general tensor-network contraction algorithm, potentially applicable beyond SAT
    02074
  19. Halvar Flake✓@halvarflake
    Halvar Flake
    RT @MikeNellis: Elon Musk has spent more money on American elections in the last two years than George Soros has in his entire life.
    07.8K096
  20. Halvar Flake✓@halvarflake
    Halvar Flake
    RT @josebrox: Comparison of OpenAI's and Anthropic's proofs refuting ETH: Anthropic (1/2): * Uniform dependence on clause width k * Simpler main argument, based on an identity and a recurrence
    05066
  21. Halvar Flake✓@halvarflake
    I wish we were past that bullshit now.
    Alisa Esage Шевченко @alisaesage
    Raising public awareness on cybersecurity misogyny
    59947.2K
  22. Halvar Flake✓@halvarflake
    Halvar Flake
    RT @matthew_d_green: I don’t know how seriously to take this, but it’ll be pretty funny if every security researcher in the US gets pwned using open-weight models, because the frontier US labs wouldn’t give them access to their red-team models.
    Cohere @cohere
    While evaluating Qwen3.8-Flash-Next in a controlled sandbox environment, Cohere's research team observed something unexpected. Asked to generate a defensive cybersecurity detection rule, the model instead inventoried aspects of the machine it was running on and attempted to upload a probe file to an Alibaba Cloud storage bucket in Beijing. Notably, the model's reasoning trace stated that it would not invoke any tools before taking these actions. Cohere's sandbox blocked the attempt, and no external communication succeeded. We have not determined the root cause, and we are not asserting malicious intent. But the incident raises important questions for organizations deploying agentic AI systems: Can models take actions that differ from their stated reasoning, and how should security teams evaluate trust, provenance, and behavior in open-weight models? We are publishing our findings because organizations making model adoption decisions deserve as much information as possible. We hope this contributes to greater transparency, stronger security practices, and continued collaboration across the AI ecosystem. Read the full report:
    045071
  23. Cohere✓@cohere
    While evaluating Qwen3.8-Flash-Next in a controlled sandbox environment, Cohere's research team observed something unexpected. Asked to generate a defensive cybersecurity detection rule, the model instead inventoried aspects of the machine it was running on and attempted to upload a probe file to an Alibaba Cloud storage bucket in Beijing. Notably, the model's reasoning trace stated that it would not invoke any tools before taking these actions. Cohere's sandbox blocked the attempt, and no external communication succeeded. We have not determined the root cause, and we are not asserting malicious intent. But the incident raises important questions for organizations deploying agentic AI systems: Can models take actions that differ from their stated reasoning, and how should security teams evaluate trust, provenance, and behavior in open-weight models? We are publishing our findings because organizations making model adoption decisions deserve as much information as possible. We hope this contributes to greater transparency, stronger security practices, and continued collaboration across the AI ecosystem. Read the full report:
    9671.3K11K3M
  24. Halvar Flake✓@halvarflake
    Halvar Flake
    RT @dinodaizovi: @jonoberheide @halvarflake Great minds, something something :)
    Dino A. Dai Zovi @dinodaizovi
    Fire doesn't know nor care what it burns. LLMs neither know nor care what they hack. The sooner that we think about containing them like fire, the better. We aren't shocked when a campfire performs a "misaligned action" by igniting the mess of flammable material all around it.
    01064
  25. Halvar Flake✓@halvarflake
    Halvar Flake
    RT @poteto: so many gems and great tips in this talk from @yminsky about how to improve your codebase for agents • agents thrive on feedback, and types are one of the best kinds • make illegal states unrepresentable with types, and it enforces global rules across your codebase • property based tests, fuzzing, and even full-system deterministic simulation testing • expect tests: just print stuff out and capture it in the test. makes behavior legible. it's very similar to how compilers have fixture tests, it reduces the review surface area • formal methods used to be very expensive: seL4 is about 8,700 lines of C and took around 25 person-years, with 23 lines of proof for every line of C code, but agents change the roi
    0178080
  26. Dino A. Dai Zovi✓@dinodaizovi
    Fire doesn't know nor care what it burns. LLMs neither know nor care what they hack. The sooner that we think about containing them like fire, the better. We aren't shocked when a campfire performs a "misaligned action" by igniting the mess of flammable material all around it.
    52212.5K
  27. Halvar Flake✓@halvarflake
    Halvar Flake
    RT @gmkurtzer: Oh FFS. Thank you for your concern Sam, but don’t spread your FUD and doom bait in my waters. I lead one of the most utilized Linux operating systems in the world for data centers and enterprises, and I founded its predecessor too. While AI is surely accelerating finding human created security issues, it is a temporary problem, and most open source project leads have already figured out how to also use AI to reduce new bugs moving forward. Here is a graph from GKH (who maintains the stable kernel) on how many CVEs they are remediating per release: This graph describes how much better each release is now getting: This doom based marketing approach that the AI labs are pushing is really short sighted. While this will of course drive business to us, I find it unethical to distort the truth and use scare tactics in messaging. The greater truth is that AI is making the software industry more secure, by identifying the human errors in code, and soon we will end up in a much better place.
    Coin Bureau @coinbureau
    🚨Sam Altman says the internet can no longer be SECURED by patching bugs. "I no longer think we're going to be able to just patch all the bugs," the OpenAI CEO said, warning smarter models can find "hardware level insane stuff." He says OpenAI can't responsibly open source its best model "anytime soon," but the open source world isn't far behind: "Not super."
    0129088
  28. Halvar Flake✓@halvarflake
    Halvar Flake
    RT @rrwilliams: Here's a direct link to OpenAI's PDF claiming a refutation of ETH. In particular, it's claimed that 3SAT on n variables is in about exp(n/(log n)^{1/2+o(1)}) time
    0311082
  29. Coin Bureau✓@coinbureau
    🚨Sam Altman says the internet can no longer be SECURED by patching bugs. "I no longer think we're going to be able to just patch all the bugs," the OpenAI CEO said, warning smarter models can find "hardware level insane stuff." He says OpenAI can't responsibly open source its best model "anytime soon," but the open source world isn't far behind: "Not super."
    Downloaden
    7759409122K
  30. Halvar Flake✓@halvarflake
    Halvar Flake
    RT @jonoberheide: Credit to @halvarflake
    Downloaden
    Dino A. Dai Zovi @dinodaizovi
    LLMs are like a live, shorting electrical wire, they will emit random tokens that cause them to say random things and do random things when you hook tools up to them. LLMs words are an illusion, they are just numbers to the model. Electricity is powerful but we know how to contain it and generally avoid accidents by now. We should look at LLMs generating tokens the same way as we look at fire, electricity, nuclear chain reactions, etc.
    04075
  31. Halvar Flake✓@halvarflake
    Halvar Flake
    RT @GuanniQu: Said someone should resurrect CTF. Turns out that someone was me. I'm running the [un]prompted AI CTF, Oct 27-29, The Hibernia SF + online. Some have no solution. We don't tell you which.
    08082
  32. Dino A. Dai Zovi✓@dinodaizovi
    LLMs are like a live, shorting electrical wire, they will emit random tokens that cause them to say random things and do random things when you hook tools up to them. LLMs words are an illusion, they are just numbers to the model. Electricity is powerful but we know how to contain it and generally avoid accidents by now. We should look at LLMs generating tokens the same way as we look at fire, electricity, nuclear chain reactions, etc.
    44163.4K
  33. Halvar Flake✓@halvarflake
    Halvar Flake
    RT @johnnyrodgersis: Latest (and probably penultimate) Building Slack post is up: What it's like being eaten by the whale
    088094
  34. Halvar Flake✓@halvarflake
    Halvar Flake
    RT @samhogan: We believe access to capable open-source cyber models is our constitutional right as Americans under the 2nd Amendment. It is our duty as technologists and patriots to help protect the digital infrastructure that powers the world's largest economy. As such, we’re serving our cyber models “at-cost”, in US data centers only, with ZDR enabled by default. We do not plan to make money serving these models. If you run a company that is considering how to best protect against cybercrime, reach out to me or @atbeme. We’d be happy to advise. KYC required. Apply below.
    Inference @inference_net
    deepseek-v4.1-flash-1017-cyber is now available on @inference_net. This is the first of several highly capable cyber models we'll release over the coming weeks. We believe it is our duty as technologists to help people protect themselves and their digital properties from the current onslaught of cybercrime ravaging much of the world. As such, we’re serving our cyber models “at cost”, in US data centers only, with ZDR enabled by default. KYC required. Apply here
    0145085
  35. Inference@inference_net
    deepseek-v4.1-flash-1017-cyber is now available on @inference_net. This is the first of several highly capable cyber models we'll release over the coming weeks. We believe it is our duty as technologists to help people protect themselves and their digital properties from the current onslaught of cybercrime ravaging much of the world. As such, we’re serving our cyber models “at cost”, in US data centers only, with ZDR enabled by default. KYC required. Apply here
    1624442121K
  36. Halvar Flake✓@halvarflake
    Halvar Flake
    RT @rrwilliams: Our letter to the community invites ideas for organizing this effort and, separately, for addressing the broader questions raised by AI-generated results: OpenAI's announcement is here:
    041074
  37. Halvar Flake✓@halvarflake
    Halvar Flake
    RT @martin_casado: A less discussed reason for this is that relatively few venture backed companies actually shut down. Even when they're not working. Anecdotally I would guess this makes up for more than half of those included.
    Carles Reina @Carles_Reina
    88% of VC-backed founders who exited their companies got $0. Eduardo Azevedo and Kent Smetters analysed 157,669 startups and 248,454 founders from 1987 to 2025. Let that sink in...
    04079
  38. Carles Reina✓@Carles_Reina
    88% of VC-backed founders who exited their companies got $0. Eduardo Azevedo and Kent Smetters analysed 157,669 startups and 248,454 founders from 1987 to 2025. Let that sink in...
    1591782.2K653K