Welcome to F# Weekly,

A roundup of F# content from this past week:

Microsoft New

• Today I will… Modernize a .NET application – Visual Studio Blog
• Aspire 13.5: Fresh pixels and better workflows | Aspire Blog

Videos

• Continuous AI: CI/CD for the Software Factory
• GitHub Agentic Workflows Explained – Don Syme, GitHub Next
• .NET AI Community Standup: Routing & Failover for Microsoft.Extensions.AI

Blogs

• Where the Compiler Stops — Ben Copeland
• How to fully leverage Oxpecker (or at least use IResult)? — Vladimir Shchur
• Loïc Denuzière: Bolero 0.25 released — .NET 10 support arrives for F# Blazor
• Angel Munoz: Mibo 4.3.0 — signals for simulation and derived-data games (RPGs, TDs)

Highlighted projects

• mrange/FsDistanceField2 — Computes distance field from images – Codeberg.org
• Neftedollar/orleans-fsharp — Idiomatic F# for Microsoft Orleans: define grains with computation expressions, streaming, event sourcing, and transactions. Orleans 10.2.1 parity, 1700+ tests.
• WillEhrendreich/SageFs — Sage Mode for F# development: REPL with solution/project loading, live testing, hot reload, and MCP server support.
• warp-11/warp-11 — An F# HDL that runs on real FPGAs — one source drives the cycle-accurate simulator, step-through debugger, emitted Verilog, and Rust driver seam.
• Azizs2162/fyper — Build type-safe Cypher queries in F# with plain records, query expressions, and automatic parameterization (Neo4j / Apache AGE).
• HelgeSverre/fedit — A small terminal text editor written in F# with multi-buffer, undo/redo, find, command palette, system clipboard, and seven themes.

New Releases

• NBomber 6.6.0
• FSharp.Idioms 1.5.17
• FS.GG.UI.Scene 0.27.0
• AngouriMath.FSharp 2.2.0
• Oxpecker.Solid.FablePlugin 1.1.0
• Orleans.FSharp 4.1.0
• HtmlTypeProvider 0.9.1
• FsMcp.Core 2.0.0
• Swate.Components 2.1.0
• FsLiveDocs 0.3.7
• FsHcl 0.7.2
• DbFlow 0.12.0
• CommandTree 0.8.1
• Mibo 4.3.0

Mibo Framework 4.3.0 is out!This contains general fixes and improvementsit also brings "signals" to game dev programming for heavy simulation and derived data games (e.g. RPGs, TDs)#dotnet #fsharp #monogame #raylib

— Angel Munoz (@tunaxor.me) 2026-08-16T20:45:41.386Z

That’s all for now. Have a great week.

Federal prosecutors have charged activist Samuel Tunick with obstruction after he gave Customs and Border Protection officers a duress passcode that wiped his GrapheneOS-powered Pixel during a border search. "His prosecution is one of the earliest known instances of the federal authorities charging a person with destroying evidence using a program designed to wipe a device clean after a specific code is entered," reports The New York Times. From the report: "Obstructing federal law enforcement is a serious matter that has serious repercussions," Theodore Hertzberg, the U.S. attorney for the Northern District of Georgia, said in a statement. "Individuals who destroy or attempt to destroy property, including data, to prevent lawful search and seizure should expect to face prosecution and punishment for their actions." A spokeswoman for U.S. Customs and Border Protection said in a statement that the agency had the authority to search the electronic devices of anyone entering or leaving the United States, regardless of citizenship, to enforce laws addressing terrorism, child exploitation, drug- and human-smuggling, visa fraud and national security threats. "The border search will only include an examination of information that is present on the device at the time it is presented for inspection," the spokeswoman said, adding that it searched the electronic devices of fewer than 0.01 percent of all arriving international travelers in the last fiscal year. "Just the knowledge that the government is peering into your private life in this way, trying to dig up dirt on you, even though it's unsuccessful, is creepy," Tunick said, in response to a question about how the charges have affected him. His message: "The government doesn't own our communications, our relationships, as hard as they might try to. We have to defend our fundamental right to privacy; otherwise we can't say that we really live in a democracy."

Read more of this story at Slashdot.

Starbucks is eliminating 224 more jobs at its Seattle headquarters, according to a new state filing. The coffee giant says the layoffs don’t represent a new round of cutbacks, but rather the lingering effect of restructuring work announced earlier this year.

About 120 of the 224 are employees who were offered roles in Starbucks’ new Nashville office and declined to relocate, according to the filing. Those roles are expected to be filled in Tennessee.

The remaining 104 in the notice filed Thursday stem from the restructuring that Starbucks announced in May, and fall largely within the group that designs, sites and builds its coffeehouses.

The reductions are part of the “Back to Starbucks” turnaround CEO Brian Niccol launched after taking over in September 2024 — an effort that has paired store-level technology upgrades and a simplified menu with a restructuring of the company’s corporate ranks.

Starbucks has now eliminated 537 corporate jobs tied to its Seattle headquarters this year, across three state filings: 61 tech roles in May, 252 support center jobs later that month, and the 224 disclosed this week across tech and store development positions.

Starbucks is targeting $2 billion in cost reductions over two years under Niccol, and has shed more than 2,300 corporate jobs companywide since last year, according to Bloomberg.

At the same time, Starbucks is building out its Nashville office, a $100 million investment expected to house 2,000 support jobs within five years. The company has said the majority of its corporate teams will remain in Seattle.

The design and development cuts come later than the rest of the May restructuring because the executive who leads the group, Stephen Piacentini, joined Starbucks from Chipotle in April, and the organizational changes in his group weren’t finalized when the May restructuring was announced.

An anonymous reader quotes a report from The Economist: Students and school children are increasingly using artificial intelligence. A survey last year by Chegg, an ed-tech firm, found that 80% of rich-world undergraduates used it in their studies. More recent polls put the figure at 94% in Britain and 93% in Germany. Such widespread adoption has fueled concerns about the impact the technology might be having on learning. Teachers report marking identikit essays that they suspect are churned out by ChatGPT. Yet firm evidence on AI's educational effects has been lacking. David Stromberg of Stockholm University and Victor Lei and Wu Yanhui of the University of Hong Kong set out to fill the gap. They tracked 27,000 pupils aged 12-18 in China, where AI adoption has been fast. Around 80% reported using models such as Doubao and DeepSeek; the other 20% formed the control group. The results are eye-opening. After six months, pupils using AI saw their average homework score rise by 18% across all subjects. The time they took to complete each assignment fell from an average of 64 minutes to 45. But come exam time, the same students scored 20% below their classmates who had not called on AI's help. Homework scores once predicted exam performance; now those who score highest are, perversely, more likely to do worse in exams. The takeaway: "AI can boost learning productivity, but only for those who use the technology intelligently," reports The Economist. "Students must resist the temptation to reach for an AI-generated answer before thinking things through for themselves."

Read more of this story at Slashdot.

Apple is laying off staff on the Siri and the Vision Pro teams, according to Bloomberg. The cuts include "largely shutting down" a Vision Pro gaming team and "reducing the size" of the team that makes Vision Pro immersive content, the publication says. More than 200 jobs were cut.

Apple said in a statement to Bloomberg it was making the changes to "to evolve our business to deliver the best experiences for our users," though it will be making new roles. The company didn't immediately reply to a request for comment from The Verge.

The Vision Pro launched in early 2024 as Apple's big bet on "spatial computing," but the $3,499 headset doesn't …

Read the full story at The Verge.

---