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 · 2 days ago

- YouTube

youtu.be

Auf YouTube findest du die angesagtesten Videos und Tracks. Außerdem kannst du eigene Inhalte hochladen und mit Freunden oder gleich der ganzen Welt teilen.

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.

54 users / day
88 users / week
88 users / month
88 users / 6 months
1 local subscriber
49 subscribers
50 Posts
12 Comments
Modlog

mods:
harryprayiv@infosec.pub