HNHacker News
TopNewBestAskShowJobs

ayrtondesozzla

59 karma · joined May 11, 2025

submissionscomments
ayrtondesozzla··on The Difference Between Downloading and Streaming
People willing to put in an effort to acquire and lovingly conserve the media of interest to them are often the people who really care about that media. They are often the most eager to support the creators of different media.

Which is extremely logical and obvious, if one can quickly lift one's head up above the "anti-piracy" propaganda of the major copyright-wielding creativity-killing companies spewing out the same drivel year after year.

Conversely, I have found that the same people who will happily equate "having a spotify subscription" to "supporting artists", who do things like attack people who jailbreak their kindle or whatever, these people are often the greatest thoughtless vibers when it comes to media. Try asking someone like that to name a piano player, or a bassist, or a drummer. Ask them to name three directors.

They'll know celebrities, not musicians or actors. They'll know to attack "pirates" on cue, but have no conception where their money goes every month when their subscriptions are billed.

I'm caricaturing, but these are my experiences.

ayrtondesozzla··on Owls in Towels
Question - what is the lowest cost way to do something like this? Imagine one was prepared to go in whatever direction, regardless of difficulty. Can the pros weigh in here?
ayrtondesozzla··on Owls in Towels
> A+ FACILITIES WOULD STAY AGAIN

Ok ok, you got me! Delightful!

ayrtondesozzla··on The Myth of Developer Obsolescence
There's no ruling out a flying spaghetti monster being orbited by a flying teacup floating in space on the dark side of Pluto either, but we aren't basing our species' survival on the chance that we might discover it there soon
ayrtondesozzla··on The Myth of Developer Obsolescence
I'd change that line near the end to:

The only people that often value quality are engineers.

I might even add that the overwhelming majority of engineers are happy to sacrifice quality - and ethics generally - when the price is right. Not all, maybe.

It's a strange culture we have, one which readily produces engineer types capable of complex logic in their work, and at the same time, "the overarching concern of business is always profit" seems to sometimes cause difficulty.

ayrtondesozzla··on Britain's police are restricting speech in worrying ways
You can criticise things, but if you are effective, or if you criticise the wrong thing, you risk jail, harassment, ostracisation, threats, campaigns of vilification and slander, etc. Your doctor visits and lawyer visits will be surveilled, your basic diplomatic rights violated. You can be tortured in public view.

Wikileaks' Julian Assange is perhaps the archetypal recent example, but there are others.

Westminster has undergone a violent authoritarian shift in recent decades. Stating that clearly is a prerequisite to beginning a fight for "democracy", as you put it.

ayrtondesozzla··on Run GitHub Actions locally
I'd be interested to know more about a team that uses Nix and Guix. Is there a website or email an interested party can contact?
ayrtondesozzla··on I think it's time to give Nix a chance
Agreed on Guix. Used it for a few years, absolutely loved it, excited to go back (had to move off for unimportant and unrelated reasons).

Would love to hear from someone who has used both though.

I've never seen an excellent, detailed comparison actually, as conversation on the subject tends to devolve into a "discussion" on ethics. Meaning, people who dislike GNU or GPL or Lisps or something get testy and argue uncharitably (imho, please prove me wrong, not flaming here, etc).

This is ironic, to say the least, as one of the main points of the proponents of the "anti-GNU" side tends to be how Guix is too opinionated and pushy and hard-line etc. So we've a classic upside-down situation, which is a real shame, as Guix seems to be in reality a practical project with lovely people involved that's doing very interesting work.

ayrtondesozzla··on Will the AI backlash spill into the streets?
Apologies, I was unclear. I mean that the law and what people do are two seperate affairs. When people act like law dictates reality I'm always perplexed.

Here, if you say your Tesla drives you to work hands-free, I've no problem accepting that as a part of the world.

ayrtondesozzla··on Ask HN: What are you working on? (May 2025)
Except grafitti is cool from the start, so, totally different
ayrtondesozzla··on Plwm – An X11 window manager written in Prolog
You've never used ratpoison, I see
ayrtondesozzla··on Why top posting has won (2018)
Reminds me of an interesting exchange with a friend in sales and marketing recently.

It's an engineer-heavy company, and he's a marketing guy. He was brought in to give them some sales direction, some strategy. He comes up with some standard strategy, presents it. No, reasons. Meetings and presentations and essentially repeated NOs later, months and months of this, he eventually says to himself:

This is industry standard stuff. They're rejecting it because they don't understand. I'll do a big presentation, come up with loads of metaphors and catchy phrases and graphs, and present it.

He does this, result: oh, brilliant stuff, let's get this all implemented! Wonderful. It's the exact same stuff as before.

