Braidpoint
@braidpoint.bsky.social
Deep Tech Solutions. Hardware. Software. #AI, classical, #quantum, #postquantum. Designer of Fidelity Framework and the Clef programming language. #cleflang
Reposted by Braidpoint
Some people have reduced their own value to what can be accomplished with a computer, and consider anything that can match their limited capabilities to be as human as they are.
August 27, 2026 at 7:19 PM
Some people have reduced their own value to what can be accomplished with a computer, and consider anything that can match their limited capabilities to be as human as they are.
Reposted by Braidpoint
Engaging in mental gymnastics to justify what's convenient but unevidenced, unjust but personally beneficial, 'rewires your neural map' in ways that degrade your overall ability to understand and analyze the world around you, which is a precondition for intelligence and creativity.
January 26, 2026 at 10:00 AM
Engaging in mental gymnastics to justify what's convenient but unevidenced, unjust but personally beneficial, 'rewires your neural map' in ways that degrade your overall ability to understand and analyze the world around you, which is a precondition for intelligence and creativity.
Reposted by Braidpoint
More GPUs won't win the AI race. A better compute stack will.
That's exactly what Pat Gelsinger argued at Ai4 2026 - and it's exactly what NextSilicon is building.
Read more from Jon Peddie 👇
www.jonpeddie.com/news/gelsing...
That's exactly what Pat Gelsinger argued at Ai4 2026 - and it's exactly what NextSilicon is building.
Read more from Jon Peddie 👇
www.jonpeddie.com/news/gelsing...
August 10, 2026 at 3:24 PM
More GPUs won't win the AI race. A better compute stack will.
That's exactly what Pat Gelsinger argued at Ai4 2026 - and it's exactly what NextSilicon is building.
Read more from Jon Peddie 👇
www.jonpeddie.com/news/gelsing...
That's exactly what Pat Gelsinger argued at Ai4 2026 - and it's exactly what NextSilicon is building.
Read more from Jon Peddie 👇
www.jonpeddie.com/news/gelsing...
It's easy to lose faith in social channels that fall prey to hyperscaler slop-cannons. But real alternatives exist. If you value amplifying signal above the noise, you'd do well to check out this conference. And yes, I'm biased. #dotnet #csharp #fsharp #cleflang
blog.carolina.codes/p/announcing...
blog.carolina.codes/p/announcing...
Announcing our 2026 Speakers!
30 incredible speakers & a special Memorial Day opportunity!
blog.carolina.codes
August 10, 2026 at 12:47 PM
It's easy to lose faith in social channels that fall prey to hyperscaler slop-cannons. But real alternatives exist. If you value amplifying signal above the noise, you'd do well to check out this conference. And yes, I'm biased. #dotnet #csharp #fsharp #cleflang
blog.carolina.codes/p/announcing...
blog.carolina.codes/p/announcing...
🌐 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...
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
July 13, 2026 at 2:18 PM
🌐 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...
clef-lang.com/blog/breakin...
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
July 12, 2026 at 9:15 PM
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...
Reposted by Braidpoint
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
July 12, 2026 at 1:47 PM
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?...
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...
#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
June 26, 2026 at 9:32 PM
Reposted by Braidpoint
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...
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
www.science.org
June 23, 2026 at 12:48 PM
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...
Some highly scoring proposals, w/ real potential will not be funded now.
🧪 www.science.org/content/arti...
Reposted by Braidpoint
“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.
www.bloomberg.com
June 19, 2026 at 10:55 AM
“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.”
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...
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
June 19, 2026 at 4:03 AM
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...
clef-lang.com/blog/fearles...
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
June 17, 2026 at 11:01 PM
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...
Reposted by Braidpoint
A story I love about Anthony Stewart Head. Thank you to this person for sharing it on Tumblr. What a mensch.
June 5, 2026 at 4:29 PM
A story I love about Anthony Stewart Head. Thank you to this person for sharing it on Tumblr. What a mensch.
Reposted by Braidpoint
Productivity doesn't matter if you're working on the wrong thing.
June 4, 2026 at 3:53 PM
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
June 4, 2026 at 1:41 PM
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...
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
June 4, 2026 at 1:37 AM
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
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
June 3, 2026 at 3:48 PM
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
Reposted by Braidpoint
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.
Scoop: 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...
www.reuters.com/business/med...
Exclusive: Pentagon says US military personnel are reportedly being targeted using location data
It's an illustration of how the global surveillance economy is shaping the battlefield.
www.reuters.com
May 28, 2026 at 1:52 PM
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.
Reposted by Braidpoint
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.
This is true not just in the context of large language models, but particularly in the case of certain scholars and politicians.
May 20, 2026 at 1:19 AM
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.
This is true not just in the context of large language models, but particularly in the case of certain scholars and politicians.
Reposted by Braidpoint
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 🧵.
May 20, 2026 at 12:04 PM
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 🧵.