Hacker News: thealistra

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

New comment by thealistra in "Show HN: Chat with 19 years of HN"

thealistra — Sun, 25 May 2025 21:10:21 +0000

Ah yes finally a technology to tell me that Bit twiddling hacks were reposted 31 times already

New comment by thealistra in "I failed a take-home assignment from Kagi Search"

thealistra — Sat, 24 May 2025 00:24:07 +0000

I wouldn’t say you’re at fault for delivering. You are at fault of not delivering a concise solution that uses least elements possible and has a nice clean fast-to-read readme, one setup script or docker file or whatever.

And tbh the result is just a solution (ignoring all the issues of is this terminal inspired and is email backend as a service acceptable choice) - looks generic, nothing interesting besides a super long proposal and super long readme to achieve nothing special honestly. Just a solution checking the boxes. Probably one of many. That’s why probably wasn’t selected.

TL;DR

1. Be more concise in messaging and documentation 2. Do something more than just the working solution esp if they mention brownie points for cool stuff in the task description

New comment by thealistra in "Git Changesets"

thealistra — Mon, 05 May 2025 21:53:14 +0000

So much words in the docs. So little explanation of why