We use cookies and other tracking technologies to improve your browsing experience on our site, analyze site traffic, and understand where our audience is coming from. To find out more, please read our privacy policy.

By choosing 'I Accept', you consent to our use of cookies and other tracking technologies.

We use cookies and other tracking technologies to improve your browsing experience on our site, analyze site traffic, and understand where our audience is coming from. To find out more, please read our privacy policy.

By choosing 'I Accept', you consent to our use of cookies and other tracking technologies. Less

We use cookies and other tracking technologies... More

Login or register
to apply for this job!

Login or register
to publish this job!

Login or register
to save this job!

Login or register
to save interesting jobs!

Login or register
to get access to all your job applications!

Login or register to start contributing with an article!

Login or register
to see more jobs from this company!

Login or register
to boost this post!

Show some love to the author of this blog by giving their post some rocket fuel 🚀.

Login or register to search for your ideal job!

Login or register to start working on this issue!

Login or register
to save articles!

Engineers who find a new job through Blockchain Works average a 15% increase in salary 🚀

Marty Stumpf
Software engineer. Loves FP Haskell Coq Agda PLT. Always learning. Prior: Economist. Vegan, WOC in solidarity with POC.

Last seen 27 days ago
thealmarty
Activity & Stats
WorksHub Rating
Top 1% user
Member Since
Oct 2018
Author Of
Open Source Issues
No contributions yet
Skills
D
Data Analysis - 7 years
haskell - 2 years
S
Smart Contracts - 2 years
B
Blockchain - 2 years
OCaml - less than a year
S
standard ml - less than a year
Also has experience with
    • MATLAB
    • octave
    • Idris
Current Interests
These are specific technologies that this person is interested right now.
      Haskell
      Rust
      Blockchain
Open Source
GitHub contributions
17 commits
Over a total of
3 repositories
Last 4 months productivity
Feb
Mar
Apr
May
Mon
Wed
Fri
Articles
Anamorphisms aka Unfolds Explained
13 May, 20214 min read22 boosts
Folding Nonempty Structures In Haskell
7 May, 20213 min read23 boosts
Catamorphisms aka folds explained
22 April, 20214 min read25 boosts
More on types, typeclasses and the foldable typeclass
12 April, 20214 min read49 boosts
Higher Order Functions: Lambda calculus, Currying, Maps
8 March, 20215 min read50 boosts
Why You Should Learn Functional Programming
28 January, 20213 min read38 boosts
Programming with Bananas in OCaml
24 January, 20194 min read56 boosts
Simple Yet Powerful: Lambda Calculus
31 October, 20183 min read21 boosts
Open Source Issues

User hasn't started working on any issue yet. Browse all issues