iiinova — where your digital self keeps evolving

Braidpoint @braidpoint.bsky.social · 13/07/2026

🌐 We're not facing issues of scale. It was never just about scale. Efficiency is a #power and #environment issue. The "devil's bargains" we made in the past continue to haunt us. Fortunately, the solutions are brighter than the shadows of our past decisions. #cleflang clef-lang.com/blog/breakin...

Breaking the P vs NP Mystique

How the Fidelity Framework Makes 'Intractable' Problems Practical Through Intelligent Tooling

000

Braidpoint @braidpoint.bsky.social · 12/07/2026

Platforms carry costs that can be painful to itemize. Runtime reflection is one of them: the compiler discards information, and the reconstruction is a cut of a thousand yet to come. From early on we reconsidered those assumptions: #dotnet #fsharp #cpp #cleflang clef-lang.com/blog/opining...

How information preservation rewards design-time considerations and retires the case for runtime reflection

Opining Upon Reflection

030

Reposted by Braidpoint

themichellesmith @themichellesmith.bsky.social · 12/07/2026

I’m sure there could be people who will miss him. I wish them comfort, solace in their grief. As one to whom his choices has done material harm, I feel relief that he’s no longer active in this realm. Ding dong 🔔 youtu.be/FbXb6laMWe0?...

youtu.be

Lindsey Graham: Everything You Didn't Know About His Sh*tty Past

YouTube video by Hysteria

021

Braidpoint @braidpoint.bsky.social · 01/07/2026

Lots of fun with visualizing the connections between the spec, docs, blog entries and our pre-prints for #cleflang

Clef language web site pointer to the Atlas control in the top nav

Atlas instructions for creating and clearing sub-graphs

Braidpoint @braidpoint.bsky.social · 26/06/2026

Formal methods in code usually means homework for the developer, but does it *have* to be that way? We took a fresh perspective, and this post walks the design tier where that bet is most directly tested. #cleflang #fsharp #fstar #dafny #rocq clef-lang.com/blog/between...

Between Rocq & A Hard Case

How automated proofs keep the framework's highest tier available while also keeping off the everyday path

040

Reposted by Braidpoint

Princess Vimentin PhD | Cancer Biologist @princess-vimentin.bsky.social · 23/06/2026

Recall that in April, all members of NSB were removed. These are trained experts that guide the NSF in promoting research, education in science & engineering. Some highly scoring proposals, w/ real potential will not be funded now. 🧪 www.science.org/content/arti...

science.org

Exclusive: NSF slashes research programs to support new tech initiative, insiders say

Unexpected shift in funds has meant sharp drop in grants this fiscal year

12203132

Reposted by Braidpoint

Hypervisible @hypervisible.blacksky.app · 19/06/2026

“We can’t live a full dignified life — with the ability to question authority, have different relationships with people, test ideas [and] blow off steam — if we don’t have private communication.”

bloomberg.com

Signal's Meredith Whittaker: The Push for Online Safety Risks Mass Surveillance

The president of the encrypted messaging app says autonomous AI agents, device scanning and digital advertising are converging into a new architecture of surveillance.

1459195

Braidpoint @braidpoint.bsky.social · 19/06/2026

Love the @pragmaticengineer.com #rustlang interview with Alice Ryhl. Her fix for fighting the borrow checker: change your data structure. It makes us glad we chose to let the compiler provide safety with less developer burden. Where that leads in #cleflang → clef-lang.com/blog/fearles...

Fearless Concurrency Gets Real

How Clef delivers memory safety and liveness integrity for multi-threaded and multi-process applications

030

Braidpoint @braidpoint.bsky.social · 18/06/2026

As we work on projects that push our framework forward, we're taking a technical sidebar to both explain the academic and commercial reasons for staying disciplined. #AI #quantum #systemsprogramming speakez.tech/blog/getting...

Getting Real with Fidelity Framework

How reciprocals moved the unit algebra while obligations stayed automatic, decidable, and true to the original design.

000

Reposted by Braidpoint

💀 skeletori amos 💀 @rivalconga.bsky.social · 05/06/2026

A story I love about Anthony Stewart Head. Thank you to this person for sharing it on Tumblr. What a mensch.

