HN Explorer

kserrec

↗ HN profile [ 27.0 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Show HN: AttaLambda: a language where types and data are made of untyped lambdas (attalambda.com)

    I made a programming language! I call it AttaLambda. The idea is this: a usable Lisp-shaped language where all the meaningful computation is done in untyped lambda calculus. Logic, arithmetic, data structures, control…

    1 points 7
  2. 1 points 0
  3. Show HN: Mirafold – Your Agent with Generative UI (Codex, Claude Code, Gemini) (mirafold.com)

    I love terminal agents, but I don't love the decades-old-looking basic markdown interface. So I made Mirafold. Mirafold is an open source faithful browser re-skin of the terminal agent you already use (Codex, Claude…

    4 points 7
  4. Show HN: Mirafold – Generative UI for Claude Code, Codex, and Gemini CLI (mirafold.com)
    1 points 0