Top New Best Ask Show Jobs

solomonb

1,253 karma · joined December 2, 2019

Software engineer with interests in programming language theory and type theory.

I also like compost.

and radio.

blog.cofree.coffee www.kpbj.fm www.kchungradio.org

ssbothwell_at_gmail_dot_com

submissions comments

Type Safe Servant Auth Roles

blog.cofree.coffee·2 pts·solomonb·

Show HN: Single file Lambda Calculus' demonstrating various type system features

github.com·1 pts·solomonb·

Daemon (2006)

en.wikipedia.org·53 pts·solomonb·

Show HN: claude-env – Manage multiple accounts for Claude-code

github.com·2 pts·solomonb·

Co-Alegebraic Chat Bots in Haskell [Not AI]

github.com·3 pts·solomonb·

Show HN: I'm launching a LPFM radio station

kpbj.fm·113 pts·solomonb·

What got lost in translation from Lean Manufacturing into Agile?

3 pts·solomonb·

Chat Bots Revisited

blog.cofree.coffee·2 pts·solomonb·

How We Feel

howwefeel.org·1 pts·solomonb·

Lensy Moore

blog.cofree.coffee·1 pts·solomonb·

The Sovereign Individual (1997)

en.wikipedia.org·2 pts·solomonb·

The Long Boom: A History of the Future, 1980–2020 (1997)

wired.com·80 pts·solomonb·

A Rape in Cyberspace (1993)

juliandibbell.com·1 pts·solomonb·

Confessions of an Ex-Cyberpunk (1991)

nytimes.com·2 pts·solomonb·

Paradise lost: The rise and ruin of Couchsurfing.com (1991)

inverse.com·4 pts·solomonb·

The Long Boom: A History of the Future, 1980–2020 (1997)

wired.com·1 pts·solomonb·

Programming as Theory Building (1985) [pdf]

algoritmos-iii.github.io·162 pts·solomonb·

Is Computer Hacking a Crime? (1989) [pdf]

faculty.weber.edu·70 pts·solomonb·

Polynomial Functors: A Mathematical Theory of Interaction [pdf]

topos.site·49 pts·solomonb·

Programming as Theory Building (1985) [pdf]

algoritmos-iii.github.io·3 pts·solomonb·

Free Monads Yield Extensible Effects

blog.cofree.coffee·1 pts·solomonb·

William Gibson’s Neuromancer: Does the Edge Still Bleed?

tor.com·3 pts·solomonb·

How to Design a Chat Bot

blog.cofree.coffee·1 pts·solomonb·

Alex and Happy MVP

blog.cofree.coffee·1 pts·solomonb·

Dont Worry Be Happy

blog.cofree.coffee·1 pts·solomonb·

Programming Aesthetics: I. The Missing Skill

blog.audax-labs.com·1 pts·solomonb·

That One Cool Reader Trick

blog.cofree.coffee·1 pts·solomonb·

A Brief Intro to Monad Transformers

blog.cofree.coffee·1 pts·solomonb·

Wingman for Haskell: Focus on the important stuff; delegate the rest

haskellwingman.dev·6 pts·solomonb·

Morphisms of Computational Structures

github.com·2 pts·solomonb·

Page 1 of 2Next →