A photo of Tony Head with a fan, standing in a barn near a horse. Tumblr post from dracofidus: If you EVER think Anthony Head is anything less than an angel then you'd best remember that I have always been a huge fan of his and we've always had a little contact over the years and he heard I'd come out as Trans and was having a hard time and that I was kind of sad that the photos I had from conventions with him were of me with long hair and no binder and they were all signed to "Sarah" and so he invited me to spend the day with him at his farm and he picked me up from the station and we just hung out and had lunch and he insisted on paying and look loads of photos and had them printed on photo paper the same day so he could sign them to Jay, along with other photos of him as Giles and Utger and he literally spent five hours chatting with me and got all the pronoun stuff right every time and then he dropped me off at the station, gave me a massive hug. Waved me through the ticket barrier and insisted I message him when I got home so he knew I was back safe.

5669712145

Reposted by Braidpoint

Kelsey Hightower @kelseyhightower.com · 04/06/2026

Productivity doesn't matter if you're working on the wrong thing.

1138294

Braidpoint @braidpoint.bsky.social · 04/06/2026

Now that all of these #AI companies are finally revealing there's no path to their profitability it's time for me to trot this out again... speakez.tech/blog/uncomfo...

The Uncomfortable Truth of Comfortable Dysfunction

How AI's Current GPU Lock-In Will Inevitably Lead To A Wile E. Coyote Moment

000

Braidpoint @braidpoint.bsky.social · 03/06/2026

Hat tip to @lauriewired.bsky.social for her cogent video on the MIT School vesus the New Jersey/Bell Labs approach to software design. Of course we have our own opinions, as we span both schools of thought. There's a shout-out to #fsharp 's inspiration as well. t.co/L4VxA82xEk

t.co

http://arxiv.org/abs/2606.02854

020

Reposted by Braidpoint

Senator Ron Wyden @wyden.senate.gov · 28/05/2026

My team uncovered that foreign enemies are targeting U.S. servicemembers in war zones by buying their location data. The threat to national security posed by data brokers has never been more clear. We need to dismantle the surveillance advertising industry.

582327851

Reposted by Braidpoint

Grady Booch @booch.com · 20/05/2026

I find the acceptance and defense of mediocrity to be deeply depressing. This is true not just in the context of large language models, but particularly in the case of certain scholars and politicians.

26312

Reposted by Braidpoint

DuckDB @duckdb.org · 20/05/2026

Today, we are releasing DuckDB v1.5.3. This is not an ordinary patch release – it packs many new features for the Quack client-server protocol, Quack support for DuckLake, and big updates for AWS, HTTPS and Iceberg. Check out our blog post about all these changes and improvements – link in the 🧵.

2356

Reposted by Braidpoint

NextSilicon @nextsilicon.com · 18/05/2026

Milestone achieved! Spectra at Sandia National Laboratories has reached full system acceptance under the Vanguard program - powered by NextSilicon’s #Maverick2. Real workloads. Proven performance. Production-ready HPC. Read more: www.nextsilicon.com/insights/spe...

042

Braidpoint @braidpoint.bsky.social · 12/05/2026

Aram Hăvărneanu @xw.is is doing really interesting work. We take some lessons from it to scaffold explicit transitions between our verification tiers, turning what was a layered architecture into an interlocking one. clef-lang.com/docs/interna...

Mode Shifts In Fidelity Verification

How explicit transitions between verification tiers complete our PHG joint constraint resolution

000

Reposted by Braidpoint

Kelsey Hightower @kelseyhightower.com · 29/04/2026

This generation of AI tooling will not change the CI/CD process. People will continue setting up dominos of shell scripts and using triggers to knock them over.

57712

Braidpoint @braidpoint.bsky.social · 29/04/2026

GitHub is to VCS software as Skype was to video conferencing

000

Reposted by Braidpoint

David Roberts @volts.wtf · 23/04/2026

Still feel like "Musk and his crew of incels destroyed a bunch of stuff they didn't understand and thereby hastened the deaths of millions of children" did not get the public attention it warranted.

wired.com

USAID Whistleblower Says It Was Even Worse Than People Knew

Political appointees wanted a quiet drawdown, the whistleblower says. DOGE wanted an execution.

19599444087

Reposted by Braidpoint

Kelsey Hightower @kelseyhightower.com · 24/04/2026

Automating busy work is busy work.

99911

Braidpoint @braidpoint.bsky.social · 24/04/2026

No one outside of a dozen shops are building models. Everyone building "AI this" or "agentic that" are simply rediscovering 40+year-old patterns, and in many cases very poorly. speakez.tech/blog/actors-...

A 50 Year Odyssey: Actors Take Center Stage

How Cloudflare's Multi-Worker Development and Fidelity.CloudEdge Will Bring Proven Patterns to Agentic AI

