frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Show HN: I Turned DOOM into a Transformer

https://github.com/mottopanikeiku/doomformer
57•falperc•4h ago•13 comments

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

https://github.com/Millillion/lasm
13•lastmjs•1h ago•0 comments

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

https://github.com/johncassil/dontallow
111•johncassil•8h ago•84 comments

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

https://github.com/emmilco/us-tax-model
68•RGS1811•1d ago•12 comments

Show HN: Arken – Passwordless auth middleware using secp256k1 keys

https://github.com/zacharybenson/arken-protocol
6•zachbenson817•2h ago•0 comments

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

https://github.com/lonthq/overtone-captions
37•rvanderlinden•10h ago•2 comments

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

https://typebook.lol/
7•vegnus•8h 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•5h 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•6h ago•0 comments

Show HN: KernelCash – Privacy First Budgeting

4•LoftyHobbitMan•6h ago•1 comments

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

https://usenua.com/blog/artificer
7•SunnyWan•6h ago•3 comments

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

https://sitespin.app/
2•adamhsn•6h ago•0 comments

Show HN: SortSage – Automatic rules-based file organizer

https://enlightpixel.com/products/sortsage
6•enlightpixel•6h ago•0 comments

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

https://www.aiknowsus.com
3•goeladityx•6h ago•1 comments

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

https://pypi.org/project/capo-s3/
12•karpetrosyan•10h ago•2 comments

Show HN: An open-source app for IELTS preparation

https://github.com/Luxshan2000/ielts-prep
3•luxshan_t•10h ago•0 comments

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

https://github.com/hyperkubeorg/openarcanum/
3•SamInTheShell•7h ago•0 comments

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

https://sidekeysapp.com/
2•cmillstein•7h 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•11h 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•8h 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•9h ago•0 comments

Show HN: Pho – TUI for GitHub PRs

https://github.com/utkarsh261/pho
2•stag•9h ago•0 comments

Show HN: local-first CVE triage app in Rust

https://github.com/Fazmin/cve-intel
3•FazzzMin•10h ago•0 comments

Show HN: Yavashark: I've Built a JavaScript Engine Every Day for 950 Days

https://yavashark.dev/blog/announcing-yavashark/
38•sharktheone•1d ago•3 comments

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

https://hmillerbakewell.github.io/pretty-git-tree/
3•hda-hda•10h ago•0 comments
Open in hackernews

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

https://github.com/Millillion/lasm
10•lastmjs•1h ago
Lasm has been my dream for a good part of 2026. I firmly believe that formal verification is the next evolution of software engineering and programming languages. This next wave will largely be enabled by the incredibly intelligent LLMs that understand formal verification and its programming languages.

Lean is one of the most popular languages that allow for formal verification, and to me is incredibly powerful because it is a general purpose programming language with formal verification built directly into it.

You can build general purpose software in Lean, and formally verify it in Lean. Amazing.

Lasm brings Lean to the browser, Node, serverless, and edge environments (and more). The idea is that you can now write web apps, frontend to backend, in Lean and formally verify these apps.

Imagine an Express server or Hono server, running on Cloudflare Workers, with formal verification of its specification.

I'm an agentic engineer with an emphasis in software engineering, and Lasm was built mostly by Claude Opus 5.5 with my high-level direction.