Hrefna (DHC) · @hrefna
1176 followers · 4468 posts · Server hachyderm.ioSome in-the-genre languages I still want to play with some day that don't check the boxes or that I decided on #OCaml over for other reasons:
(I'd also like to get into #Elixir at some point, and a few others, but they aren't really in the genre).
#ocaml #flix #idris #fstar #elixir
Ushitora Anqou · @anqou
216 followers · 58614 posts · Server mstdn.anqou.net
LisPi · @lispi314
331 followers · 4935 posts · Server mastodon.top#FStar is pretty cool and doesn't afraid of anything.
It seems not to get mentioned much on the #Fediverse
#Security #LanguageBasedSecurity #FormalVerification #Proof #Programming
#fstar #fediverse #security #languagebasedsecurity #formalverification #proof #programming
LisPi · @lispi314
331 followers · 4935 posts · Server mastodon.top
@rysiek Ah so it is. https://github.com/XKCP/XKCP
Perhaps rewriting that in #Ada or #Rust might be advisable (or maybe #FStar)?
(Most probably Ada if it needs fancy time guarantees.)
#fstar #ada #rust #languagebasedsecurity #security
Ushitora Anqou · @anqou
194 followers · 57920 posts · Server mstdn.anqou.net
Ushitora Anqou · @anqou
186 followers · 57407 posts · Server mstdn.anqou.net
Ushitora Anqou · @anqou
186 followers · 57366 posts · Server mstdn.anqou.net
Ushitora Anqou · @anqou
176 followers · 56463 posts · Server mstdn.anqou.net
Ushitora Anqou · @anqou
175 followers · 56050 posts · Server mstdn.anqou.net
Ushitora Anqou · @anqou
175 followers · 56044 posts · Server mstdn.anqou.net
Ushitora Anqou · @anqou
175 followers · 56037 posts · Server mstdn.anqou.net
Ushitora Anqou · @anqou
168 followers · 55776 posts · Server mstdn.anqou.net
Ushitora Anqou · @anqou
168 followers · 55771 posts · Server mstdn.anqou.net
Ushitora Anqou · @anqou
168 followers · 55766 posts · Server mstdn.anqou.net
Ushitora Anqou · @anqou
163 followers · 55595 posts · Server mstdn.anqou.net
Ushitora Anqou · @anqou
163 followers · 55596 posts · Server mstdn.anqou.net
Ushitora Anqou · @anqou
163 followers · 55596 posts · Server mstdn.anqou.net
Ushitora Anqou · @anqou
163 followers · 55596 posts · Server mstdn.anqou.net
Ushitora Anqou · @anqou
163 followers · 55596 posts · Server mstdn.anqou.net