hackernews client

show

Page 1

Show HN: Algebruh - Cross-check arithmetic claims with Z3, cvc5, and Lean

5 pointsposted 6 hours ago

by modinfo

0 comments

Read more: github.com

Show HN: textlog – A quiet, text-only microblogging platform, open-source, no JS

192 pointsposted 2 days ago

by stagas

74 comments

Show HN: Sign language translation with smart glasses

24 pointsposted 4 days ago

by aadisang

10 comments

Read more: github.com

Show HN: Happy 808 Day

3 pointsposted 6 hours ago

by stuartmemo

0 comments

Show HN: Wyzer Programming Language

214 pointsposted a day ago

by v0id_isgood

112 comments

Read more: github.com

Show HN: Clippy for macOS – retro floating paperclip with computer use

7 pointsposted 7 hours ago

by noobcoder

0 comments

Read more: github.com

Show HN: A Discord bot running in a 4MiB microVM

3 pointsposted 7 hours ago

by ianseyler

0 comments

Read more: github.com

Show HN: A free DOCX editor with MCP server for editing

13 pointsposted 11 hours ago

by artursapek

2 comments

Show HN: Compactdiff – see what compaction dropped from an agent session

5 pointsposted 13 hours ago

by mileskoldin

1 comments

Read more: github.com

Show HN: CrossPlay - Games, puzzles and tools for your e-reader

13 pointsposted a day ago

by ma-r-s

0 comments

Show HN: Rotating torus in terminal (but with kitty graphics protocol)

23 pointsposted 7 days ago

by deotman

4 comments

Show HN: Presse – a Rust CLI tool to compress and merge PDFs

3 pointsposted 14 hours ago

by saientifik

0 comments

Read more: github.com

Show HN: The Channels SDK – Bring Any Agent to Any Channel (Slack, MS Teams)

118 pointsposted 2 days ago

by davidmckayv

24 comments

Read more: github.com

Show HN: Pokémon Emerald Ported to Raspberry Pi Pico 2

55 pointsposted 2 days ago

by mdeeds

28 comments

Read more: github.com

Show HN: Simple algorithm and color space to generate diverse skin tones

622 pointsposted 4 days ago

by automatoney

99 comments

Show HN: A terminal glued to the macOS dock

51 pointsposted 3 days ago

by leopalamim

15 comments

Read more: github.com

Show HN: ContentIQ – Evaluate and optimize content quality before publishing

3 pointsposted 17 hours ago

by Sharanxxxx

0 comments

Show HN: Modern C++ Build Tools for Module Feature

7 pointsposted a day ago

by sunrisepeak

3 comments

Read more: github.com

Show HN: A free mini game that makes you a smarter fly fisherperson

23 pointsposted 5 days ago

by mpc75

10 comments

Show HN: Elevators

1676 pointsposted 8 days ago

by Jrh0203

414 comments

Show HN: Clef – spaced repetition for piano over MIDI

7 pointsposted a day ago

by danieldratschuk

3 comments

Show HN: Certo – An open source platform to deliver Open Badges

16 pointsposted 2 days ago

by thejoin95

0 comments

Read more: github.com

Show HN: Sidebar – a private ESP32 intercom for five kids, no accounts

15 pointsposted 2 days ago

by nonstopnonsense

6 comments

Show HN: ssh ssh.place

185 pointsposted 6 days ago

by jeninh

120 comments

Show HN: Run an 80B Qwen in 4.3 GB of RAM on a Mac, and a 35B on an iPhone

311 pointsposted 5 days ago

by leonickson

142 comments

Read more: github.com

Show HN: Bor – Open-source policy management for Linux desktops

196 pointsposted 7 days ago

by eniac111

30 comments

Show HN: Maple-Preview – Ternary 20B MoE running at 120 tok/s on a iPhone

171 pointsposted 4 days ago

by edwardbzhang

53 comments

Show HN: Remembrane – agent memory in one SQLite file, zero dependencies

11 pointsposted 2 days ago

by satyasairay

0 comments

Read more: github.com

Show HN: S-Bahn Seat Picker

7 pointsposted a day ago

by weli

4 comments

Show HN: Fine-tune an 8B model on a 4 GB laptop GPU

137 pointsposted 5 days ago

by MakazhanAlpamys

28 comments

Read more: github.com