Viewing profile — samueldurante
samueldurante
HN member- Joined
- Sat, Jul 09, 2022, 5:05 PM UTC
- HN karma
- 6
- Public activity
- 4 items
- HN profile
- View on Hacker News ↗
About samueldurante
No profile information was provided.
Recent public activity
- story
-
comment
Comment #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 h…
-
comment
Comment #35705638
The implementation of the Notion can be bunch of lists, like Trello. However Notion's UI doesn't pass this feeling.
-
comment
Comment #35663755
I didn't understand why I need WebGPU to use WebGPT...