Search: github.com/solomon-b | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Show HN: I'm launching a LPFM radio station (kpbj.fm)

113 points

4 months ago

2.

Single Module Lambda Calculus from Simply Typed to Martin Lof Type Theory (github.com/solomon-b)

3 points

2 months ago

3.

Show HN: claude-env – Manage multiple accounts for Claude-code (github.com/solomon-b)

2 points

3 months ago

4.

Show HN: Single file Lambda Calculus' demonstrating various type system features (github.com/solomon-b)

1 point

2 months ago

5.

Show HN: BlockFrame – A local, erasure-coded storage engine in Rust (github.com/crushr3sist)

2 points

5 months ago

6.

Co-Alegebraic Chat Bots in Haskell [Not AI] (github.com/cofree-coffee)

3 points

4 months ago

7.

Morphisms of Computational Structures (github.com/prathyvsh)

2 points

6 years ago