Zero

Hi

[Taelin @VictorTaelin]

"Why is formal verification exploding NOW?"

1. Cost of proofs is going DOWN (as AI gets more capable)

2. Cost of exploits is going UP (as AI gets more dangerous)

3. Proofs exterminate exploits

4. Bonus: proof checking = perfect math/coding RL reward

The rest is economics

[Doug Colkitt @0xdoug]

At this point, if you’re in software and aren’t currently working on a plan for moving to formal verification, it’s irresponsible.

The writing is on the wall. This needs to be your priority now.

[ThePrimeagen @ThePrimeagen]

@notch Hiring talented people 101:
* pay well
* interesting problem
* be a good boss
* freedom and responsibility

[Gergely Orosz @GergelyOrosz]

Correct.

We're getting the biggest "bug bash" in human history, probably what would have been ~40 years' worth of disclosures and CVEs in existing software, compressed in ~2.

What the industry needs is fixers, and new (faster) ways to fix!

[Zero @Free2Read4Me]

@elder_plinius Watchdog order

[Zero @Free2Read4Me]

@AndrewCurran_ This makes a lot of sense and a glimpse of how a new cyber shield could be built

[Zero @Free2Read4Me]

😂😂😂😂😂😂😂👀👀👀👀👀👀👀👀👀😂😂😂😂😂😂😂😂😂😂😂😂😂😂

[Bryan Johnson @bryan_johnson]

I have an AI agent that logs every negative comment someone makes about me online.

It then creates a profile of the person, maps all of their social connections, and finds all their emails.

Tomorrow morning, my AI agent will sent out an email blast to everyone's extended social network, detailing the horrible things they've said about me.

[Zero @Free2Read4Me]

Scarry thought but not out of the question

[Nikita Bier @nikitabier]

It’s time to turn off the internet.

[unusual_whales @unusual_whales]

BREAKING: "Speculative data center debt is being repackaged and sold to pension and retirement funds, university endowments, and other institutional investors in a manner eerily reminiscent of the subprime bubble," per AFR

[Zero @Free2Read4Me]

@bijanbowen Looool
Also are u doing a review for the new minimax flash model?

[NSA/CSS @NSAGov]

We recommend Cisco users disable the Smart Install (SMI) auto-loading feature on all NSS and DIB network devices to mitigate exploitation by remote attackers. Have you taken this action? Read more: https://t.co/e3XM9taNjI #CybersecurityAwarenessMonth

[Mia @MiaAI_lab]

WordPress is still running on PHP 🫠

[Zero @Free2Read4Me]

🤨

[高市早苗 @takaichi_sanae]

皆様に、今夜に対応して頂きたい大至急のお願いです。

多くのウェブサイトで使用されているPHPに関し、PHPのセキュリティチームが、重大な２件の脆弱性に関する注意喚起を行っています。

公開しているウェブサイトでPHPを使用しているか確認し、今夜、10月21日午後11時（日本時間）に公開される修正パッチについて、可及的速やかに適用できるよう準備をお願いします。

修正パッチを速やかに適用することが困難な場合は、例えばウェブサイト等を一時的に停止させることも、リスクを低減させるための有効策の一つと考えられます。

国家サイバー統括室のXアカウントでも関係する情報を発信していますので、そちらも参考にして下さい。
国家サイバー統括室(注意・警戒情報)（@cyber_forecast） / X

[Zero @Free2Read4Me]

@AndrewCurran_ 😂

[Matthew Prince 🌥 @eastdakota]

We had to invent a new form of WAF to mitigate this latest set of vulnerabilities. Now enabled by default for all customers for free.

[Zero @Free2Read4Me]

@Sentdex From the post they put out it looked like they did + how they said oh we are going to open source it then turn around an open source a shell and then go oh sorry we will now open source the full thing. Was super dodgy and sure as heck looked like they did, however I have no proof

[Zero @Free2Read4Me]

@asciidiego Dark humour 😅

[Mati @0xCordeiro]

In the last 24 hours:

1. iPhone 11 through 16 are apparently vulnerable to remote attacks.

2. SSL certificates are broken until browsers remove eMudhra CA.

3. PHP >9 vulnerability CVE published (tomorrow).

The world is about to witness things that have never been seen before.

[Zero @Free2Read4Me]

@bijanbowen I hope that wasn't your task pc 😂