News for hackers. Stuff that matters.

A comment on F*: A general-purpose proof-oriented programming language. Parent comment

Re:F*: A general-purpose proof-oriented programming language by grndn on Monday August 03, 2026 @05:08AM (#49153141)
Matthew Crews has a done a number of videos on high-performance F# and there are some things you can do that give a big boost over the default coding approach.

Why F# for Performance -- https://www.youtube.com/watch?v=EIBRoNEpg6c

F# for Performance-Critical Code -- https://www.youtube.com/watch?v=NZ5Lwzrdoe8

[ Parent | on HN ]

There are no comments on this comment yet.