The story was told to me in terms of - "ah, isn't it great that everyone finally understood!", and my response was based on exactly your observation. They understood roughly as much as before, but if you don't get the metaphors, you look silly!

ayrtondesozzla··on Authors are accidentally leaving AI prompts in their novels
Any text (book, essay, blog, comment) which includes any lines of unedited LLM output should come with a statement saying so. Even if the whole thing was very carefully edited and reviewed and the author is certain there's no obvious trace of LLM usage, they should still always say so.

Not because the LLM "deserves credit" (a disgusting trend, I find) but because:

A. The millions of humans who got ripped off in the process of their knowledge and time being hoovered up, digitised and productised deserve credit

B. Your artistic, aesthetic and ethical choices need to be assumed fully.

I can't see law working here, so I think it'll have to be cultural. Cultural means these discussions on here, for one. I implore every LLM user reading this to consider full honesty when using these tools.

I can picture the smart replies now so allow me to cut off one obvious one - no, business emails don't count, all business comms were already sloppified years ago. I mean anything that could reasonably be construed as creative, anything purporting to be sincere personal writing.

ayrtondesozzla··on Programming on 34 Keys (2022)
There's a lot of ignoring your question and telling an anecdote - some nice anecdotes, though.

I'd guess the answer is yes. If someone (somehow) gets into a junior dev role, has no to little experience, and hunts and pecks 20 words a minute, they'll have to get that up to 50/60 surely before they can be a more normally functioning member of a team, right? I think in some bad cases it could be priority number one.

If your job is producing text in files, you tend to need basic proficiency in typing.

I guess you're rather imagining a really solid developer, types 70/80 wpm but never put any effort in to typing per se, uses whatever system or IDE is the norm and isn't bothered. Learns a few keyboard shortcuts here and there maybe, but again, who cares.

Imagine a counter to your question - if that last developer could click their fingers and get to an effortless, consistent 100 wpm, would they? Should they? I think the answer is yes, and yes. They can still spend as much time as they want staring at the ceiling thinking, with the notepad out sketching, etc.

Now, not everyone wants to think about it, and that's fine, other things matter more in the end. How pleasant of a colleague you are matters more in many cases. But surely the notion itself of typing faster being preferable is easily understandable - programmers are text file producers.

ayrtondesozzla··on Will the AI backlash spill into the streets?
Well? Are they?

Unrelatedly, what's the law on texting, answering a call, and just quickly checking a message while driving? All crimes, I guess?

ayrtondesozzla··on The Lisp in the Cellar: Dependent types that live upstairs [pdf]
https://quantumzeitgeist.com/lisp-and-the-dawn-of-artificial...

