User's banner
Avatar

demesisx

demesisx@programming.dev
Joined
5 posts • 9 comments

Plutus, Haskell, Nix, Purescript, Swift/Kotlin. laser-focused on FP: formality, purity, and totality; repulsed by pragmatic, unsafe, “move fast and break things” approaches

AC24 1DE5 AE92 3B37 E584 02BA AAF9 795E 393B 4DA0

Direct message
Filter:
OverviewPostsComments
Sort:
NewOldTopAll
1

Hackathon Workshop - Intro to building on Cardano and Smart Contracts with Aiken [1:32:24](youtu.be)

posted
by
Avatar
demesisx@programming.devM
in
Avatar
cardanodevelopers@infosec.pub
0 comments
hidereport
1

#239 Grigore Rosu: The K framework - a framework to formally define all programming languages(youtu.be)

posted
by
Avatar
demesisx@programming.dev
in
Avatar
formal_methods@programming.dev
0 comments
hidereport
1

Domain-Driven Design: Tackling Complexity in the Heart of Software by Eric Evans(programming.dev)

posted
by
Avatar
demesisx@programming.dev
in
Avatar
ddd@programming.dev
0 comments
hidereport
1

category-theory: An axiom-free formalization of category theory in Coq for personal study and practical work by John Wiegley(github.com)

posted
*
by
Avatar
demesisx@programming.dev
in
Avatar
formal_methods@programming.dev
0 comments
hidereport
1

Fixing the Future | Functional Programming: The Biggest Change Since We Killed The Goto?(share.transistor.fm)

posted
by
Avatar
demesisx@programming.dev
in
Avatar
functional_programming@programming.dev
0 comments
hidereport
Next page