The AI Works community logo The Blockchain Works community logo The Functional Works community logo The Golang Works community logo The Java Works community logo The JavaScript Works community logo The Python Works community logo The Remote Works community logo The WorksHub company logo

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 publish this job!

Login or register
to save this job!

Login or register
to save interesting jobs!

Login or register
to get personalised job recommendations!

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!

Login to see the application

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

You will be redirected back to this page right after signin

Start with GitHubStart with Stack OverflowSignup with EmailLogin with Email
Marty Stumpf
Software engineer. Loves FP Haskell Coq Agda PLT. Always learning. Prior: Economist. Vegan, WOC in solidarity with POC.
Last seen 23 Oct, 2023
thealmarty
Activity & Stats
WorksHub Rating
Top 1% user
Member Since
Oct 2018
Author Of
10 articles
Open Source Issues
No contributions yet
Skills
D
Data Analysis - 7 years
haskell - 5 years
S
Smart Contracts - 5 years
B
Blockchain - 5 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
20 commits
Over a total of
2 repositories
Last 4 months productivity
Jun
Jul
Aug
Sep
Mon
Wed
Fri
Articles
Functional Typeclasses 2: `Monoid`
9 January, 2023•6 min read•2 boosts
Functional Typeclasses 1: Overview and Semigroup
10 November, 2022•7 min read•1 boost
Dependent Types, Explained
11 May, 2022•5 min read•25 boosts
Hylomorphism Explained
7 April, 2022•3 min read•30 boosts
You Can Unfold So Much More with Monoid: Examples
7 April, 2022•4 min read•24 boosts
More on Anamorphism: Unfolding More Than List in Haskell
7 April, 2022•3 min read•22 boosts
Anamorphisms aka Unfolds Explained
7 April, 2022•4 min read•23 boosts
Folding Nonempty Structures In Haskell
7 April, 2022•3 min read•23 boosts
Catamorphisms aka folds explained
7 April, 2022•4 min read•25 boosts
More on types, typeclasses and the foldable typeclass
7 April, 2022•4 min read•49 boosts
WorksHub
CareersCompaniesSitemapMetricsFunctional WorksBlockchain WorksJavaScript WorksAI WorksGolang WorksJava WorksPython WorksRemote Works
For companies
For employersRegister companyPricing and plansRequest a demoTerms of Service
Jobs
Machine Learning jobsData Engineering jobsData Science jobsNLP jobsPython jobsScala jobsJava jobsJavaScript jobsR jobsTensorFlow jobsPyTorch jobsSpark jobs
Locations
Jobs in LondonJobs in New YorkJobs in San FranciscoJobs in BerlinJobs in BarcelonaRemote Jobs
Articles
Data Science articlesDeep Learning articlesArtificial Intelligence articlesMachine learning articlesReinforcement Learning articlesData Analysis articlesPython articlesR articlesScala articlesTensorFlow articlesBig Data articlesSpark articles
© 2022 AI Works
Privacy Policy
Developed by WorksHub