Search: github.com/thegrims | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

Show HN: The Thiele Machine – Coq-Verified Computational Model Beyond Turing

github.com/sethirus

5 months ago

9 points

32.

Show HN: A Theory of Anxiety Conditions

a-theory-of-anxiety-conditions.github.io

4 years ago

7 points

33.

Show HN: I built a debugging MCP server that saves me ~2 programming hours a day

a year ago

5 points

34.

Toward a new mathematical theory of computation.

17 years ago

5 points

35.

Show HN: TLA+ AutoRepair (with GPT-4) to fix formal specs and understand them

github.com/kerberosmansour

3 years ago

kerberosmansour

4 points

36.

Ramaze needs YOU

15 years ago

3 points

37.

Show HN: I spent 40 hours vibe coding after 40 years of traditional programming

marcobenedetti.substack.com

10 months ago

3 points

38.

Ask HN: What do you think about a simpler syntax that compiles into LaTeX?

16 years ago

2 points

39.

Show HN: SkillFortify, a formal verification for AI agent skills

github.com/varun369

4 months ago

2 points

40.

Show HN: SkillFortify, Formal verification for AI agents (auto-discovers)

github.com/varun369

4 months ago

2 points

41.

Show HN: AGI Lite for Free,Semantic AI boost with WFGY(stability ×3.6, open SDK

github.com/onestardao

a year ago

2 points

42.

Show HN: Why I'm building a graphical, simple Proof Assistant for kids

6 months ago

2 points

43.

Show HN: Umbilic Torus Model of 12‑Tone Harmony (Now, Live TCP Note Tracking)

github.com/jimishol

10 months ago

2 points

44.

Show HN: The Council of Perspectives – AI Experts Discussing Any Problem

the-council-of-perspectives.vercel.app

a year ago

2 points

45.

Show HN: Story Jam, a music composition tool for Storytellers

a year ago

2 points

46.

Show HN: Flywheel – The Zero-Flicker Terminal Compositor for Agentic CLIs

github.com/ccheshirecat

5 months ago

1 points

47.

Show HN: The Participatory Interface Theory

7 months ago

1 points

48.

Show HN: Verity, Formally verified smart contracts from spec to bytecode

github.com/Th0rgal

4 months ago

1 points

49.

Show HN: I built a dependency graph for the tree of human science

github.com/slepybear

4 months ago

1 points

50.

Show HN: A verified foundation of mathematics in Coq (Theory of Systems)

5 months ago

1 points

51.

Show HN: Daily algos trainer with progress tracking

github.com/kwkr

3 years ago

1 points

52.

Gplgpu: GPL-licensed graphics

github.com/asicguy

12 years ago

3 points