HNHacker News
TopNewBestAskShowJobs

nly

11,488 karma · joined April 14, 2013

submissionscomments
nly··on How to keep enjoying programming in a world of LLMs
I've lately been using LLMs to do a lot of testing and verification.

An LLM can go and pull files off NFS, and write and run verification scripts in less time than I can even think of a testing strategy or locate the files.

Sometimes they'll do it unprompted

For writing unit tests, which are often repetative and verbose, they are another godsend.

Overall they're freeing up a lot more time for nice things like thoughtful API design, refactoring, system architecture and design work etc.

For exploring massive codebases they are another godsend

nly··on California is chasing wealth that has feet
In the US. The majority of the world doesn't have government subsidies on 30 year mortgages
nly··on California is chasing wealth that has feet
There's a difference between can and must. A LOT of landlords don't maximally squeeze their tenants.

In fact, I'd argue the majority of landlords are shit investors sat on fairly low yields

nly··on California is chasing wealth that has feet
A land tax would effect every single landlord though. Every single landlord would put up rent.

The market will bare it because people have no choice. The choice is homelessness or paying the higher rent.

It's principally the same when mortgage rates rise. Landlords with mortgages put up rent. Only it would be worse, since not all landlords have mortgages.

nly··on California is chasing wealth that has feet
If I own £100K worth of land, and the government announces a 1% annual land tax, it's likely the value of my land will fall by about ~25-33% overnight.

If you think that's morally unobjectionable, fine, but I'd love to know what happens when all the landowners who own rural land that doesn't have a profitable development path attached to it can't pay their tax bills. Have the state seize it all?

Or do they just claim it's of negligible value and avoid the tax?

nly··on How did AMD Ryzen get 50% faster in two years?
Am I missing something? Max boost went up by only 15% but the base frequency went up 38%

Better thermals maybe? Less throttling?

nly··on I don't like passkeys
I mean, they're basically just client SSL certs, but used for auth instead of transport

It's entirely possible for server side app to tie a client certificate to a user account and offer one click login and it has been since the 90s.

nly··on I don't like passkeys
I mean, if the session token basically never expires it's kind of fine?
nly··on Optimizing a Spin-Lock
If you're expecting heavy contention, and there's no risk of any of the threads being descheduled, then FIFO spinlocks are probably best.

In a FIFO threads register themselves into a linked list, and the thread calling unlock() directly wakes the next. It's possible to have e.g. 20 threads in this case all spinning on their own cache lines (their private node), rather than a shared one (the lock head).

This can be coherence protocol optimal.

A dumb test and set spinlock, or variant thereof, is going to degrade quickly as all the cores are spinning on the same cacheline causing a lot of coherence traffic between cores (transitions between shared, exclusive and modified states)

nly··on Optimizing a Spin-Lock
If you have an application where your threads are pinned to dedicated cores, and those cores are all isolated from general OS scheduling, then it's the lowest latency means to synchronize arbitrary things between threads

Entering the kernel with a futex wait or wake under contention costs a couple of microseconds, whereas a spinlock will cost you double digit to low triple digit nanos depending on cores/sockets etc

nly··on I've factored the RSA keys of a Certificate Authority from the 90s
I used to work on market data feeds, which occasionally require a reference data file from an FTP to be delivered before market open before you can do anything useful with the feed.

Nothing like being on-call when the file doesn't get delivered, or fails to parse

Fortunately most feeds deliver reference data inband these days

nly··on I've factored the RSA keys of a Certificate Authority from the 90s
A read() on /dev/urandom on every packet isn't economical, so there's going to be some user space element to RNGion
nly··on The Real Luxuries In Life
So true..had my parents over for Christmas one year and they stayed for 4 days. 3 would have been perfect.
nly··on US debt tops $40T as Treasury doubles bond buybacks to calm markets
As long as the debt is in its own currency printing to repay is always an option.
nly··on Worms: The Future of Yesterday's Worms Today
Fun fact:

Worms Armageddon saw patches for ~18 years after official updates stopped.

https://worms2d.info/Updates_(Worms_Armageddon)

nly··on London Underground begins scanning passengers' faces
Internet Connection Records is the key phrase to search for
nly··on London Underground begins scanning passengers' faces
These businesses chose lower staffing costs knowing full well the price would be higher theft.
nly··on London Underground begins scanning passengers' faces
Don't 99% of people just use face or fingerprint unlocking?
nly··on England set to be one of the first countries to eliminate hepatitis C
Crazy how different healthcare is in different countries.

In the UK once you've had your childhood vaccinations it's entirely possible you'd simply never see a doctor again in your life until you're ready for your prostate exam in older life.

There are no regular checkups or preventative care on the NHS for mid life adults unless you're proactive

nly··on England set to be one of the first countries to eliminate hepatitis C
Ah OK, this was in London
nly··on England set to be one of the first countries to eliminate hepatitis C
That's odd. I just looked at what I thought was a pretty standard piss and blood STI test results of my own, and it covered:

- Syphilis

- Hep B

- Hep C

- HIV 1 and 2 and P24

- Chlamydia

- Gonorrhoea

nly··on LinkedIn Feed Blocker
2 out of my last 3 jobs were the result of LinkedIn recruiter spam
nly··on Parsers don't have to be complicated
Recursive descent isnt guaranteed linear time

In the face of backtracking the time depends on the complexity of the grammar, since it's basically a brute force search through all the rules.

nly··on Parsers don't have to be complicated
It's "fine" is you ignore adversarial situations.

If someone is taking malicious stabs at your API then you have a problem

nly··on Deep-sea vehicles spot 'alien' sharks deep beneath the waves in the Pacific
They can...swim away
nly··on BMW Spider-Man in-car advertising
The problem is a lot of people book Ryanair thinking they're going to save money and end up sucked in to these dark patterns.

I once flew from London Stansted (or maybe it was Luton?) to Dublin instead of from Heathrow with Aer Lingus to save a few bucks, and it never ended up saving me anything in the end.

With Aer Lingus the cheapest ticket includes 10kg of checked luggage, which is a nice middle ground between a tiny bag you can shove under your seat and a 23kg luggage

And Ryanair are not even cheaper most of the time unless you're prepared to fly at unsocialable times and forgo luggage.

Ryanair even seem to deliberately separate seats for adult passengers on the same booking so they can charge you extra to sit together...

nly··on Online Friends Are Real Friends
Presumably that depends on the context in which your 'real life' friends see you
nly··on Premier league bans gambling sponsors
Unfortunately this means crypto will just take over completely.
nly··on Advancing the price-performance frontier with GPT‑5.6
0.03 seconds is an eternity in high frequency trading

You need to be 4 orders of magnitude faster at least

nly··on How old is Ann?
Opus says Ann is 18
Page 1 of 34Next →