Peaked at #3 Now #4

Call to Shift Toward Formal Verification

Doug Colkitt says software people not planning a move to formal verification are irresponsible, and it should be the priority.

First on the board Oct 23, 13:43 · How the board is ranked · Topic: LiteLLM and PHP Supply Chain Woes

Rank over time

Original post

Doug Colkitt @0xdoug 55.1K followersOct 23, 07:38

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.

1,512likes 65reposts 35replies 137.6Kviews

View on X Save

Top replies on X

From @0xfoobar, @lostbutlucky, @trivyn_kg and others. Spam removed, with English and Chinese translations.

Discussion 0

Top Newest

No comments yet. Start the conversation.

More Open Source stories

Japan PM Urges Emergency PHP Patching

Japanese PM Takaichi urgently urged firms to patch two critical PHP flaws, allowing site shutdowns, praised by a crisis PR expert for backing engineers.

Peaked at #1 @nittaryo Oct 23, 14:02
Omarchy on PS5 and OmarchyTV Launch

DHH shares that Omarchy runs on a PlayStation 5, joking anything with a CPU will run it.

Peaked at #3 @dhh Oct 23, 07:20
Critical Linux Kernel 9.0 Vulnerabilities

Two 9.0-severity Linux flaws affect KSMBD; one allows unauthenticated remote code execution, and no official kernel patches exist yet.

Peaked at #1 @markgadala Oct 23, 01:17
eMudhra Exits SSL Certificate Business

Gergely Orosz suspects eMudhra exits SSL business because Google may drop it from Chrome trust entirely.

Peaked at #2 @GergelyOrosz Oct 22, 20:01
PHP Docker Image Build Issues

PHP's Docker image build failed because a CI step posting to GitHub comments broke after the maintainer locked comments

Peaked at #2 @rmoriz Oct 22, 13:29
QUIC Library 0-Day Disclosed

Researchers disclose a QUIC 0-day letting anyone remotely shut down servers, via QPACK amplification attacks on HTTP/3.

Peaked at #3 @4A4133 Oct 22, 07:31

Open Source top 10 now →

Add NoFOMO as a preferred source on Google Our stories show up first when you search the news.