Fiona Tribe @fionatribe.bsky.social · 23/04/2026

Reposted by Braidpoint

Yes, Swiss scientist Fritz Zwicky coined the term “dark matter” which is impressive, but he also coined the term “spherical bastard” to describe people who are bastards no matter which way you look at them, and I think that should be celebrated more.

152160584416

Braidpoint @braidpoint.bsky.social · 18/04/2026

99.99% of YouTube maker videos: "Make this $20 thing for scrap parts!!*" *(and $12,000 in shop equipment in a commercial space they pay $50/square foot to use)

000

Reposted by Braidpoint

AI Liker Georg @avengingfem.me · 17/04/2026

now seeing takes from haters that it's still vibe coding's fault, if for no other reason than that they like the vibe of blaming vibe coding one of the biggest tells of trustworthiness or untrustworthiness, to me, is willingness to retract an interpretation that turns out to be unsupported by facts

4566

Braidpoint @braidpoint.bsky.social · 17/04/2026

Why yes, this *is* @opennebula.bsky.social 7.2 running Firecracker instances, why do you ask? ☺️ (PRs coming soon)

Sunstone admin panel for OpenNebula 7.2 showing Firecracker VMs

000

Reposted by Braidpoint

Informatika na Matfyzu @informatfyz.cuni.cz · 15/04/2026

Programování není jen kód, je to kultura! 💻📜 Rektor UK Jiří Zima udělil prestižní Cenu Bedřicha Hrozného za tvůrčí počin a my máme obrovskou radost, že ji získal docent Tomáš Petříček z naší @mff.unikarlova.cuni.cz! 🏆

183

Reposted by Braidpoint

Jumping Rivers @jumpingrivers.com · 16/04/2026

Is R worth learning in 2026? Yes, the BBC, NHS, and FT all use it in production. Swipe for the full case. 📊 Read the blog post by Theo Roe to learn more: jumpingrivers.com/blog/why-learning-r-is-a-good-career-move-in-2026 #RStats #DataScience

052

Reposted by Braidpoint

Urban Truth Collective @urbantruth.bsky.social · 12/04/2026

There will never be enough victim-blaming to make up for poor infrastructure and missing leadership. But it sure makes a nice distraction for decision-makers hiding from responsibility, right? Classic ad by our own @tomflood.bsky.social for @visionzerovancouver.ca. #UrbanTruth

“There will never be a bell loud enough, a helmet strong enough, or clothing bright enough, to make up for poor infrastructure.” Billboard ad saying “join us in fighting for safe streets, by Vision Zero Vancouver, ad by Tom Flood.

324679

Reposted by Braidpoint

Vicki @vickiboykis.com · 11/04/2026

Genuine question: how to interpret large acquisitions of software companies and talent by AI labs while they say coding is “largely solved”? Is it only hype? Do they mean that it’s solved by them aggregating talent and tools?

18344

Reposted by Braidpoint

Limited Edition Ellie @tldrellie.bsky.evl.im · 11/04/2026

As a trans engineer who left the space industry in order to feel safe enough to transition: oof.

134087846

Braidpoint @braidpoint.bsky.social · 08/04/2026

Three days after our post on extract-based verification, a security team dropped five working exploits showing that exact failure mode in the FIPS post-quantum algos deployed in Signal and Google's infrastructure. And it's not our first time calling it... speakez.tech/blog/case-st...

Case Studies in Consequence

Confirmations of security & verification theater

000

Braidpoint @braidpoint.bsky.social · 07/04/2026

A late Easter Egg! 🐣 Google just published an RFC to bring JavaScript into MLIR. 👀 We think this will eventually mean web front ends and Cloudflare edge workloads can use the same pipeline as our native targets. No more split deploys with Fable! clef-lang.com/blog/runtime...

A Runtime Revolution, sort of...

Google's JSIR Dialect Brings Cloud Edge Targeting and More to Fidelity Framework

Kiran @kirancodes.me · 05/04/2026

Reposted by Braidpoint

Can't do CATegory theory without a cat, nya~

Photo of applied category theory on my lap with a cat next to me

1262

Braidpoint @braidpoint.bsky.social · 05/04/2026

Lean has been having a moment in the Sun, and we're glad to see it. But there's a long shadow to this, and the claims made on its behalf around AI have overstepped what it actually delivers. We wrote about why that should matter, and what could be at stake for the field. speakez.tech/blog/dangers...