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

youtu.be

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

youtu.be

harryprayivM to

The FirehoseEnglish · 1 month ago

You must log in or register to comment.

Chat

The Firehose

firehose

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.

1 user / day
6 users / week
68 users / month
148 users / 6 months
6 local subscribers
77 subscribers
62 Posts
13 Comments
Modlog

mods:
harryprayiv