HNHacker News
TopNewBestAskShowJobs

thealistra

225 karma · joined January 1, 2012

submissionscomments
thealistra··on Pharo 14
The kerning in clickonme in the example screenshot is unfortunate - I would change the font
thealistra··on Show HN: Homebrew 6.0.0
Exactly - so far seems like a windows vista “are you sure?” Modal. Are we missing something here?
thealistra··on Forking the Web
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.
thealistra··on Show HN: Auge Vision from Your Terminal
The ocr example says it recognizes Chinese, but output ignores it - maybe just AI bug in generated examples
thealistra··on Apple Silicon and Virtual Machines: Beating the 2 VM Limit (2023)
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

thealistra··on Moooooonitoring the Cow.txt Herd
Can’t really see it nicely on mobile
thealistra··on MIT Living Wage Calculator
US only it seems?
thealistra··on Xr0 verifier, guarantee the safety of C programs at compile time
My point is can you write a json deserializer with this, where allocation of every child is defacto optional, depending on input JSON?
thealistra··on Xr0 verifier, guarantee the safety of C programs at compile time
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.
thealistra··on Xr0 verifier, guarantee the safety of C programs at compile time
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.
thealistra··on Xr0 verifier, guarantee the safety of C programs at compile time
What happens if a function allocates not deterministically, like

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

How is this handled?

thealistra··on Nerd: A language for LLMs, not humans
For the bootstrap c lexer and parser was hand rolling really necessary? Lex and yacc exist for a reason
thealistra··on Show HN: Secure private diffchecker with merge support
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

thealistra··on At the end you use `git bisect`
But most CIs allow flaky tests :)
thealistra··on Stop writing CLI validation. Parse it right the first time
Isn’t this like argparse from Python for typescript?
thealistra··on Atlassian terminates 150 staff
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
thealistra··on Show HN: Octelium – FOSS Alternative to Teleport, Cloudflare, Tailscale, Ngrok
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.

thealistra··on Show HN: Vet – A tool for safely running remote shell scripts
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.

thealistra··on Lateralized sleeping positions in domestic cats
The author declared no competing interests, but I bet they are a certified cat lover and therefore biased
thealistra··on Ask HN: Who is hiring? (June 2025)
Wrong thread - you’re looking for who’s hiring - this is who wants to be hired
thealistra··on Show HN: Chat with 19 years of HN
Ah yes finally a technology to tell me that Bit twiddling hacks were reposted 31 times already
thealistra··on I failed a take-home assignment from Kagi Search
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

thealistra··on Git Changesets
So much words in the docs. So little explanation of why
thealistra··on Show HN: I built an active community of trans people online
literally my first thought - would be a nightmare if the user list leaked with emails or something
thealistra··on Clap to Find My Phone App
And what about the battery usage? Again apple has own coprocessor to parse this in low energy
thealistra··on Ask HN: What's the one feature you'd want in a GitHub productivity tool?
Control click on symbol name to go to definition for all popular languages
thealistra··on Helping wikis move away from Fandom
Also former Wikia/Fandom engineer. I won a hackathon with a wiki text validator on page save - the idea was never moved to production because nobody ultimately cared about the wiki part of it for years and years. It was just a cost center. Nice chrome to put around ads.
thealistra··on Show HN: A somewhat faster, more lightweight, ripgrep-inspired alternative
Would be good to also do plain text benchmarks, not simple regexes. As I assume this might be the best optimized case
thealistra··on Bit Twiddling Hacks (2009)
Oh is it this time of the year already?
thealistra··on Show HN: I made a Mac app to search my images and videos locally with ML
Just a legal question. Can it really be non refundable? Aren’t there markets where regulators would require for you to refund?
Page 1 of 6Next →