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 · 15 hours ago

https://www.youtube.com/watch?v=pastkdtv7eQ&feature=youtu.be

youtu.be

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.

MY PERSONAL COMMUNITY.

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.

Rules (anyone that violates them will be promptly banned for life):

These is my community to aggregate my favorite links. I am not a “bot”. If you don’t like it, please make a comment and I will happily ban you for life.
Don’t be a troll. This is completely up to my interpretation and I reserve the right to be a power tripping mod if I wish.
If you’re going to have a discussion, keep it civil. Don’t gaslight people, gatekeep, move goalposts, etc.
I am a leftist. Spamming this comm with viewpoints that I deem right wing or fascist will get you banned.
No neoliberal genocide apologia and identity politics bullshit. I will enthusiastically ban you with prejudice.

Visibility: Public

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

61 users / day
81 users / week
81 users / month
81 users / 6 months
1 local subscriber
1 subscriber
47 Posts
10 Comments
Modlog

mods:
harryprayiv@infosec.pub