Hacker News Reader

trallnagon Show HN: Lasm – Write formally verified webapps in Lean for Node/serverless/edge

Looks more streamlined on the CV when agentic engineers pivot to an emphasis im plumbing, roofing, etc. once software is solved

trallnagon The St. Helena 5 pence coin shows Jonathan, a roughly 190 year old tortoise

Always like to scroll through available properties in such remote places

trallnagon German court calls Google aerial imagery 'spying'

Aerial imagery? We don't do that in Germany!

trallnagon Canadians are running out of time to oppose Bill C-22

FYI /pol/ is up again

trallnagon Ask HN: If the models are so good, why doesn't OpenAI just start 100 companies?

There are IT consulting companies out there with several hundred thousand hand and feet at your disposal

trallnagon A complete bypass of eMudhra’s 1FA OTP login system

Damn, these Mastodon accounts are a rabbit hole to get lost in

trallnagon Claude Duet

Do you get so many emails that you would not have noticed the invoice?

trallnagon Claude Duet

My life is straight up too simple to benefit from an always on agent. Saving and organizing receipts? Don't need that with a few exceptions. Managing travel plans? I don't travel regularly. And so on...

trallnagon Plex laid off the whole player team

Curious why one would pirate media but pay for a media streaming system. Not like there aren't any alternatives like it's the case with VPNs

trallnagon Show HN: Bigwords.page – Turn any screen into a sign. The URL is the app

On long drives I wouldn't mind some kind of localized voice chat similar to what truckers have

trallnagon 3rd Yandex Cloud Data Center Was Hit

How did they make money from the war? The war is a huge burden on the Russian economy

trallnagon Show HN: Bigwords.page – Turn any screen into a sign. The URL is the app

I considered something similar with LED lights but I deemed it illegal in Germany

trallnagon Anthropic reported diary entry to police, woman faces felony charge

As if it is just nannyism marketing by tech companies. The EU tries to bring a new nanny law into legislation every other month

trallnagon PipePipe: NewPipe hard fork implementing SponsorBlock

From time to time I get blocked by YouTube and both NewPipe and PipePipe become unusable. I wonder if it has something to do with my internet provider putting me behind a CGNAT proxy

trallnagon Creatine uptake enhances antitumor immunity

And this is surely thanks to Creatine. Amazing!

trallnagon The Price of Intelligence Is Falling Rapidly

This makes looksmaxxing even more important, according to my agent's opinion

trallnagon Teen Social Media Bans Miss the Point

lol

trallnagon Fable 5.1 Solves the Cyphral Distich, a 370-year-old cipher

We have always been back

trallnagon Homebrew 7.0.0

Bubblewrap is history starting with 7.0.0 according to the release notes

trallnagon What will our economic future look like?

Some supermarkets let customers scan their items as they go through the store with a handheld device

trallnagon Migrating to HTTPX2

Maybe mental health issues? We aren't entitled to indefinite maintenance of free software

trallnagon Six Months of Writing Code Exclusively with Agents

Do you follow / use a specific framework? Or just ad-hoc prompts?

trallnagon We Got Better at Keeping You Alive. Not at Keeping You Healthy

How does one die of old age?

trallnagon The Rise of Million-Dollar Companies with Just One Employee

How did you arrive at this conclusion from the article?

trallnagon Handbook.md shows that long policy documents do not reliably govern agents

Can I have graphs as the default and fall back to agentic behavior if the prompt / task can't be mapped to a known process graph?

trallnagon Stop Killing the Internet: No Digital ID and No Age Verification

>securely and anonymously

Not possible. Why do advocates of age verification bring this argument up again and again? It is not possible.

trallnagon Over 150k Flights: Airlines Just Flew the Busiest Day in Recorded History

I guess the suggestion is to not travel at all. How much of all air travel is for fun and leisure?

trallnagon Show HN: OneCLI – OSS credential gateway that keeps secrets out of AI agents

What happens if the "fake" key gets compromised?

trallnagon Xiaomi-Robotics-1

I just can't deal with all the ads on Xiaomi phones. Switched over from Chinese phones, still remember my JiaYu G4 fondly, to Samsung few years ago where the situation is a bit more bearable