frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Show HN: Ironwall, a safety-first native programming language and compiler

12•bOZbfU4YdRnJQ•1h ago
Hi HN,

I have been working on a new programming language and compiler.

Website: https://ironwall-lang.dev

GitHub: https://github.com/3WyUFvDOdCbBw7gOZHwcfgKF/ironwall

Why a new language is still needed: https://ironwall-lang.dev/en/motivation

The compiler is written in TypeScript at the moment, and work on a self-hosting compiler written in Ironwall is ongoing.

I would be interested in feedback.

Thank you.

Comments

anenefan•4d ago
Vouched. This looks like an interesting project noteworthy enough for HN.
jiffygist•42m ago
Now that are some scary looking file names :D https://github.com/3WyUFvDOdCbBw7gOZHwcfgKF/ironwall/tree/ma...

Also first confused the name with Ironwail, the Quake 1 source port

slwvx•18m ago
Is there a story behind the hash-like Github username [1], email address [2], and HN usernames [3]?

[1] https://github.com/3WyUFvDOdCbBw7gOZHwcfgKF

[2] IZ1zPtHyDX5b3s7iLYS2zRoz5 @ proton.me

[3] https://news.ycombinator.com/user?id=bOZbfU4YdRnJQ

csmantle•7m ago
Besides, the commit history also looks very special:

- 1a0a9b3e9831d9bdbc9d8eba601aa2fa5e9d2708: 4

- 277d6c85c8fd27581c245940e91a40ad2a9114da: may26-3

- 2d2e56ab6228b4814b4a0bc06864e46a68bb40ea: may26-2

...

- d5c117af131c6140f08325882f6b368d91ab6ae8: May 20 2026 - 1

- 715d5250e4bb65cecc7a5c4aa082fc95b717c449 (root): ironwall compiler

Show HN: Keybench – Scriptable, extensible performance tool for key value stores

https://github.com/guycipher/keybench
6•alexpadula•1h ago•0 comments

Show HN: Infinite canvas notes in the non-Euclidean Poincaré disk

https://uonr.github.io/poincake/
119•uonr•4d ago•22 comments

Show HN: Ironwall, a safety-first native programming language and compiler

12•bOZbfU4YdRnJQ•1h ago•5 comments

Show HN: VaultSQL – Open-Source Zero-Trust SQL Workbench

https://vaultsql.com/
3•antileet•1h ago•0 comments

Show HN: Aquifer – an MCP runtime for spiky agent tool traffic

https://github.com/rjpruitt16/aquifer
3•rjpruitt16•1h ago•0 comments

Show HN: A beautiful and local-first PDF reader for studying dense things

https://www.tryquincy.live
3•oleksg•2h ago•0 comments

Show HN: Soft Body Jiggle Physics

https://github.com/xloveee/jiggle-physics
51•vesperance•5d ago•19 comments

Show HN: Aegis – post-quantum cyberdefense proxy (471 attacks, 0 breaches)

https://github.com/conchaestradamiguelangel-droid/aegis
3•conchaestrada•3h ago•0 comments

Show HN: Dap-mux – Connect your editor and REPL to the same debug session

6•YesJustWolf•3h ago•1 comments

Show HN: Formally verified polygon intersection – Opus 4.8 oneshots, prev failed

https://github.com/schildep/verified-polygon-intersection
84•permute•2d ago•17 comments

Show HN: Lowfat – pluggable CLI filter that saved 91.8% of my LLM tokens

https://github.com/zdk/lowfat
146•zdkaster•1d ago•73 comments

Show HN: Typedframes – Pandas/polars column name checking at lint time

https://github.com/w-martin/typedframes
3•w-martin•4h ago•2 comments

Show HN: ABC Classic 100 Rankings visualised

https://classic100.gotski.workers.dev/
35•gotski•23h ago•17 comments

Show HN: Resonate – Low-latency, high-resolution spectral analysis

https://alexandrefrancois.org/Resonate/
3•arjf•6h ago•3 comments

Show HN: On-device transcriber that's 97% accurate at identifying speakers

https://mimicscribe.app/
27•marshalla•1d ago•8 comments

Show HN: Ccgs – Collaborative Claude Code sessions, stored in Git branches

https://github.com/ingram-technologies/claude-git-sessions
6•scrollaway•8h ago•2 comments

Show HN: Edsger – A handwritten Clojure REPL for the reMarkable 2

https://handwritten.danieljanus.pl/2026-06-01-edsger.html
258•nathell•4d ago•34 comments

Show HN: I reverse-engineered the world maps of Test Drive III (1990 DOS game)

https://github.com/s-macke/Test-Drive-3-Maps
215•s-macke•6d ago•56 comments

Show HN: Prela – Purely Algebraic Relation Combinators

https://github.com/remysucre/prela
71•remywang•5d ago•13 comments

Show HN: Scale Physics – a physics encyclopedia with WebGL animations

https://scalephysics.com/
3•WizardK•11h ago•0 comments

Show HN: StructOCR – API for parsing global passports, invoices, and containers

https://structocr.com
4•glyph_miner•12h ago•2 comments

Show HN: Uruky (EU-based Kagi alternative) now has Image Search and URL Rewrites

https://uruky.com/?il=en
232•BrunoBernardino•2d ago•224 comments

Show HN: Mercek – A Desktop IDE for AWS ECS

https://www.mercek.dev/
62•utibeumanah•2d ago•29 comments

Show HN: NullRead – A simple HN Android client

https://nullread.0x96f.dev/
4•0x96f•13h ago•1 comments

Show HN: Sub-Agent MCP: LLM delegation and sub-agent orchestration via MCP

https://github.com/stormaref/Sub-Agent-MCP
5•avestura•13h ago•0 comments

Show HN: I used to pin street parking by hand in Google Maps. Now it's an app

https://apps.apple.com/us/app/curbie/id6770876635
5•ayranlahmacun•13h ago•1 comments

Show HN: Eyeball

https://eyeball.rory.codes/
292•mrroryflint•4d ago•88 comments

Show HN: Open-source X Bookmark Manager

3•ssarisen•14h ago•1 comments

Show HN: I ported Xonotic (arena FPS) to WebAssembly with full P2P multiplayer

https://dpgame.xonotic.workers.dev/
10•astlouis44•5h ago•4 comments

Show HN: Omni – Local-first multimodal file search on macOS

https://hanxiao.io/omni/
5•artex_xh•1d ago•2 comments