Proof-oriented Programming in F* - Nikhil Swamy [1/4]

youtu.be

Proof-oriented Programming in F* - Nikhil Swamy [1/4]

youtu.be

harryprayiv@infosec.pubM to

The Firehose@infosec.pubEnglish · 3 hours ago

You must log in or register to comment.

Chat

The Firehose@infosec.pub

firehose@infosec.pub

You are not logged in. However you can subscribe from another Fediverse account, for example Lemmy or Mastodon. To do this, paste the following into the search field of your instance: !firehose@infosec.pub

Community locked: only moderators can create posts. You can still comment on posts.

I tend to overshare all of the things I am into, creating a wall of links that people can’t keep up with.

Therefore, I decided to aggregate all of the links in one place for others to see.

I am the only person that can post here because this is my personal collection of links.

Visibility: Public

This community can be federated to other instances and be posted/commented in by their users.

62 users / day
62 users / week
0 users / month
62 users / 6 months
1 local subscriber
1 subscriber
44 Posts
9 Comments
Modlog

mods:
harryprayiv@infosec.pub