fp.

Show HN: Cuq – Formal Verification of Rust GPU Kernels

https://github.com/neelsomani/cuq

38•nsomani•6h ago•28 comments

Show HN: Create interactive diagrams with pop-up content

https://vexlio.com/features/interactive-diagrams-with-popups/

34•ttd•11h ago•0 comments

Show HN: Onetone – A PHP full-stack framework with AI runtime, ORM, CLI

3•wowowoasdf•1h ago•2 comments

Show HN: Cadence – A guitar theory app

https://cadenceguitar.com/

173•apizon•1w ago•76 comments

Show HN: Subway Surfers in Your Terminal

https://github.com/evanreilly/homebrew-subway-surfers

6•civilchaos•4h ago•2 comments

Show HN: Modshim – A new alternative to monkey-patching in Python

https://github.com/joouha/modshim

103•joouha•6d ago•30 comments

Show HN: Katakate – Dozens of VMs per node for safe code exec

https://github.com/Katakate/k7

118•gbxk•1d ago•50 comments

Show HN: Maktabah Islam ELKIRTASS being revived on Qt6 CMake

https://github.com/abdulbadii/elkirtasse-on-Qt6-Cmake

5•dogol•5h ago•0 comments

Show HN: ProxyBridge redirect any Windows TCP/UDP traffic to HTTP/SOCKS5 proxies

https://github.com/InterceptSuite/ProxyBridge

4•anof-cyber•5h ago•0 comments

Show HN: Run any GitHub Action locally from your Cron job -- finally!

https://docs.dagu.io/features/executors/github-actions#basic-usage

22•yohamta•21h ago•0 comments

Show HN: SerenDB – A Neon PostgreSQL fork optimized for AI agent workloads

https://github.com/serenorg/serendb

6•taariqlewis•6h ago•1 comments

Show HN: bbcli – A TUI and CLI to browse BBC News like a hacker

https://github.com/hako/bbcli

78•wesleyhill•3d ago•15 comments

Show HN: ASCII Automata

https://hlnet.neocities.org/ascii-automata/

99•california-og•5d ago•10 comments

Show HN: Stopping Extreme Withdrawal – Free AI guide for extreme anxiety

https://docs.google.com/document/d/e/2PACX-1vSsyN1Qem0Qkb4dE1XsWcOcndRqnI5COunCzc7UTawH-r1TSHWHxr...

6•ycosynot•3h ago•1 comments

Show HN: Middlerok – reduces front end-back end integration from weeks to hours

https://www.middlerok.com/

2•rokontech•8h ago•0 comments

Show HN: I'm making a detective game built on Wikipedia

https://detective.wiki/

305•jasonsmiles•5d ago•43 comments

Show HN: AutoLearn Skills for self-improving agents

https://www.autolearn.dev

27•toobulkeh•22h ago•11 comments

Show HN: I created a cross-platform GUI for the JJ VCS (Git compatible)

https://judojj.com

139•bitpatch•2d ago•43 comments

Show HN: Playwright Skill for Claude Code – Less context than playwright-MCP

https://github.com/lackeyjb/playwright-skill

179•syntax-sherlock•2d ago•43 comments

Show HN: Cont3xt.dev – Universal Team Knowledge for AI Coding Tools

https://cont3xt.dev

3•ksred•9h ago•3 comments

Show HN: RuleHunt – TikTok for Cellular Automata

https://rulehunt.org

14•irgolic•10h ago•8 comments

Show HN: GuardianScan – Website audits for 2025 web standards

https://guardianscan.ai

2•buildwithnumen•10h ago•0 comments

Show HN: UHOP – Escaping Nvidia Lock-In with an Open Hardware Optimization Layer

https://www.uhop.dev/

3•danielbisina•11h ago•0 comments

Show HN: UHOP – An Open Hardware Optimization Platform for GPUs

https://github.com/sevenloops/uhop

3•danielbisina•11h ago•0 comments

Show HN: Incremental JSON parser for streaming LLM tool calls in Ruby

https://www.aha.io/engineering/articles/streaming-ai-responses-incomplete-json

12•hotk•6h ago•0 comments

Show HN: Timeplus Proton 3.0 – First vectorized streaming SQL engine

https://github.com/timeplus-io/proton

10•gangtao•11h ago•10 comments

Show HN: I'm rewriting a web server written in Rust for speed and ease of use

https://ferron.sh/

68•dorianniemiec•1d ago•90 comments

Show HN: SierraDB – A Distributed Event Store Built in Rust

https://tqwewe.com/blog/building-sierradb/

