HNHacker News
TopNewBestAskShowJobs

throw567643u8

42 karma · joined January 18, 2026

submissionscomments
throw567643u8··on Ireland shuts last coal plant, becomes 15th coal-free country in Europe (2025)
Taiwan and perhaps other Asian countries that successfully make stuff don't expose their industries to this, the government sets a fixed energy price for them rather than leaving them at the whim of speculators.
throw567643u8··on Ireland shuts last coal plant, becomes 15th coal-free country in Europe (2025)
Here in England we now drag the coal over on smoke spewing ships from Japan and Australia, rather than mine it here. The sum total of CO2 is higher than if we just mined it here. Net zero box ticking.
throw567643u8··on Picking Up a Zillion Pieces of Litter
Audley and the Sutherland Shire was pristine growing up in the 80s. What's changed?
throw567643u8··on Jolla phone – a full-stack European alternative
What's the difference between this and the Fairphone?
throw567643u8··on Magical Mushroom – Europe's first industrial-scale mycelium packaging producer
Truly green governments should outlaw plastic production and favour PLA bioplastics and this sort of thing. There's enough plastic in the ocean already.
throw567643u8··on The JavaScript Oxidation Compiler
Fractured ecosystem. Low barrier to entry, so loads of tooling.
throw567643u8··on The JavaScript Oxidation Compiler
Too slow. Different people implemented linter, bundler, ts compiler in JS. That means three different parsers and ASTs, which is inefficient. These guys want a grand unified compiler to rule them all.
throw567643u8··on Parse, Don't Validate (2019)
What's lexi up to these days? Her last big contribution to Haskell was the delimited continuation primops, then she disappeared in a puff of smoke.
throw567643u8··on FOSDEM 2026 – Open-Source Conference in Brussels – Day#1 Recap
Is the sugar fermented away? Definitely heavier than English beers.
throw567643u8··on FOSDEM 2026 – Open-Source Conference in Brussels – Day#1 Recap
- Open source security in spite of AI.

- Formal verification in Rocq, an exhaustive testing.

throw567643u8··on FOSDEM 2026 – Open-Source Conference in Brussels – Day#1 Recap
Was the Eurostar delayed, does anyone know?
throw567643u8··on FOSDEM 2026 – Open-Source Conference in Brussels – Day#1 Recap
> What is the FOSDEM community's answer to the real concerns that these changes pose ?

I only caught half a dozen talks, and two of them talked about this exact point.

throw567643u8··on FOSDEM 2026 – Open-Source Conference in Brussels – Day#1 Recap
I watched at home and drank Belgian beer in the afternoon.
throw567643u8··on Extracting verified C++ from the Rocq theorem prover at Bloomberg
Where is this team based? Was curious if it was the London office.
throw567643u8··on How London cracked mobile phone coverage on the Underground
Race and culture are different things.
throw567643u8··on How London cracked mobile phone coverage on the Underground
Yes, the demographic plays a big role.
throw567643u8··on How London cracked mobile phone coverage on the Underground
Honestly I'd prefer to listen to phone calls over brainless reels. Both are hell.
throw567643u8··on How London cracked mobile phone coverage on the Underground
My daily train to/from London Bridge to West Croydon is borderline unbearable.
throw567643u8··on How London cracked mobile phone coverage on the Underground
One or two people per carriage/bus.
throw567643u8··on How London cracked mobile phone coverage on the Underground
Etiquette. Some are raised with it.
throw567643u8··on How London cracked mobile phone coverage on the Underground
This behaviour is so bad on London (above ground) trains, if they ever do 'crack it' and roll out mobile signal to the Underground, those tiny carriages will be unbearable.
← PreviousPage 2 of 2