cyph3rPunk@infosec.pub

6 Posts
0 Comments

Joined 2 years ago

Cake day: June 25th, 2023

You are not logged in. If you use a Fediverse account that is able to follow users, you can follow this user.

OverviewCommentsPosts

cyph3rPunk@infosec.pub to

Cardano@infosec.pub · 1 day ago

Cardano Governing Board Update

0

3

Cardano Governing Board Update

cyph3rPunk@infosec.pub to

Cardano@infosec.pub · 1 day ago

0

cyph3rPunk@infosec.pub to

Formal Methods@programming.dev · 3 months ago

Verified Effectful Programming in F* - Catalin Hritcu

0

1

Verified Effectful Programming in F* - Catalin Hritcu

cyph3rPunk@infosec.pub to

Formal Methods@programming.dev · 3 months ago

0

cyph3rPunk@infosec.pubM to

Open Sores@infosec.pubEnglish · 2 years ago

the Open Sores Movement

0

1

the Open Sores Movement

cyph3rPunk@infosec.pubM to

Open Sores@infosec.pubEnglish · 2 years ago

0

cyph3rPunk@infosec.pub to

Functional Programming@programming.devEnglish · 2 years ago

Backtracking through Time and Space in Erlang | Quinn Wilton & Robert Virding | Code BEAM Europe 22

0

1

Backtracking through Time and Space in Erlang | Quinn Wilton & Robert Virding | Code BEAM Europe 22

cyph3rPunk@infosec.pub to

Functional Programming@programming.devEnglish · 2 years ago

0

cyph3rPunk@infosec.pub to

Functional Programming@programming.devEnglish · 2 years ago

Monadic Parsers at the Input Boundary

0

1

Monadic Parsers at the Input Boundary

cyph3rPunk@infosec.pub to

Functional Programming@programming.devEnglish · 2 years ago

0

cyph3rPunk@infosec.pub to

Functional Programming@programming.devEnglish · 2 years ago

Brian Beckman: Don't fear the Monad

0

1

Brian Beckman: Don't fear the Monad

cyph3rPunk@infosec.pub to

Functional Programming@programming.devEnglish · 2 years ago

0

Moderates

Open Sores@infosec.pub