Svelte Hacker News

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

70 points by anerli 3 hours ago | 23 comments

1

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

22 points by ndrwnaguib an hour ago | 7 comments

2

Show HN: Lucidia, a WebGL visualizer inspired by Drempels (alana314.github.io)

2 points by alana314 an hour ago | 0 comments

3

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

90 points by godzie 6 hours ago | 14 comments

4

Show HN: Open-Source, Self-Hostable Rate Limiting API (github.com)

2 points by LorenzoBloedow 2 hours ago | 1 comment

5

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

29 points by slig 2 days ago | 15 comments

6

Show HN: Claude Code with GUI and Block Based Prompt Editor (MIT) (localforge.dev)

3 points by avetiszakharyan 3 hours ago | 1 comment

7

Show HN: Be My First User

2 points by hagan 3 hours ago | 5 comments

8

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

179 points by lcolucci a day ago | 78 comments

9

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

4 points by lorenzopalaia 5 hours ago | 0 comments

10

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

38 points by piotmni a day ago | 16 comments

11

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

77 points by alexboehm 19 hours ago | 28 comments

12

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

123 points by hakanshehu 2 days ago | 44 comments

13

Show HN: Dia-Jax – A Jax port of the Dia text-to-speech dialogue model (github.com)

2 points by jaco-bro 5 hours ago | 0 comments

14

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

4 points by tomsaju 8 hours ago | 0 comments

15

Show HN: Loat – Grow MRR with automated emails (loat.email)

4 points by PETROPALOVSK 5 hours ago | 2 comments

16

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

5 points by Xiione 8 hours ago | 0 comments

17

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

83 points by philocalyst a day ago | 37 comments

18

Show HN: An MCP Server for Understanding AWS Costs

14 points by StratusBen 5 hours ago | 3 comments

19

Show HN: KRDS – Korea Government Design System in React and MUI (github.com)

2 points by gracefullight 5 hours ago | 0 comments

20

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

76 points by dtnewman a day ago | 33 comments

21

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

2 points by hsfzxjy 6 hours ago | 1 comment

22

Show HN: OpenWrt Configurator – Simple config management for OpenWrt devices (github.com)

3 points by jasrusable 6 hours ago | 0 comments

23

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

71 points by stavros a day ago | 23 comments

24

Show HN: Turn Rails REST APIs into Model Context Protocol (MCP) Servers (github.com)

3 points by NinjaGems 6 hours ago | 0 comments

25

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

27 points by anonymousd3vil a day ago | 6 comments

26

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

307 points by UnmappedStack 2 days ago | 79 comments

27

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

95 points by skull8888888 2 days ago | 43 comments

28