Braidpoint

Deep Tech Solutions. Hardware. Software. #AI, classical, #quantum, Designer of Fidelity Framework (formerly #cleflang

[Braidpoint @BraidpointTech]

https://t.co/bBWJxkzHAf

[Braidpoint @BraidpointTech]

@kirancodes What about CVC5/Rocq with Iris/Actris/Aneris making appearances? https://t.co/MIYvUFh86W

[Braidpoint @BraidpointTech]

@jdlichtman @mathgeek234 Thanks, Captain Obvious...

[Braidpoint @BraidpointTech]

@TimSweeneyEpic @tritlo I depends on what you mean by "program". Syntax is fungible. How about a structure that starts with Wadler's "types are proofs" and node level obligations fall out of the graph 'for free'? https://t.co/UDtNiIEZPm

[Doug Colkitt @0xdoug]

1/ Agent-driven formal verification isn't a panacea. But it's damn close. And now we have the empirical data to back it up.

Using blinded agents, we compared formal verification against traditional code review. The results may shock you.

[Braidpoint @BraidpointTech]

@MikePFrank Hate to say it - but the math was always there... https://t.co/wbJEcDOS9z

[Braidpoint @BraidpointTech]

@hillelogram @mdabdurrahim98 @AnthropicAI @theoremlabs https://t.co/UDtNiIEZPm

[Braidpoint @BraidpointTech]

@0xdoug https://t.co/UDtNiIEZPm

[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.

[Gary Marcus @GaryMarcus]

i absolutely told you so. january 2025, warning that we would soon see the largest cyberattacks in history, sparked by generative AI and lax enforcement.

don’t ever lie and say i am always wrong, again.

seriously.

we are facing exactly the epic cybersecurity meltdown i warned about.

[Nikita Bier @nikitabier]

There is nothing to worry about.

Nothing important is run on PHP or old software—except the water & electrical grid, a few government services like our missile defense systems and a handful of electrified fences at the zoo (for the lions, tigers and cobras).

[Braidpoint @BraidpointTech]

@TaliaRinger https://t.co/UDtNiIFxEU

[Braidpoint @BraidpointTech]

https://t.co/UDtNiIEZPm

[Talia Ringer 🕊🪬 @TaliaRinger]

Where we started (left, 1979) vs. where we are now (right, 2026)

[Braidpoint @BraidpointTech]

😼

[Matthew Green @matthew_d_green]

Everyone wants to draw conclusions about the future based on what they saw in the past. Usually this works really well for people, so why stop now?

[Braidpoint @BraidpointTech]

Don't sleep on @LarkinPoe - if you're in a town where they are playing. See them. Hear them. Seriously. 🔊 🎵

[Braidpoint @BraidpointTech]

@QualiaQuanta "This has worked with anyone I've ever given this look to... why try harder?"

[Braidpoint @BraidpointTech]

@bzogrammer https://t.co/OdJGe6HpND

[Cher Scarlett 🌌 @cherthedev]

No one believes weather models and protein predictors are conscious. It’s because they generate first-person narrative prose and were designed to replace customer service workers.

[Braidpoint @BraidpointTech]

@sudoingX There are home owners with solar power collection, power walls for storage, and are independent of the utility grid.

🪔 What percentage of homes do you think fit into that category?

[JP Aumasson @veorq]

OH: it's in C, it's short for CVE

[Braidpoint @BraidpointTech]

🪦It would be incredibly prophetic if it was PHP that *finally* got enterprise and governmental systems to finally have a "pre-quantum" moment that woke them up to the Y2K level realization on the horizon. #Quantum

[NCSC UK @NCSC]

The NCSC is encouraging UK organisations to prepare for immediate updating of systems using PHP. Where immediate remediation is not feasible, organisations should consider taking the system offline until it can be fully mitigated.

For more⬇️
https://t.co/l6TDtVurJN