samueldurante
Re:F* – A Proof-Oriented Programming Language
on Thursday May 16, 2024 @11:58AM (#40379899)
I believe that F* is named purely for marketing purposes, or perhaps to specify another programming language with syntax derived from OCaml.
But other than that, I don't think it has any other relation.
Re:People who use Notion to plan their whole lives
on Tuesday April 25, 2023 @03:44PM (#35705638)
The implementation of the Notion can be bunch of lists, like Trello. However Notion's UI doesn't pass this feeling.
Re:WebGPU GPT Model Demo
on Saturday April 22, 2023 @01:52AM (#35663755)
I didn't understand why I need WebGPU to use WebGPT...