24•tqwewe•1d ago•2 comments

Show HN: caniscrape – Analyze anti-bot protections before scraping (CLI and Web)

Show HN: Cuq – Formal Verification of Rust GPU Kernels

Show HN: Create interactive diagrams with pop-up content

Show HN: Onetone – A PHP full-stack framework with AI runtime, ORM, CLI

Show HN: Cadence – A guitar theory app

Show HN: Subway Surfers in Your Terminal

Show HN: Modshim – A new alternative to monkey-patching in Python

Show HN: Katakate – Dozens of VMs per node for safe code exec

Show HN: Maktabah Islam ELKIRTASS being revived on Qt6 CMake

Show HN: ProxyBridge redirect any Windows TCP/UDP traffic to HTTP/SOCKS5 proxies

Show HN: Run any GitHub Action locally from your Cron job -- finally!

Show HN: SerenDB – A Neon PostgreSQL fork optimized for AI agent workloads

Show HN: bbcli – A TUI and CLI to browse BBC News like a hacker

Show HN: ASCII Automata

Show HN: Stopping Extreme Withdrawal – Free AI guide for extreme anxiety

Show HN: Middlerok – reduces front end-back end integration from weeks to hours

Show HN: I'm making a detective game built on Wikipedia

Show HN: AutoLearn Skills for self-improving agents

Show HN: I created a cross-platform GUI for the JJ VCS (Git compatible)

Show HN: Playwright Skill for Claude Code – Less context than playwright-MCP

Show HN: Cont3xt.dev – Universal Team Knowledge for AI Coding Tools

Show HN: RuleHunt – TikTok for Cellular Automata

Show HN: GuardianScan – Website audits for 2025 web standards

Show HN: UHOP – Escaping Nvidia Lock-In with an Open Hardware Optimization Layer

Show HN: UHOP – An Open Hardware Optimization Platform for GPUs

Show HN: Incremental JSON parser for streaming LLM tool calls in Ruby

Show HN: Timeplus Proton 3.0 – First vectorized streaming SQL engine

Show HN: I'm rewriting a web server written in Rust for speed and ease of use

Show HN: SierraDB – A Distributed Event Store Built in Rust

Show HN: caniscrape – Analyze anti-bot protections before scraping (CLI and Web)

Show HN: Pong Wars Idle Game

Show HN: ProxyBridge redirect any Windows TCP/UDP traffic to HTTP/SOCKS5 proxies

Show HN: Cuq – Formal Verification of Rust GPU Kernels

Show HN: Create interactive diagrams with pop-up content

Show HN: Onetone – A PHP full-stack framework with AI runtime, ORM, CLI

Show HN: Cadence – A guitar theory app

Show HN: Subway Surfers in Your Terminal

Show HN: Modshim – A new alternative to monkey-patching in Python

Show HN: Katakate – Dozens of VMs per node for safe code exec

Show HN: Maktabah Islam ELKIRTASS being revived on Qt6 CMake

Show HN: ProxyBridge redirect any Windows TCP/UDP traffic to HTTP/SOCKS5 proxies

Show HN: Run any GitHub Action locally from your Cron job -- finally!

Show HN: SerenDB – A Neon PostgreSQL fork optimized for AI agent workloads

Show HN: bbcli – A TUI and CLI to browse BBC News like a hacker

Show HN: ASCII Automata

Show HN: Stopping Extreme Withdrawal – Free AI guide for extreme anxiety

Show HN: Middlerok – reduces front end-back end integration from weeks to hours

Show HN: I'm making a detective game built on Wikipedia

Show HN: AutoLearn Skills for self-improving agents

Show HN: I created a cross-platform GUI for the JJ VCS (Git compatible)

Show HN: Playwright Skill for Claude Code – Less context than playwright-MCP

Show HN: Cont3xt.dev – Universal Team Knowledge for AI Coding Tools

Show HN: RuleHunt – TikTok for Cellular Automata

Show HN: GuardianScan – Website audits for 2025 web standards

Show HN: UHOP – Escaping Nvidia Lock-In with an Open Hardware Optimization Layer

Show HN: UHOP – An Open Hardware Optimization Platform for GPUs

Show HN: Incremental JSON parser for streaming LLM tool calls in Ruby

Show HN: Timeplus Proton 3.0 – First vectorized streaming SQL engine

Show HN: I'm rewriting a web server written in Rust for speed and ease of use

Show HN: SierraDB – A Distributed Event Store Built in Rust

Show HN: caniscrape – Analyze anti-bot protections before scraping (CLI and Web)

Show HN: Pong Wars Idle Game