F#

Evidence (10)

• 7InfoQ·9/15/2026framework_update
  .NET 11 RC1 ships with go-live support

  Microsoft has released .NET 11 Release Candidate 1, the first RC in the cycle, and is offering a go-live support license for production use. The update sets C# 15 and F# 11 as the default language versions, extends dotnet test to mobile and desktop targets, finalizes SignalR authentication refresh APIs, and improves Android build times in .NET MAUI.

• 7Hacker News·8/23/2026breakthrough
  GLM-5.3 tops real-world LLM benchmark at lower cost

  A Hacker News post highlights a benchmark comparing LLMs on 28 practical tasks, with GLM-5.3 reportedly becoming the first model to clear all five categories at 100%. The write-up says it outperformed Anthropic and OpenAI models on this suite while costing about one-fifth as much, though it had a slower median time-to-first-token than some alternatives.

• 5InfoQ·8/19/2026framework_update
  .NET 11 Preview 7 Adds Updates Across C#, ASP.NET Core, EF Core, and Windows Forms

  Microsoft has released .NET 11 Preview 7 with changes spanning C#, ASP.NET Core, .NET MAUI, Entity Framework Core, Windows Forms, and F#. Notable additions include labeled break and continue in C#, Blazor circuit pausing, CacheView, built-in validation localization in ASP.NET Core, modern rendering for Windows Forms, and Half type support on SQLite in EF Core.

• 5Hacker News·8/2/2026open_source
  F* proof-oriented programming language

  F* is a general-purpose proof-oriented programming language that combines dependent types, SMT-based proof automation, and interactive theorem proving. It supports functional and effectful programming, compiles by default to OCaml, and can also target C, F#, Wasm, or assembly through related toolchains.

• 6Hacker News·7/26/2026research
  LLMs May Automate Proofs in Dependently Typed Languages

  The article argues that large language models, combined with proof irrelevance, could significantly reduce the manual effort required in dependently typed languages. It describes a Lean-based experiment building a Zstandard decompressor to test whether LLMs can make proof automation more practical and lessen proof engineering overhead.

• 7Hacker News·7/21/2026research
  Kimi K3 Matches Fable on Agent Tasks, Routing Together Improves Results

  A benchmark study on about 1,030 real agentic tasks found Kimi K3 and Fable 5 performed at roughly similar quality overall, with each model showing strengths in different task categories. The post claims that routing between the two models achieved 93% accuracy and could cut costs by up to 50x versus using Fable alone on long agentic loops.

• 2Simon Willison·7/13/2026open_source
  Datasette code frequency chart on GitHub

  Simon Willison shared a GitHub code-frequency chart for his Datasette open source project to illustrate changes in his coding output over time. He noted that a recent spike in activity appears to line up with use of newer AI coding models and agents such as Opus 4.8, GPT-5.5, Fable 5, and GPT-5.6 Sol.

• 4Hacker News·6/30/2026open_source
  Parsing Instead of Validating in TypeScript

  The article argues that TypeScript code often validates data repeatedly instead of parsing it into more specific types that preserve guarantees. It discusses using branded or nominal-style types to encode parsed values like email addresses so later code can rely on the type system instead of re-checking conditions.

• 6Hacker News·6/27/2026research
  Post-Mythos Cybersecurity and the Limits of AI Vulnerability Hunting

  The article argues that Anthropic’s Claude Mythos Preview has been framed as a major cybersecurity breakthrough, but that its results are better understood as an incremental improvement over earlier models. It notes that benchmark wins and old-vulnerability findings may be impressive, yet they do not necessarily reflect realistic enterprise environments or fundamentally new attack capability. The main practical impact may be the ability of well-funded organizations to scale exhaustive vulnerability searches at higher cost.

• 9Hacker News·6/12/2026regulation
  Anthropic to disable Fable 5 and Mythos 5 after U.S. export-control directive

  Anthropic says the U.S. government ordered access to Fable 5 and Mythos 5 suspended for all foreign nationals, forcing the company to disable the models for all customers to remain compliant. Anthropic says the directive was based on a claimed jailbreak concern, but it believes the cited issue is a narrow vulnerability already observable in other publicly available models and not a universal bypass.