Show HN: Goboscript, text-based programming language, compiles to Scratch (github.com)

86 points by aspizu 3h ago 25 comments

Show HN: Sshsync – CLI tool to run shell commands across multiple remote servers (github.com)

19 points by blackmamoth 14h ago 19 comments

Show HN: I modeled the Voynich Manuscript with SBERT to test for structure (github.com)

338 points by brig90 17h ago 102 comments

Show HN: Every side project I've built since 2009 (naeemnur.com)

2 points by naeemnur 27m ago 0 comments

Show HN: Job board aggregator for best paying remote SWE jobs in the U.S. (remoteswe.fyi)

60 points by xitang 9h ago 42 comments

Show HN: Vaev – A browser engine built from scratch (It renders google.com) (github.com)

193 points by monax 15h ago 109 comments

Show HN: A platform to find tech conferences, discounts, and ticket giveaways (tech.tickets)

73 points by danthebaker 2d ago 22 comments

Show HN: Python Simulator of David Deutsch’s “Constructor Theory of Time” (github.com)

72 points by SandroG 13h ago 9 comments

Show HN: I reinvented PHP in TypeScript (demo) (github.com)

4 points by vseplet 3d ago 5 comments

Show HN: Hardtime.nvim – break bad habits and master Vim motions (github.com)

189 points by m4xshen 21h ago 76 comments

Show HN: Buckaroo – Data table UI for Notebooks (github.com)

93 points by paddy_m 17h ago 8 comments

Show HN: Chat with 19 years of HN (app.camelai.com)

133 points by vercantez 1d ago 101 comments

Show HN: A web browser agent in your Chrome side panel (github.com)

138 points by parsabg 21h ago 59 comments

Show HN: Model2vec-Rs – Fast Static Text Embeddings in Rust (github.com)

56 points by Tananon 18h ago 13 comments

Show HN: Turn any workflow diagram into compilable, running and stateful code (workflows.diagrid.io)

98 points by yaronsc 4d ago 31 comments

Show HN: A Wolfenstein3D-like raycaster made in Windows Batch (github.com)

12 points by nthornton 12h ago 3 comments

Show HN: Stack Error – ergonomic error handling for Rust (github.com)

25 points by garrinm 14h ago 11 comments

Show HN: Racketmeter – Measure Badminton String Tension Using Sound Frequency (racketmeter.com)

38 points by zhacker 16h ago 12 comments

Show HN: Datetime.app – open-source alternative to time.is (datetime.app)

2 points by Airyisland 6h ago 3 comments

Show HN: I built a knife steel comparison tool (new.knife.day)

139 points by p-s-v 1d ago 82 comments

Show HN: Grace – Orchestrate Hybrid Mainframe and Cloud Workflows with YAML (graceinfra.org)

2 points by arnavsurve 7h ago 0 comments

Show HN: Merliot – plugging physical devices into LLMs (github.com)

79 points by sfeldma 2d ago 23 comments

Show HN: Pixelagent – Build your Stateful Agent Framework in 200 lines of code (github.com)

28 points by pierrebrunelle 3d ago 14 comments

Show HN: Commander – AI-Powered Browser Automation (commander-ai.com)

5 points by kadarla 10h ago 0 comments

Show HN: AI web scraper (no selectors, $2/1k pages, built by 1 dev) (web.instantapi.ai)

2 points by zeeb0t 11h ago 0 comments

Show HN: Kameo – a toolkit for creating interactive web forms in rich text (github.com)

2 points by nistuley 12h ago 0 comments

Show HN: DeepShot – an open-source NBA predictor with ML, EWMA, and live UI (github.com)

2 points by saccofrancesco 13h ago 0 comments

Show HN: Muscle-Mem, a behavior cache for AI agents (github.com)

223 points by edunteman 4d ago 51 comments

Show HN: Visual flow-based programming for Erlang, inspired by Node-RED (github.com)

243 points by Towaway69 2d ago 101 comments

Show HN: Solidis – Tiny TS Redis client, no deps, for serverless (github.com)

68 points by jayl-e-e 2d ago 8 comments

Show HN: Fahmatrix – A Lightweight, Pandas-Like DataFrame Library for Java (github.com)

46 points by mousomashakel 2d ago 13 comments

Show HN: I cloned a YC funded app in a day as an MVP (ai-tutor.mvpwrappers.com)

26 points by eashish93 1d ago 7 comments

Show HN: SQL-tString a t-string SQL builder in Python (github.com)

85 points by pgjones 2d ago 35 comments

Show HN: Real-Time Gaussian Splatting (github.com)

143 points by markisus 3d ago 51 comments

Show HN: Rv, a Package Manager for R (github.com)

75 points by Keats 2d ago 31 comments

Show HN: HelixDB – Open-source vector-graph database for AI applications (Rust) (github.com)

236 points by GeorgeCurtis 5d ago 107 comments

Show HN: Workflow Use – Deterministic, self-healing browser automation (RPA 2.0) (github.com)

68 points by gregpr07 2d ago 22 comments

Show HN: HTML QR Codes (Animated, Interactive, Programmable) (qrbrd.com)

4 points by Ciaranio 18h ago 4 comments

Show HN: Undetectag, track stolen items with AirTag (undetectag.com)

115 points by pompidoo 3d ago 98 comments

Show HN: Easel – Code multiplayer games like singleplayer (easel.games)

93 points by BSTRhino 4d ago 44 comments

Show HN: Public database of sites for backlinks (backlinksitesdb.com)

3 points by zygo 18h ago 0 comments

Show HN: Build XML-style prompts visually (xmlprompt.dev)

2 points by lolrazh 19h ago 4 comments

Show HN: I built a site to binge the best engineering blog posts (codecrawl.co)

5 points by shanesnotes 19h ago 0 comments

Show HN: MCP Server for secure code execution (Python, Ruby, C, and more) (github.com)

5 points by benno128 20h ago 0 comments

Show HN: We created a new protocol and wallet that supports it for Bitcoin (akron.io)

7 points by ca98am79 1d ago 1 comments

Show HN: TaskGPT – Control your Mac using natural language (taskgpt.us)

2 points by TheDevCards 22h ago 0 comments

Show HN: KVSplit – Run 2-3x longer contexts on Apple Silicon (github.com)

270 points by dipampaul17 2d ago 40 comments

Show HN: Min.js style compression of tech docs for LLM context (github.com)

176 points by marv1nnnnn 3d ago 52 comments

Show HN: Mouse Escape – A game I made with my dad (roadcrosser.com)

8 points by EvilDeadlyMice 1d ago 2 comments

Show HN: Lumier – Run macOS VMs in a Docker (github.com)

159 points by GreenGames 4d ago 52 comments

Benchmarking Crimes Meet Formal Verification

1 snvzz 0 5/19/2025, 12:04:22 AM microkerneldude.org ↗

Comments (0)

No comments yet