A Super Kawaii Dependently Typed Programming Language (by ditto)
Are you sure of anything? https://github.com/ditto/ditto
A Proof-oriented Programming Language
Consider that F* is a real language inspired by F#... could we create a C#-style language for program verification?
Less time debugging, more time building. Scout APM allows you to find and fix performance issues with no hassle. Now with error monitoring and external services monitoring, Scout is a developer's best friend when it comes to application development.
Open standard for machine learning interoperability
No no, hear me out. The original image has "onyx" which I believe was an attempt to put a pokemon in the list which they miss-spelled since the pokemon is "onix". What I'm pointing out is that the two previous languages are tensorflow and keras which are machine learning programming frameworks and onnx is a machine learning framework as well
There's always a relevant XKCD.
Have you ever used F* ? Can you ELI5 its use case?
1 project | reddit.com/r/fsharp | 14 Jul 2022
F* – Microsoft's programming language with a superset of features over F#
1 project | news.ycombinator.com | 7 Jul 2022
Is it worth learning dependent types for someone who won't do research in type theory and PL?
2 projects | reddit.com/r/dependent_types | 28 May 2022
The F* Programming Language
1 project | news.ycombinator.com | 26 May 2022
Swapping your M and N key around, yeah I know, some people will call me a Nomster!
1 project | reddit.com/r/ProgrammerHumor | 21 May 2022