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

56 points by ndrwnaguib 3h ago 20 comments

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

95 points by anerli 4h ago 30 comments

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

100 points by godzie 7h ago 15 comments

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

3 points by mratmeyer 2h ago 3 comments

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

2 points by alana314 2h ago 0 comments

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

30 points by slig 2d ago 15 comments

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

181 points by lcolucci 1d ago 78 comments

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

2 points by LorenzoBloedow 4h ago 1 comments

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

83 points by alexboehm 21h ago 29 comments

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

39 points by piotmni 1d ago 16 comments

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

4 points by lorenzopalaia 7h ago 1 comments

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

3 points by avetiszakharyan 4h ago 1 comments

Show HN: Be My First User

2 points by hagan 4h ago 5 comments

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

128 points by hakanshehu 1d ago 44 comments

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

7 points by tomsaju 9h ago 0 comments

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

8 points by Xiione 9h ago 1 comments

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

85 points by philocalyst 1d ago 37 comments

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

78 points by dtnewman 1d ago 33 comments

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

72 points by stavros 1d ago 23 comments

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

2 points by jaco-bro 6h ago 0 comments

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

4 points by PETROPALOVSK 6h ago 2 comments

Show HN: An MCP Server for Understanding AWS Costs

14 points by StratusBen 7h ago 3 comments

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

2 points by gracefullight 7h ago 0 comments

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

2 points by hsfzxjy 7h ago 1 comments

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

3 points by jasrusable 7h ago 0 comments

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

3 points by NinjaGems 7h ago 0 comments

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

28 points by anonymousd3vil 1d ago 6 comments

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

308 points by UnmappedStack 1d ago 79 comments

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

888 points by zh2408 6d ago 170 comments

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

96 points by skull8888888 2d ago 43 comments

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

157 points by segmenta 3d ago 51 comments

Show HN: We made a blazing-fast, open-source GitHub front end (gitfaster.dev)

36 points by Arian81 1d ago 7 comments

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

193 points by Adityav369 3d ago 43 comments

Show HN: Node.js video tutorials where you can edit and run the code

255 points by somebee 2d ago 84 comments

Show HN: Pomo – Manage your Stripe promo codes without code (usecopi.com)

4 points by yelston 17h ago 6 comments

Show HN: I open-sourced my AI toy company that runs on ESP32 and OpenAI realtime (github.com)

175 points by akadeb 3d ago 94 comments

Show HN: Mailfrom.dev – A Cheaper MailTrap Alternative (mailfrom.dev)

3 points by danielebuso 13h ago 2 comments

Show HN: Dia, an open-weights TTS model for generating realistic dialogue (github.com)

639 points by toebee 4d ago 189 comments

Show HN: GitNote- Online MD note editor that syncs to GitHub (usegitnote.vercel.app)

8 points by hotrod46 1d ago 1 comments

Show HN: Chrome and Firefox extension to right-click and verify a link is safe (safelyx.com)

2 points by BrunoBernardino 15h ago 5 comments

Show HN: Advanced-Alchemy – A framework agnostic library for SQLAlchemy (github.com)

35 points by Kumzy 2d ago 12 comments

Show HN: Mermaid Open Editor 2.0 (mermaidchart.com)

3 points by msfi 1h ago 1 comments

Show HN: Open Codex – OpenAI Codex CLI with open-source LLMs (github.com)

105 points by codingmoh 4d ago 37 comments

Show HN: Body Controlled 3D Dino Game (nicknaskida.github.io)

29 points by NikoNaskida 2d ago 3 comments

Show HN: Dosidicus – A digital pet with a simple neural network (github.com)

72 points by vicioussquid 3d ago 16 comments

Show HN: Durable Python Workflows (github.com)

62 points by itayd 2d ago 14 comments

Show HN: My Python text-based dungeon crawler game engine

3 points by ruscoe 18h ago 0 comments

Show HN: TabTab – A keyboard-first browser workspace for tab hoarders (tabtab.xyz)

6 points by jackiefeng 1d ago 0 comments

Show HN: Moose – OSS framework to build analytical back ends with ClickHouse (docs.fiveonefour.com)

76 points by okane 2d ago 15 comments

Show HN: TSCE – Think Before You Speak (Two-Step Contextual Enrichment for LLMs) (github.com)

3 points by airylizard 21h ago 0 comments

Chrome Ownership and Browser Costs

2 goranmoomin 0 4/25/2025, 1:28:18 PM utcc.utoronto.ca ↗

Comments (0)

No comments yet