Lisp was the de facto language of artificial intelligence in the U.S. for many years. Apparently Prolog was popular in Europe (according to Norvig's PAIP)

ayrtondesozzla··on Remarks on AI from NZ
> Unless you have a truly bastardized definition of ASI then there is undoubtedly nothing close to it on earth. No corporation or military or government comes close to what ASI could be capable of.

This is glistening with religious fervour. Sure, they could be that powerful. Just like God/Allah/Thor/Superman could, too.

I've no doubt that many rationalist types sincerely care about these issues, and are sincerely worried. At the same time, I think it very likely that some significant number of them are majorly titillated by the biblical pleasure of playing messiah/prophet.

ayrtondesozzla··on Remarks on AI from NZ
https://omniorthogonal.blogspot.com/2013/02/hostile-ai-youre...

This blog is where I saw the same idea recently, which also links to that post you link.

ayrtondesozzla··on DDoSecrets publishes 410 GB of heap dumps, hacked from TeleMessage
https://nitter.net/ProjPM/status/1915527064070881379#m

Is this group not very seriously discredited, with ties to FBI, convicted child porn criminals, etc? Or am I getting something mixed up?

This could still be a legitimate leak, of course. I'm just wondering if this info is publically known, or if I'm conflating things

ayrtondesozzla··on Kilo: A text editor in less than 1000 LOC with syntax highlight and search
Sorry for jumping off topic but I came across mu recently - looks very interesting! Hope to try it out properly when I get a moment
ayrtondesozzla··on GitHub Copilot Coding Agent
Do you've any textual evidence of this 8-year stretch of your life where you see yourself as being perpetually correct? Do you mean that you were very specifically predicting flexible natural language chatbots, or vaguely alluding to some sort of technological singularity?

We absolutely have not reached anything resembling anyone's definition of a singularity, so you are very much still not proven correct in this. Unless there are weaker definitions of that than I realised?

I think you'll be proven wrong about the economy too, but only time will tell there.

ayrtondesozzla··on GitHub Copilot Coding Agent
> If I want well written prose I'll read literature.

Actually if you want well-written prose you'll read AI slop there too. I saw people comparing their "vibe writing" workflows for their "books" on here the other day. Nothing is to be spared, apparently

ayrtondesozzla··on An Efilist Just Bombed a Fertility Clinic. Was This Bound to Happen?
Sapiocentric is a great word, get into my lexicon, thank you
ayrtondesozzla··on Spaced repetition systems have gotten better
Oh thanks, I didn't know there was a name for the thing I've been doing. Vocabulary mining is a nice term.

I agree with your general point too. People are correct to say SRS only helps with memorising and not with learning, but this is only a problem if you haven't developed functional learning techniques or you have to learn something you don't enjoy. Good learning essentially hinges on interest and excitement, and making the thing you're learning relatable or catchy.

If you have exams and deadlines, this can be hard. If you've no exams and no deadlines, just flashcard anything interesting that comes your way, include context and jokes, and focus on enjoying yourself. Delete flashcards with a smile if they annoy you a few repetitions down the line. Make all your own cards. Invent funny stuff, find quirky facts that stand out.

E.g., the area of Ireland is 84,421km^2 - all powers of 2. I never had a "yardstick" for big areas, now I do. Borneo is nearly nine Irelands in size.

Or another example, French Polynesia has 121 islands, 75 of which are inhabited. I found this fact shocking, so I thought I'd put it in to a flashcard. After some quick reflection, I'm sure you too could come up with ways to make those numbers stand out.

Another - the title of Wittgenstein's "Tractatus Logico Philosophicus" - where truth tables were popularised - ends in SOS. No more forgetting the title, or where truth tables are from!

In summary - learn things you like, and make it spicy for you.

ayrtondesozzla··on Spaced repetition systems have gotten better
When "FSRS" is first used it's a clickable link, and the first sentence on that link is:

> FSRS (Free Spaced Repetition Scheduler) is a modern spaced repetition algorithm that was developed by Jarrett Ye.

If I do a search of "flexible spaced repetition software" I get no results, which strongly suggests the dumb guesser you're using guessed something plausible to placate its user. This is common behaviour for this type of software.

In summary, I politely suggest you critically review how you interact with knowledge on the internet.

ayrtondesozzla··on Getting AI to write good SQL
Well essentially then, I agree, I find it perplexing too.

I got particularly burned by that press release a little before Christmas, where it was claimed that 4o was doing difficult maths and programming stuff. A friend told me about it very excitedly, I imagined they were talking about something that had really happened.

A few days later when I'd time to look into it, it turned out that essentially we'd internal testing and press releases to go off, I couldn't believe it. I said - so, marketing. A few months later it was revealed that a lot of the claimed results in those world-changing benchmarks were due to answers that had been leaked, etc etc. The usual hype theatre, in the end

ayrtondesozzla··on You do not need NixOS on the desktop
First you misquote me in an oddly obvious and low-effort way, now another inane comment - how can the nature of this account have any relevance?

You wrote a comment implying what's wrong with Nix is the language, and stating that there's unfortunately "nothing better" out there.

It is true in this universe that there is a software project called GNU Guix, which is 13 years old, whose literal origin idea is - what if we take the general idea behind Nix, but write it all afresh in a fully featured programming language, and make it extensible and configurable with that language.

There are a host of reasons you might not want to get into that personally, as I stated - but it really does exist, regardless of your personal feelings?

ayrtondesozzla··on You do not need NixOS on the desktop
Actually, just in case any sincerely interested people are browsing, let me address your original points re. Nix's DSL, which made me wonder if you had read about Guix and Guile:

> Nix is bad because the language is very limited and extremely hard to debug and the module system is fragile and obscure

-- Limited :: here's a collection of Guile software https://sph.mn/foreign/guile-software.html. It's not Python, but it is a general purpose language used by lots of people for serious software work, with a nice library of lovely Scheme books for learning, too

-- Hard to debug :: Guile has built-in debugging support, and there are interfaces like Geiser in Emacs with extra tools, and also support for interacting with GDB

-- Module system :: Guile's module system was first implemented in 1996, I learned from browsing there. Anyway https://www.gnu.org/software/guile/manual/html_node/Modules....

So yes, if you don't like Lisps, or don't have time to learn new things, or don't like something else about Guix, by all means, steer clear. But the statement: "there's no Nix but with a general purpose, powerful programming language" is, I think, demonstrably false.

ayrtondesozzla··on You do not need NixOS on the desktop
If misquoting someone intentionally seems like normal behaviour to you, I'll leave the discussion there, thanks
ayrtondesozzla··on Getting AI to write good SQL
I'm not an LLM proselytiser but this makes no sense? It would almost make sense if someone were claiming there are only two possible games, the old one and the new one, and never any more. Who claims that?
Page 1 of 2Next →