Hacker News: thealistra

New comment by thealistra in "Pharo 14"

thealistra — Mon, 26 Oct 2026 20:33:00 +0000

The kerning in clickonme in the example screenshot is unfortunate - I would change the font

New comment by thealistra in "Show HN: Homebrew 6.0.0"

thealistra — Thu, 11 Jun 2026 22:50:30 +0000

Exactly - so far seems like a windows vista “are you sure?” Modal. Are we missing something here?

New comment by thealistra in "Forking the Web"

thealistra — Sat, 09 May 2026 12:29:24 +0000

Seems like somebody is not accepting that every successful project will grow and become unwieldy like this. This is all legacy backwards compatibility of all iterated ideas that now you have to support.

New comment by thealistra in "Show HN: Auge Vision from Your Terminal"

thealistra — Sun, 26 Apr 2026 21:27:42 +0000

The ocr example says it recognizes Chinese, but output ignores it - maybe just AI bug in generated examples

New comment by thealistra in "Apple Silicon and Virtual Machines: Beating the 2 VM Limit (2023)"

thealistra — Tue, 14 Apr 2026 19:30:31 +0000

You should be happy that you have such a financially aware IT dept. The machines are truly expensive and after managing a farm of 150 Mac minis at work I can tell why.

It is like 3 days running the EC2 buys you a Mac mini? And you can only rent the machine in day increments

New comment by thealistra in "Moooooonitoring the Cow.txt Herd"

thealistra — Mon, 13 Apr 2026 21:07:38 +0000

Can’t really see it nicely on mobile

New comment by thealistra in "MIT Living Wage Calculator"

thealistra — Mon, 09 Feb 2026 20:17:53 +0000

US only it seems?

New comment by thealistra in "Xr0 verifier, guarantee the safety of C programs at compile time"

thealistra — Mon, 05 Jan 2026 19:45:19 +0000

My point is can you write a json deserializer with this, where allocation of every child is defacto optional, depending on input JSON?

New comment by thealistra in "Xr0 verifier, guarantee the safety of C programs at compile time"

thealistra — Sun, 04 Jan 2026 23:08:03 +0000

Isn’t this a very restrictive way to write? Hard for me to imagine as never wrote with such annotations so no idea how viable it is for a large codebase to have this constraint.

New comment by thealistra in "Xr0 verifier, guarantee the safety of C programs at compile time"

thealistra — Sun, 04 Jan 2026 23:05:03 +0000

I understand how this works in general. I had static analyzers at Uni, I know lattice theory and all this - I am just wondering how Xr0 handles it.

New comment by thealistra in "Xr0 verifier, guarantee the safety of C programs at compile time"

thealistra — Sat, 03 Jan 2026 23:15:22 +0000

What happens if a function allocates not deterministically, like

if (turing_machine_halts(tm)) return malloc(1); else return NULL;

How is this handled?

New comment by thealistra in "Nerd: A language for LLMs, not humans"

thealistra — Thu, 01 Jan 2026 02:17:37 +0000

For the bootstrap c lexer and parser was hand rolling really necessary? Lex and yacc exist for a reason

New comment by thealistra in "Show HN: Secure private diffchecker with merge support"

thealistra — Tue, 25 Nov 2025 21:02:22 +0000

Bro no one will use a web service and trust it is 100% private. This is an unprovable claim. Maybe it is private now, but you sell this in 5 years and it stops being so.

Maybe a JavaScript ad jailbreaks an iframe and reads this.

There is no beating a locally running program

New comment by thealistra in "At the end you use `git bisect`"

thealistra — Sun, 02 Nov 2025 19:12:04 +0000

But most CIs allow flaky tests :)

New comment by thealistra in "Stop writing CLI validation. Parse it right the first time"

thealistra — Sat, 06 Sep 2025 21:49:14 +0000

Isn’t this like argparse from Python for typescript?

New comment by thealistra in "Atlassian terminates 150 staff"

thealistra — Sun, 10 Aug 2025 16:27:02 +0000

Couldn’t they add a ChatGPT like bot that would answer questions about confluence or jira content as first AI feature instead of adding unhelpful chatbots for customer support

New comment by thealistra in "Show HN: Octelium – FOSS Alternative to Teleport, Cloudflare, Tailscale, Ngrok"

thealistra — Sun, 29 Jun 2025 21:03:35 +0000

Is this a replacement for a huge corpo botnet like access control?

If I am a huge corpo, don’t I want to have another huge corpo provide me the software with a support package to have some asssurance and not go with the open source option?

Not sure if your project solves any issue of a singular dev.

New comment by thealistra in "Show HN: Vet – A tool for safely running remote shell scripts"

thealistra — Sat, 28 Jun 2025 21:41:31 +0000

Can you show how it works on the page or readme as a video?

Does it open pager or editor? How does it show the shellcheck issues.

New comment by thealistra in "Lateralized sleeping positions in domestic cats"

thealistra — Thu, 26 Jun 2025 21:58:47 +0000

The author declared no competing interests, but I bet they are a certified cat lover and therefore biased

New comment by thealistra in "Ask HN: Who is hiring? (June 2025)"

thealistra — Mon, 02 Jun 2025 16:32:25 +0000

Wrong thread - you’re looking for who’s hiring - this is who wants to be hired