Hacker News

1.▲
Show HN: I Turned DOOM into a Transformer(github.com)
55 points by falperc 4 hours ago | 11 comments
2.▲
Show HN: Lasm – Write formally verified webapps in Lean for Node/serverless/edge(github.com)
8 points by lastmjs 1 hour ago | discuss
3.▲
Show HN: Auto Dismiss Mac OS "Allow <app> to find devices on local networks?"(github.com)
108 points by johncassil 8 hours ago | 81 comments
4.▲
Show HN: A proof-of-concept formalization of the IRS federal tax forms(github.com)
66 points by RGS1811 1 day ago | 12 comments
5.▲
Show HN: Arken – Passwordless auth middleware using secp256k1 keys(github.com)
6 points by zachbenson817 2 hours ago | discuss
6.▲
Show HN: Overtone – Transcribe, correct and cut captions for any screen shape(github.com)
37 points by rvanderlinden 9 hours ago | 2 comments
7.▲
Show HN: Typebook.lol read books by typing the letters only(typebook.lol)
7 points by vegnus 8 hours ago | 11 comments
8.▲
Show HN: phpClaw – AI agent runtime for PHP with tools, memory and guards(github.com)
11 points by akashpatel7204 9 hours ago | 4 comments
9.▲
Show HN: Charter, field-level control over agents' calls into customer accounts(github.com)
2 points by nathanqueme 5 hours ago | 1 comments
10.▲
Show HN: InputConfig, a free open-source app to run your Mac with any controller(github.com)
2 points by ryleighnewman 5 hours ago | discuss
11.▲
Show HN: KernelCash – Privacy First Budgeting
4 points by LoftyHobbitMan 6 hours ago | 1 comments
12.▲
Show HN: Artificer by Nua: Frontier robotics task evaluation in 4B parameters(usenua.com)
7 points by SunnyWan 6 hours ago | 3 comments
13.▲
Show HN: SiteSpin – Build and update business websites through chat(sitespin.app)
2 points by adamhsn 6 hours ago | discuss
14.▲
Show HN: SortSage – Automatic rules-based file organizer(enlightpixel.com)
6 points by enlightpixel 6 hours ago | discuss
15.▲
Show HN: AI Knows Us – see who ChatGPT and Perplexity recommend instead of you(aiknowsus.com)
3 points by goeladityx 6 hours ago | 1 comments
16.▲
Show HN: Capo-S3 – a typed, async-first S3 client for Python(pypi.org)
12 points by karpetrosyan 9 hours ago | 2 comments
17.▲
Show HN: An open-source app for IELTS preparation(github.com)
3 points by luxshan_t 9 hours ago | discuss
18.▲
Show HN: OpenArcanum – An End-to-End Encrypted Alternative to Discord(github.com)
3 points by SamInTheShell 6 hours ago | discuss
19.▲
Show HN: Sidekeys – Turn an iPhone into a Mac display and agent control deck(sidekeysapp.com)
2 points by cmillstein 6 hours ago | discuss
20.▲
Show HN: Radix - A WebGPU-powered 3D Gaussian Splat renderer built on Three.js(sparkjs.dev)
10 points by dmarcos 10 hours ago | discuss
21.▲
Show HN: Witnessory – a signed record of the web's move to post-quantum crypto(witnessory.org)
6 points by parthod0x 10 hours ago | discuss
22.▲
Show HN: SlideBySide – Present slides without sharing your screen(slidebyside.com)
80 points by denismenace 1 day ago | 34 comments
23.▲
Show HN: Fitness Functions for Dbt Projects(github.com)
2 points by bartschuijt 8 hours ago | discuss
24.▲
Show HN: Academic Ancestry – See Who taught the people who taught you (Launch)(academicancestry.org)
3 points by Codeblackwell 8 hours ago | discuss
25.▲
Show HN: GenesisDB – The event sourcing database, is now open source(genesisdb.io)
13 points by patriceckhart 8 hours ago | discuss
26.▲
Show HN: DissPair APK– Portable BLE and Bluetooth Classic Security Testing(github.com)
2 points by threadpoolx 8 hours ago | discuss
27.▲
Show HN: Pho – TUI for GitHub PRs(github.com)
2 points by stag 8 hours ago | discuss
28.▲
Show HN: local-first CVE triage app in Rust(github.com)
3 points by FazzzMin 9 hours ago | discuss
29.▲
Show HN: Pretty Git Tree – Your Git history as generative art(hmillerbakewell.github.io)
3 points by hda-hda 10 hours ago | discuss
30.▲
Show HN: Playmat – Browser client for XMage, the open-source MTG engine(github.com)
2 points by arcanite24 10 hours ago | discuss