BestHub
Sign in
Tagged articles

F*

4 articles · Page 1 of 1
21CTO
21CTO
Aug 7, 2026 · Information Security

Why Microsoft’s F* Language Powers Firefox, Linux Kernel, and Azure Security

F* is a proof‑oriented programming language developed by Microsoft Research, INRIA and the open‑source community that generates mathematically verified C code used in critical components such as Firefox’s TLS handshake, Linux’s WireGuard crypto, Azure packet parsing, and even blockchain smart contracts, offering zero‑day‑free security at the cost of higher proof‑writing effort.

AzureF*Firefox
0 likes · 10 min read
Why Microsoft’s F* Language Powers Firefox, Linux Kernel, and Azure Security
Liangxu Linux
Liangxu Linux
Apr 21, 2021 · Fundamentals

Why Reusable Code Eludes Us: FP vs OO Through a FizzBuzz Experiment

The article examines why truly reusable code is hard to achieve by contrasting functional programming in F# with object‑oriented programming in C# through a FizzBuzz implementation, highlighting differences in fragmentation, coupling, and flexibility that affect component reuse.

C#F*Functional Programming
0 likes · 11 min read
Why Reusable Code Eludes Us: FP vs OO Through a FizzBuzz Experiment
21CTO
21CTO
Feb 6, 2021 · Fundamentals

Why Are Reusable Components So Hard? A FP vs OO FizzBuzz Experiment

The article explores why building truly reusable components is challenging by comparing a concise functional F# implementation of FizzBuzz with a more verbose object‑oriented C# version, highlighting how language paradigms and design assumptions affect modularity, coupling, and extensibility.

C++F*Functional Programming
0 likes · 11 min read
Why Are Reusable Components So Hard? A FP vs OO FizzBuzz Experiment