Hacker News: aejm

New comment by aejm in "Grok Bot"

aejm — Wed, 12 Aug 2026 02:30:09 +0000

The problem: too much AI The solution: more AI!

New comment by aejm in "SpaceX Starship Flight 13 livestream [video]"

aejm — Sat, 25 Jul 2026 01:26:16 +0000

They can relatively easily sink it, and in fact are required to be able to in order to get their US FAA launch license. As part of the environmental assessment specifically, but I could be wrong on that. For those curious, they have recovery teams on sight who can essentially shoot it to further puncture the hull or attach explosives even. They have experience with their Starship boosters not sinking off the coast of Texas and floating into Mexican waters.

New comment by aejm in "REO Trucks I4 4WD Pickup Truck Starts at $21,500"

aejm — Sat, 18 Jul 2026 19:37:26 +0000

Incredibly disappointed to see it will be using a gasoline combustion engine.

New comment by aejm in "Elixir-lang.org has a new design"

aejm — Sat, 18 Jul 2026 19:35:11 +0000

I think this version is an improvement over the old one! In particular how it highlights the packages in the ecosystem better.

New comment by aejm in "Reflections on the Guillotine (1957)"

aejm — Sun, 05 Jul 2026 03:19:12 +0000

I wonder if you would feel different after witnessing an execution (by guillotine)? I believe Camus is arguing that you would, giving his father as example of someone who similarly changed his mind.

New comment by aejm in "PgDog is funded and coming to a database near you"

aejm — Wed, 10 Jun 2026 17:34:50 +0000

Thank you for the clear response!

New comment by aejm in "PgDog is funded and coming to a database near you"

aejm — Wed, 10 Jun 2026 17:24:00 +0000

I notice there is an Enterprise Edition, can you please specify which features are not open source? Do you predict new features you add will be ee licensed as a way to pay back your VC funders?

New comment by aejm in "Show HN: Open-source .docx editor library for building document apps"

aejm — Fri, 22 May 2026 10:44:45 +0000

A really solid looking editor! Just a heads up on small, mobile screen sizes: the UI elements of the top row overlap unusably, the rest of the UI seems usable just quite zoomed in and I really had to pan around a lot to do anything. Fundamentally a solid and usable UI, I’d recommend a little more polish on smaller screen sizes. Good work!

New comment by aejm in "Intro to TLA+ for the LLM Era: Prompt Your Way to Victory"

aejm — Wed, 20 May 2026 19:01:49 +0000

Thank you!

New comment by aejm in "Moving away from Tailwind, and learning to structure my CSS"

aejm — Sat, 16 May 2026 14:41:06 +0000

Using a JavaScript framework kind of defeats the whole purpose doesn’t it?

New comment by aejm in "Appearing productive in the workplace"

aejm — Thu, 07 May 2026 13:47:27 +0000

I agree completely with your sentiment. The word I use to describe it is “quality”! Most people don’t produce quality work or take pride in it, even beyond the tech industry. I believe the tool of AI is exasperating an underlying problem

New comment by aejm in "K3sup – bootstrap K3s over SSH in < 60s"

aejm — Mon, 04 May 2026 18:59:38 +0000

Glad to hear you prefer Docker Swarm/Compose, I feel it’s a solid tool for when you need some of the more complex multi server deployments, and helps you avoid all the costs and complexities around K8s. Plus, running docker compose in development and docker swarm in production feels like the closest you can get to having your development environment match your production environment.

New comment by aejm in "We need a federation of forges"

aejm — Wed, 29 Apr 2026 14:55:50 +0000

In the latest FOSS project I’m starting, I’m not avoiding all “open core” supposedly FOSS projects. In my experience, they’re the projects most likely to do a rug pull and change licenses. If they cannot commit to their entire project being free and open, they are less likely to actually be committed to the principles of free and open software.

While I was quite excited about some of the ideas being discussed in this project, it being VC backed is a complete non starter for me. Your claims of being built in the open don’t make me feel any better, you will eventually need to make returns for investors.

New comment by aejm in "Plain text has been around for decades and it’s here to stay"

aejm — Sun, 26 Apr 2026 11:23:37 +0000

Thank you for taking the time to reply! Agreed, it does seem like any auditor would be able to verify all this information from other sources, but I really like the idea of having multiple independent levels of attestation for my organizations important financial and legal documents.

New comment by aejm in "Plain text has been around for decades and it’s here to stay"

aejm — Sat, 25 Apr 2026 20:04:01 +0000

This is really good inspiration for some of my plain text accounting projects! Could you please go into more detail about your RFC3161 attestation of commits? I'm assuming you're signing your commits with a gpg key to assert that it was in fact you who made the commit. Do you use an external timstamping service and an external ca authority, or do you build your own chains of trust? If you were asked to attest your accounting commits, what would that look like to the auditor?

New comment by aejm in "Paraloid B-72"

aejm — Sat, 25 Apr 2026 04:43:02 +0000

This post has exactly zero relevance to my professional career or personal projects, and this is exactly the type of esoteric content I love about HN!

New comment by aejm in "Electrical transformer manufacturing is throttling the electrified future"

aejm — Sun, 05 Apr 2026 10:48:55 +0000

This. Well said!

New comment by aejm in "From Zero to QED: An informal introduction to formality with Lean 4"

aejm — Fri, 19 Dec 2025 22:00:04 +0000

No, the point of proofs in mathematics IS to prove a particular statement is true, given certain axioms (accepted truths). Yes, there are numerous benefits beyond demonstrating something is undeniably true, given certain accepted truths, perhaps more “useful” than the proof itself, but math is a method of formal knowledge that doesn’t accept shortcuts.

New comment by aejm in "Engineers investigate another malfunction on SpaceX's Falcon 9 rocket"

aejm — Mon, 30 Sep 2024 21:18:02 +0000

Indeed, thank you.

New comment by aejm in "Engineers investigate another malfunction on SpaceX's Falcon 9 rocket"

aejm — Mon, 30 Sep 2024 20:33:47 +0000

Three failures this close together is problematic! I have no insight, but I wonder if organization or cultural changes are to blame? Plus, SpaceX flouting FAA rules recently, makes me worry about their long term future.