HNHacker News
TopNewBestAskShowJobs

Abstract_Typist

26 karma · joined November 25, 2023

submissionscomments
Abstract_Typist··on Goodbye from Salon
An "ad-free" subscription to The Guardian is $18 per month ($15 starter, students $10 a year).

They aren't funded exclusively by subscribers because that would exclude a source of revenue that enables cheaper subscriptions. But you can have no ads for a reasonable premium.

https://support.theguardian.com/us/contribute

Abstract_Typist··on Show HN: Make cursed fonts like Times New Bastard
The original quote is usually attributed to Pascal (in French in 1657..)

https://quoteinvestigator.com/2012/04/28/shorter-letter/

Abstract_Typist··on Ask HN: AI Panic, you buying it?
Terrorists exist. Covid happened.
Abstract_Typist··on Most people prefer traditional architecture
Somehow, it always makes me smile that the Glenfinnan Viaduct (as seen in Harry Potter) is concrete. I'm not sure quite why.
Abstract_Typist··on Europe's last regular standard-gauge steam passenger service
This is a nice, recent article on the Wolsztyn service, if you don't read Polish:

https://railwayworld.net/2026/03/21/daily-steam-services-res...

This is unrelated, but will put a smile on your face if you like steam and real world narrow gauge:

https://railwayworld.net/2026/08/09/a-remarkable-revival-of-...

Abstract_Typist··on Monzo Stand-In
This is an issue, but one Europe is acutely aware of and working on. WERO is one strand of that.

https://www.reneweuropegroup.eu/news/2026-06-23/independence...

https://europeanbusinessmagazine.com/eu-payments-sovereignty...

https://stripe.com/en-fr/resources/more/wero-how-europes-uni...

Abstract_Typist··on Monzo Stand-In
Ah.. SWIFT is an international cooperative, originated in Europe and based in Brussels..
Abstract_Typist··on Expertise in the age of AI
"Hell hath no fury like a vested interest masquerading as a moral principle"
Abstract_Typist··on Ada, its design, and the language that built the languages
https://www.petefinnigan.com/weblog/archives/archive-042020....
Abstract_Typist··on Leanstral: Open-source agent for trustworthy coding and formal proof engineering
Nice analogy *

I guess the current wave is going to give us Sofware Development Epicycles (SDEC?)

* All analogies are "wrong", some analogies are useful

Abstract_Typist··on AI is not a coworker, it's an exoskeleton
> it will be the users sculpting formal systems like playdoh.

People are pushing back against this phrase, but on some level it seems perfect, it should be visualized and promoted!

Abstract_Typist··on Child's Play: Tech's new generation and the end of thinking
The trees are canonical though.

    I think that I shall never see
    A billboard lovely as a tree
    Indeed, unless the billboards fall
    I’ll never see a tree at all.

      Song of the Open Road   -  Ogden Nash
Abstract_Typist··on Child's Play: Tech's new generation and the end of thinking
https://en.wikipedia.org/wiki/Turtles_all_the_way_down
Abstract_Typist··on -fbounds-safety: Enforcing bounds safety for C
The conventional wisdom is ~70% of serious security bugs are memory safety issues.

https://www.cisa.gov/sites/default/files/2023-12/CSAC_TAC_Re...

Abstract_Typist··on AI is a horse (2024)
> I suppose because they resemble the abstractions that make complex language possible

As in models: All analogies are "wrong", some analogies are useful.

Abstract_Typist··on Show HN: I used Claude Code to discover connections between 100 books
If you consider engineering the art of the possible. (Yes, I know it's a politician's phrase, that's because politics is the art of the plausible ... )
Abstract_Typist··on Tell HN: Merry Christmas
Not a guy ;)

https://en.wikipedia.org/wiki/Joan_Stark