Show HN: Talos – Open-source WASM interpreter for Lean (github.com) | HN Screenshots

YHacker Newsscreenshots

Screenshot of github.com: Show HN: Talos – Open-source WASM interpreter for Lean

First screen, captured 4 months ago.

Looks similar

Screenshot of github.com: An SLM trained on $8 ESP32-S3

An SLM trained on $8 ESP32-S3 (github.com)

55 points by pavelai 2 months ago | 17 comments

Screenshot of github.com: Show HN: Claudoro, Pomodoro timer embedded in the Claude Code statusline

Show HN: Claudoro, Pomodoro timer embedded in the Claude Code statusline (github.com)

39 points by emson 3 months ago | 28 comments

Screenshot of github.com: 90210 – running the show without property tax

90210 – running the show without property tax (github.com)

16 points by starboyy 4 months ago | 10 comments

Screenshot of github.com: Show HN: TurboQuant for vector search – 2-4 bit compression

Show HN: TurboQuant for vector search – 2-4 bit compression (github.com)

86 points by justsomeguy1996 7 months ago | 5 comments

Screenshot of github.com: Show HN: Moribito – A TUI for LDAP Viewing/Queries

Show HN: Moribito – A TUI for LDAP Viewing/Queries (github.com)

89 points by woumn 1 year ago | 23 comments

Screenshot of github.com: Show HN: Tegon: Open-source alternative to Jira, Linear

Show HN: Tegon: Open-source alternative to Jira, Linear (github.com)

139 points by harshithmul 2 years ago | 106 comments