Show HN: Draw a fish and watch it swim with the others (drawafish.com)

823 points by hallak 4d ago 212 comments

Show HN: Print the daily weather forecast on a thermal receipt printer (github.com)

9 points by chr15m 2d ago 3 comments

Show HN: TraceRoot – Open-source agentic debugging for distributed services (github.com)

33 points by xinweihe 12h ago 8 comments

Show HN: A Toy Sound Generator (toy-sound.surge.sh)

2 points by stagas 1h ago 1 comments

Show HN: An interactive dashboard to explore NYC rentals data (leaseswap.nyc)

66 points by giulioco 3d ago 49 comments

Show HN: Pontoon – Open-source customer data syncs (github.com)

36 points by alexdriedger 14h ago 9 comments

Show HN: I made a website that makes you cry (cryonceaweek.com)

280 points by johnnymaroney 5d ago 221 comments

Show HN: Mcp-use – Connect any LLM to any MCP (github.com)

147 points by pzullo 1d ago 68 comments

Show HN: AgentMail – Email infra for AI agents (chat.agentmail.to)

107 points by Haakam21 1d ago 66 comments

Show HN: Rewindtty – Record and replay terminal sessions as structured JSON (github.com)

30 points by debba 3d ago 13 comments

Show HN: Windows XP in the browser, with file system, Word, media, flash (github.com)

2 points by ducbao414 4h ago 0 comments

Show HN: Agentic AI Frameworks on AWS (LangGraph,Strands,CrewAI,Arize,Mem0) (github.com)

2 points by thinkagenticai 5h ago 0 comments

Show HN: KubeForge – A GUI for Kubernetes YAMLs (github.com)

59 points by rakeda 1d ago 21 comments

Show HN: Sourcebot – Self-hosted Perplexity for your codebase (github.com)

99 points by bshzzle 2d ago 24 comments

Show HN: An AI agent that learns your product and guides your users (frigade.ai)

69 points by pancomplex 2d ago 29 comments

Show HN: LinCal – A Calendar View for Linear Issues (lincal.app)

2 points by rolfvanroot 11h ago 0 comments

Show HN: Tambo – a tool for building generative UI React apps with tools/MCP (github.com)

2 points by milst 11h ago 0 comments

Show HN: Tendly – Ephemeral, privacy-first sharing for files and notes (tendly.xyz)

3 points by omojo 11h ago 0 comments

Show HN: Walk-through of rocket landing optimization paper [pdf] (scpowers.github.io)

16 points by scpowers 3d ago 1 comments

Show HN: Open-source alternative to ChatGPT Agents for browsing (github.com)

100 points by ElasticBottle 2d ago 23 comments

Show HN:typed - Markdown app for writers, students, professionals, and creators (play.google.com)

4 points by htcni 12h ago 2 comments

Show HN: Astro dev blog template with interactive colorschemes (multiterm.stelclementine.com)

30 points by stelcodes 1d ago 4 comments

Show HN: Arbok – Self-hosted HTTP tunnels to localhost using WireGuard (github.com)

3 points by mr-karan 13h ago 0 comments

Show HN: Dlg – Zero-cost printf-style debugging for Go (github.com)

63 points by 0xFEE1DEAD 5d ago 39 comments

Show HN: PLATO5 – AI-guided social engine to turn strangers into IRL friends (plato5.us)

2 points by goldsteinnick 14h ago 0 comments

Show HN: Companies use AI to take your calls. I built AI to make them for you (pipervoice.com)

229 points by michaelphi 4d ago 172 comments

Show HN: IsAgent – Detect agents like ChatGPT Agent on your website (isagent.dev)

7 points by bobbiechen 14h ago 1 comments

Show HN: The easiest accessibility (a11y) checker for VSCode (github.com)

12 points by beledev 3d ago 1 comments

Show HN: Open-Source Alternative to Modal (github.com)

4 points by pancakeguy 15h ago 0 comments

Show HN: Kanban-style Phase Board: plan → execute → verify → commit (traycer.ai)

5 points by pranshu54 15h ago 0 comments

Show HN: WhiteLightning – ultra-lightweight ONNX text classifiers trained w LLMs (whitelightning.ai)

8 points by v_kyba 16h ago 2 comments

Show HN: A high-altitude low-power flight computer for high-altitude balloons (github.com)

42 points by mpkendall 2d ago 22 comments

Show HN: Find paint colours in Ireland and generate your own palettes (swatcher.ie)

2 points by hauntedLogic 16h ago 0 comments

Show HN: The Aria Programming Language (github.com)

47 points by egranata_aria 6d ago 14 comments

Show HN: Open-source physical rack-mounted GUI for home lab (getubo.com)

39 points by mmajzoobi 5d ago 3 comments

Show HN: Online Ruler – Measuring in inches/centimeters (anruler.com)

88 points by artiomyak 5d ago 61 comments

Show HN: List of Clojure-like projects (github.com)

18 points by ilevd 9h ago 0 comments

Show HN: Convert from MIDI file to ASCII tablature (and more) (github.com)

42 points by ycombiredd 6d ago 12 comments

Show HN: AgentGuard – Auto-kill AI agents before they burn through your budget (github.com)

45 points by dipampaul17 2d ago 26 comments

Show HN: MoebiusXBIN – ASCII and text-mode art editor with custom font support (blog.glyphdrawing.club)

55 points by california-og 2d ago 6 comments

Show HN: Terminal-Bench-RL: Training long-horizon terminal agents with RL (github.com)

124 points by Danau5tin 3d ago 12 comments

Show HN: A GitHub Action that quizzes you on a pull request (github.com)

93 points by dkamm 3d ago 33 comments

Show HN: Compress Image – Simple Lossless and Lossy Image Compression Tool (compressimagex.com)

3 points by devxiyang 18h ago 1 comments

Show HN: Zero Waste Cloud – Finds 20-40% savings in AWS/GCP bills and CO2 impact (zerowastecloud.io)

8 points by Suedish 1d ago 2 comments

Show HN: Square Images – Make Any Image a Perfect Square in One Click (squareimages.co)

2 points by devxiyang 18h ago 1 comments

Show HN: Cant – Library written in Rust that provides PyTorch-like functionality (github.com)

49 points by TuckerBMorgan 6d ago 5 comments

Show HN: Use Their ID – Use your local UK MP’s ID for the Online Safety Act (use-their-id.com)

849 points by timje1 4d ago 279 comments

Show HN: SafeRate – AI chat-native mortgage lender (saferate.com)

11 points by dmhall23 1d ago 2 comments

Show HN: I built an AI that turns any book into a text adventure game (kathaaverse.com)

278 points by rcrKnight 3d ago 108 comments

Show HN: Demitter – Distributed Node.js Event Emitter (Pub/Sub) (github.com)

6 points by eddieos 1d ago 1 comments

The Big Oops in Type Systems: This Problem Extends to FP as Well

17 ksymph 1 7/31/2025, 7:49:35 PM danieltan.weblog.lol ↗

Comments (1)

rowanG077 · 9h ago

I laughed out loud when they popped out the clojure business rule that is supposedly directly verifiable by domain experts, when even I as a developer struggle to read it. And that is with some lisp experience years ago.