Braidpoint

This was fun at @codescarolina.bsky.social #fsharp #rust #golang #mlir #llvm #cleflang youtu.be/XsTgFacg7G4?...

F# Weekly #40, 2026 - Agentic .NET UI and FSharp.CloudEdge #fsharp sergeytihon.com/2026/10/03/f...

ChatGPT is adding the signatures of real New Yorker cartoonists to its AI-generated images. So far, I've found the signatures of more than 15 contributors. "It’s slop, and unlike the other slop that I’ve encountered, this is slop that’s pretending to be me." www.niemanlab.org/2026/10/chat...

Let’s be very clear: there is value in automating tedious and repetitive and dangerous tasks; there is value in delegating certain work to our machines that can do the work tirelessly and much faster.

For #fsharp, #dotnet, #fablecompiler and @cloudflare-dev.bsky.social folks there's a new project for building agentic AI in the cloud. We're excited to make this a community project that anyone can use, modify, profit and contribute! It's still early days yet... fsprojects.github.io/FSharp.Cloud...

Working on #cleflang tooling that might look a bit familiar to #fsharp UoM fans and Ada and VHDL devs too. Getting dimensional type inference to work in the Native Type Universe was a fun challenge.

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.

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.

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

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

#moog #fsharp #dotnet #systemsprogramming clef-lang.com/blog/another...

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

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

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

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

clef-lang.com/blog/deferre...

clef-lang.com/blog/going-d...

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

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

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

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

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

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

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.

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

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.

Automating busy work is busy work.

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

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)

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

For #fsharp folks we've just released v0.2.0 of Fidelity.CloudEdge. There are new bindings for Media-over-QUIC and a few of the new services released during @cloudflare-dev.bsky.social AI week. github.com/FidelityFram...

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

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! 🏆

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

www.theregister.com/2026/04/15/u...

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

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?