Hacker GitHub

← All repos

jaggederest/locque

View on GitHub ↗ ★ 4 Haskell

Locque, a dependently-typed LLM first programming language

3 mentions on Hacker News by 1 person: 0 stories, 3 comments · first 2026-01-11 · latest 2026-02-03

Mentions per year 3 mentions · busiest year 2026 (3)
20082026
AllStoriesComments NewestTopOldest
  1. …insane overkill type system to help guide the AI. I also threw in a little lispiness on my draft: https://github.com/jaggederest/locque/
    comment by jaggederest · 2026-02-03 · in How does misalignment scale with model intelligence and task complexity?
  2. …better, so it's dependently typed and hosted on Haskell at the moment. Feedback eagerly solicited. https://github.com/jaggederest/locque
    comment by jaggederest · 2026-01-11 · in Ask HN: What are you working on? (January 2026)
  3. …- avoiding symbols as much as possible and trying to use full english words. Very underbaked but https://github.com/jaggederest/locque
    comment by jaggederest · 2026-01-11 · in Show HN: GlyphLang – An AI-first programming language