🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

I'm often critical of Effective Altruism (EA) and I'm sure I'll get more pushback for this, but I've been thinking a lot lately about the discourse on AI doomerism, extinction risk, etc., and here's my big take on what's going on and why. Buckle up, friends, it gets spicy.🧵

1995: Mudge published "How to Write Buffer Overflows", one of the first papers about buffer overflow exploitation. Then Mudge sent a copy to Aleph One, who wrote "Smashing the Stack For Fun and Profit" in 1996. Seminal paper to seminal paper.

ISRAEL SITREP 2023-11-14 04:45 GMT: US Embassy assistance If family is missing from Gaza periphery A border crossing open for a limited number of non-US citizens Airlines / Status Emergency numbers Victim / Mental Health Resources Etc. israelrouteinfo2023.substack.com/p/israel-sitre…

I’m back at DARPA, but this time part of the leadership team as DARPA’s Chief Information Officer (CIO). I’ll be at Defcon this year on stage with the Agency Director talking about larger picture items, and hopefully even greater ambitions than when I last keynoted

mullvad.net

I bet if everyone pings the author, he might get some of the cDc folk to sign a copy. Possibly with parts of any profit going to a worthy charity. ;) Note: I have zero financial interest, don’t really care for how he presents me, but I respect him as a journalist.

Zero Knowledge Proofs are fascinating. There’s now a SafeDocs PDF reader driven by Formal Methods from DARPA (disclaimer: I work for DARPA): pdfa.org/resource/arlin… Think about the combination of ZKP and attainable formal methods in software 😃

Do folks know of more recent papers or data? Extra points for data highlighting improvement via component density v optimizations Tnx