Braidpoint
@braidpoint.bsky.social
Deep Tech Solutions. Hardware. Software. #AI, classical, #quantum, #postquantum. Designer of Fidelity Framework and the Clef programming language. #cleflang
🌐 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
clef-lang.com
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...
Opining Upon Reflection
How information preservation rewards design-time considerations and retires the case for runtime reflection
clef-lang.com
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?...
Lindsey Graham: Everything You Didn't Know About His Sh*tty Past
YouTube video by Hysteria
youtu.be
Lots of fun with visualizing the connections between the spec, docs, blog entries and our pre-prints for #cleflang
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
clef-lang.com
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...
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
science.org
“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.”
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.
bloomberg.com
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
clef-lang.com
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.
speakez.tech
A story I love about Anthony Stewart Head. Thank you to this person for sharing it on Tumblr. What a mensch.
Productivity doesn't matter if you're working on the wrong thing.
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
speakez.tech
This is the companion to our Fixed-Point Scaffolding paper. It goes further into negative and fractional types, both in theory and application. arxiv.org/abs/2606.04352
Negative and Fractional Types in the Fidelity Framework
Our Native Type Universe (NTU) has been detailed through five previous papers establishing the substrate our framework's compilation pipeline targets across multiple hardware platforms. We have found ...
arxiv.org
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
http://arxiv.org/abs/2606.02854
t.co
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.
Raphael Satter@raphae.li · 2mo agoScoop: Central Command is getting reports that military personnel are being targeted using commercially available location data. Few details available, but it’s a sign that the tech industry’s advertising-surveillance complex is having consequences on the battlefield. www.reuters.com/business/med...
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.
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 🧵.
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...
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
clef-lang.com
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.
GitHub is to VCS software as Skype was to video conferencing
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.
USAID Whistleblower Says It Was Even Worse Than People Knew
Political appointees wanted a quiet drawdown, the whistleblower says. DOGE wanted an execution.
wired.com
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
speakez.tech
Betty Junod@bettyjunod.bsky.social · 3mo agoAI has created a new abstraction layer so more people can also"create" apps but the machine is doing ALL of this same stuff behind the scenes.
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.
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)
Randall Munroe@xkcd.com · 4mo agoMake It Myself xkcd.com/3233/
![Comic. [Person and person with white hat facing two boxes stacked with $80 price tag and sale tag on each box.] PERSON 1: They want $80 for this? I could make one myself for $10 in parts, an hour of work, a trip to the hardware store, another $30 in parts, another few hours of work, two more trips to the store for $20 more in parts, another hour of work to redo the first hour of work because I messed up, and $80 to buy this when the one I made breaks.](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:cz73r7iyiqn26upot4jtjdhk/bafkreifdsd32pjwefxji33c5eferlek4o6kkadoosqisb5uatqjmrq4q4q)