Svelte Hacker News

Show HN: Empty Enter Expander – Type less in the terminal with this tool (github.com)

27 points by waszabi 5 hours ago | 8 comments

1

Show HN: Formalizing Principia Mathematica using Lean (github.com)

132 points by ndrwnaguib 14 hours ago | 28 comments

2

Show HN: I used OpenAI's new image API for a personalized coloring book service (clevercoloringbook.com)

209 points by darajava a day ago | 108 comments

3

Show HN: Magnitude – open-source, AI-native test framework for web apps (github.com)

150 points by anerli 15 hours ago | 37 comments

4

Show HN: A modern spreadsheet with Python integration (citadel5.com)

79 points by jpiech 14 hours ago | 12 comments

5

Show HN: Lemon Slice Live – Have a video call with a transformer model

192 points by lcolucci 2 days ago | 81 comments

6

Show HN: BugStalker - a modern Rust debugger (github.com)

110 points by godzie 18 hours ago | 15 comments

7

Show HN: Colanode, open-source and local-first Slack and Notion alternative (github.com)

136 points by hakanshehu 2 days ago | 45 comments

8

Show HN: VacayBuddy – PTO Management Inside Slack (Open Source) (github.com)

4 points by letnaturebe 7 hours ago | 0 comments

9

Show HN: Logiquiz – Daily Self-Referential Puzzles (logiquiz.com)

33 points by slig 3 days ago | 17 comments

10

Show HN: Faasta – A self-hosted Serverless platform for WASM-wasi-HTTP in Rust (github.com)

86 points by alexboehm a day ago | 30 comments

11

Show HN: I built Lovable for text bots and mini apps (plutonic.dev)

41 points by piotmni 2 days ago | 16 comments

12

Show HN: Infat – Declaritive application assocation manager for macOS (github.com)

88 points by philocalyst 2 days ago | 40 comments

13

Show HN: Zev – Remember (or discover) terminal commands (github.com)

80 points by dtnewman 2 days ago | 34 comments

14

Show HN: I made my own TRMNL e-ink device (stavros.io)

75 points by stavros 2 days ago | 23 comments

15

Show HN: RSS Lookup – Find RSS Feeds for Any URL (Free, Open Source) (rsslookup.com)

6 points by mratmeyer 13 hours ago | 3 comments

16

Show HN: Photo.codes – Free, privacy-first photo editor for the web (photo.codes)

2 points by ozdemirdev 9 hours ago | 2 comments

17

Show HN: I built an AI that turns GitHub codebases into easy tutorials (github.com)

891 points by zh2408 6 days ago | 170 comments

18

Show HN: SnipFast – Extract Highlighted Text from Physical Books (snipfa.st)

9 points by tomsaju 20 hours ago | 0 comments

19

Show HN: An interactive demo of QR codes' error correction (qris.cool)

13 points by Xiione 20 hours ago | 2 comments

20

Show HN: StackHound - Stop guessing repo's tech stack, analyze it in seconds (stackhound.vercel.app)

6 points by lorenzopalaia 18 hours ago | 2 comments

21

Show HN: Rowboat – Open-source IDE for multi-agent systems (github.com)

158 points by segmenta 4 days ago | 51 comments

22

Show HN: My from-scratch OS kernel that runs DOOM (github.com)

312 points by UnmappedStack 2 days ago | 81 comments

23

Show HN: AI Overview Hider for Google (soitis.dev)

3 points by insin 11 hours ago | 0 comments

24

Show HN: Index – New Open Source browser agent (github.com)

96 points by skull8888888 3 days ago | 43 comments

25

Show HN: I Added Translation to My RSS Reader Project (rahuldshetty.github.io)

28 points by anonymousd3vil a day ago | 6 comments

26

Show HN: Morphik – Open-source RAG that understands PDF images, runs locally (github.com)

193 points by Adityav369 4 days ago | 43 comments

27

Show HN: VSCode-remote-glibc-patch – Patch legacy Linux to use VSCode Remote (github.com)

3 points by hsfzxjy 18 hours ago | 1 comment

28