fp.

Show HN: Lasm – Write formally verified webapps in Lean for Node/serverless/edge

https://github.com/Millillion/lasm

7•lastmjs•1h ago•0 comments

Show HN: I Turned DOOM into a Transformer

https://github.com/mottopanikeiku/doomformer

55•falperc•3h ago•11 comments

Show HN: Auto Dismiss Mac OS "Allow <app> to find devices on local networks?"

https://github.com/johncassil/dontallow

107•johncassil•7h ago•80 comments

Show HN: A proof-of-concept formalization of the IRS federal tax forms

https://github.com/emmilco/us-tax-model

66•RGS1811•1d ago•12 comments

Show HN: Arken – Passwordless auth middleware using secp256k1 keys

https://github.com/zacharybenson/arken-protocol

6•zachbenson817•1h ago•0 comments

Show HN: Overtone – Transcribe, correct and cut captions for any screen shape

https://github.com/lonthq/overtone-captions

37•rvanderlinden•9h ago•2 comments

Show HN: Typebook.lol read books by typing the letters only

https://typebook.lol/

7•vegnus•7h ago•11 comments

Show HN: phpClaw – AI agent runtime for PHP with tools, memory and guards

https://github.com/phpclaw-php/phpclaw-monorepo

11•akashpatel7204•9h ago•4 comments

Show HN: Charter, field-level control over agents' calls into customer accounts

https://github.com/r28ai/charter

2•nathanqueme•4h ago•1 comments

Show HN: InputConfig, a free open-source app to run your Mac with any controller

https://github.com/ryleighnewman/InputConfig

2•ryleighnewman•5h ago•0 comments

Show HN: KernelCash – Privacy First Budgeting

4•LoftyHobbitMan•5h ago•1 comments

Show HN: Artificer by Nua: Frontier robotics task evaluation in 4B parameters

https://usenua.com/blog/artificer

6•SunnyWan•5h ago•3 comments

Show HN: SiteSpin – Build and update business websites through chat

https://sitespin.app/

2•adamhsn•5h ago•0 comments

Show HN: SortSage – Automatic rules-based file organizer

https://enlightpixel.com/products/sortsage

6•enlightpixel•5h ago•0 comments

Show HN: AI Knows Us – see who ChatGPT and Perplexity recommend instead of you

https://www.aiknowsus.com

3•goeladityx•5h ago•1 comments

Show HN: Capo-S3 – a typed, async-first S3 client for Python

https://pypi.org/project/capo-s3/

12•karpetrosyan•9h ago•2 comments

Show HN: An open-source app for IELTS preparation

https://github.com/Luxshan2000/ielts-prep

3•luxshan_t•9h ago•0 comments

Show HN: OpenArcanum – An End-to-End Encrypted Alternative to Discord

https://github.com/hyperkubeorg/openarcanum/

3•SamInTheShell•6h ago•0 comments

Show HN: Sidekeys – Turn an iPhone into a Mac display and agent control deck

https://sidekeysapp.com/

2•cmillstein•6h ago•0 comments

Show HN: Radix - A WebGPU-powered 3D Gaussian Splat renderer built on Three.js

https://sparkjs.dev/radix/

10•dmarcos•10h ago•0 comments

Show HN: Witnessory – a signed record of the web's move to post-quantum crypto

https://witnessory.org

6•parthod0x•10h ago•0 comments

Show HN: SlideBySide – Present slides without sharing your screen

https://slidebyside.com/

80•denismenace•1d ago•34 comments

Show HN: Fitness Functions for Dbt Projects

https://github.com/tjirab/tff

2•bartschuijt•7h ago•0 comments

Show HN: Academic Ancestry – See Who taught the people who taught you (Launch)

https://academicancestry.org/

3•Codeblackwell•8h ago•0 comments

Show HN: GenesisDB – The event sourcing database, is now open source

https://www.genesisdb.io/blog/posts/2026-10-24/genesisdb-2-is-open-source

13•patriceckhart•8h ago•0 comments

Show HN: DissPair APK– Portable BLE and Bluetooth Classic Security Testing

https://github.com/threadpoolx/DissPair

2•threadpoolx•8h ago•0 comments

Show HN: Pho – TUI for GitHub PRs

https://github.com/utkarsh261/pho

2•stag•8h ago•0 comments

Show HN: local-first CVE triage app in Rust

https://github.com/Fazmin/cve-intel

3•FazzzMin•9h ago•0 comments

Show HN: Pretty Git Tree – Your Git history as generative art

https://hmillerbakewell.github.io/pretty-git-tree/

3•hda-hda•9h ago•0 comments

Show HN: Playmat – Browser client for XMage, the open-source MTG engine

https://github.com/arcanite24/playmat

2•arcanite24•9h ago•0 comments