Joseph Junker
@jnkrtech
he/him
Software Engineering
Book Worm
Blogger
Functional programming
TypeScript
Life Long Learner
Software Testing
Node.js
Neurodivergent
Programming Languages
Type Theory
+ 0
Programmer interested in functional programming and formal methods. I read research papers, blog (sometimes), and hop between too many side projects.
All tech is political. Black lives matter, trans lives matter.
Read more
I'm open to
open source contributions,
speaking on clubhouse,
writing,
partnering on side projects,
and brainstorming.
Contact Me
Portfolio
I just published a blog post that I've been working on for a while: The Church Encoding of Simple Algebraic Data Types Church encodings are cool in that they're a really fundamental theoretical con...
Hello, world