Hacker News: romac

New comment by romac in "FTL: A new operating system for clouds"

romac — Sat, 03 Oct 2026 15:05:35 +0000

FTL v0.1.0 was just released, adding async Rust support (multi-thread Tokio runtime) and lots of missing pieces in the Linux compatibility layer.

(not my project)

FTL: A new operating system for clouds

romac — Sat, 03 Oct 2026 15:02:36 +0000

https://github.com/nuta/ftl

Comments URL: https://news.ycombinator.com/item?id=49944912

Points: 195

# Comments: 74

Human-in-the-loop code review tool for AI-generated changes

romac — Mon, 11 May 2026 13:25:15 +0000

Article URL: https://tuicr.dev/

Comments URL: https://news.ycombinator.com/item?id=48094696

Points: 4

# Comments: 0

One Developer, Two Dozen Agents, Zero Alignment

romac — Wed, 29 Apr 2026 18:31:00 +0000

Article URL: https://maggieappleton.com/zero-alignment

Comments URL: https://news.ycombinator.com/item?id=47952421

Points: 1

# Comments: 0

Rust should have stable tail calls

romac — Tue, 14 Apr 2026 12:17:54 +0000

Article URL: https://trifectatech.org/blog/tail-calls-project-goal/

Comments URL: https://news.ycombinator.com/item?id=47764636

Points: 5

# Comments: 0

Reckless Drivin' (2000) ported to native SDL2 for macOS and Linux

romac — Mon, 16 Mar 2026 20:54:00 +0000

Article URL: https://github.com/DarrCoh/reckless-drivin-sdl

Comments URL: https://news.ycombinator.com/item?id=47404723

Points: 5

# Comments: 1

Glaze

romac — Wed, 04 Mar 2026 13:22:02 +0000

Article URL: https://www.raycast.com/blog/introducing-glaze

Comments URL: https://news.ycombinator.com/item?id=47247042

Points: 1

# Comments: 0

Glaze by Raycast

romac — Wed, 04 Mar 2026 13:21:31 +0000

Article URL: https://www.glazeapp.com/

Comments URL: https://news.ycombinator.com/item?id=47247033

Points: 234

# Comments: 145

New comment by romac in "Rust Doesn't Have Named Arguments. So What?"

romac — Wed, 25 Feb 2026 10:09:10 +0000

Yes there are many such crates, which can indeed kinda fill the gap. One of the more recent one is https://docs.rs/bon

Rust Doesn't Have Named Arguments. So What?

romac — Mon, 23 Feb 2026 17:49:50 +0000

Article URL: https://thoughtbot.com/blog/rust-doesn-t-have-named-arguments-so-what

Comments URL: https://news.ycombinator.com/item?id=47125847

Points: 2

# Comments: 2

Browse Code by Meaning

romac — Tue, 17 Feb 2026 11:07:19 +0000

Article URL: https://haskellforall.com/2026/02/browse-code-by-meaning

Comments URL: https://news.ycombinator.com/item?id=47046124

Points: 13

# Comments: 1

New comment by romac in "Xous Operating System"

romac — Sat, 17 Jan 2026 22:28:55 +0000

There is a single-page version of the book that you can save as a PDF: https://betrusted.io/xous-book/print.html

Running a Linux Router on macOS

romac — Tue, 23 Sep 2025 16:36:21 +0000

Article URL: https://amodm.com/blog/2024/07/03/running-a-linux-router-on-macos

Comments URL: https://news.ycombinator.com/item?id=45349400

Points: 1

# Comments: 2

EU could earn €1T by taxing aviation, private jets included

romac — Mon, 04 Aug 2025 15:12:53 +0000

Article URL: https://www.euractiv.com/section/eet/news/eu-could-earn-e1-trillion-by-fully-taxing-aviation-private-jets-included/

Comments URL: https://news.ycombinator.com/item?id=44786970

Points: 6

# Comments: 1

Amp: Agentic Coding Tool by Sourcegraph

romac — Mon, 21 Jul 2025 15:23:44 +0000

Article URL: https://ampcode.com

Comments URL: https://news.ycombinator.com/item?id=44636281

Points: 2

# Comments: 0

Infinite Monkey: Chat with an LLM to control an emulated classic Mac

romac — Wed, 09 Jul 2025 16:20:18 +0000

Article URL: https://infinitemac.org/monkey/

Comments URL: https://news.ycombinator.com/item?id=44511863

Points: 3

# Comments: 0

Retrobootstrapping Rust for some reason

romac — Mon, 16 Jun 2025 20:19:44 +0000

Article URL: https://graydon2.dreamwidth.org/317484.html

Comments URL: https://news.ycombinator.com/item?id=44293044

Points: 142

# Comments: 51

New comment by romac in "A High-Level View of TLA+"

romac — Tue, 03 Jun 2025 13:49:47 +0000

You can also go the other way around and generate traces [1] from the TLA+ or Quint [2] specs using the Apalache model checker [3], map each action in the trace to an action on your system under test, and check that the abstract and concrete states match at each step.

[1] https://apalache-mc.org/docs/adr/015adr-trace.html

[2] https://quint-lang.org

[3] https://apalache-mc.org

New comment by romac in "A High-Level View of TLA+"

romac — Tue, 03 Jun 2025 13:43:26 +0000

If you are interested in TLA+, you might want to check out Quint (https://quint-lang.org), a modern take on a specification language which shares the same underlying temporal logic of actions, but with a syntax more familiar to programmers.

An Year of the Linux Desktop

romac — Wed, 07 May 2025 17:37:31 +0000

Article URL: https://xeiaso.net/blog/2025/yotld/

Comments URL: https://news.ycombinator.com/item?id=43918534

Points: 7

# Comments: 0