Haskell. But there are other examples of "pure functional programming". And the state of the art is dependently typed languages, which are essentially theorem provers but can be used to extract working code.
Like LEAN4 ?
Readit NewsDanielBryars commented on What .NET 10 GC changes mean for developers roxeem.com/2025/09/30/wha... · Posted by u/roxeem
DanielBryars commented on The Game Genie Generation tedium.co/2025/07/21/the-... · Posted by u/coloneltcb
That article was bizarrely difficult to read. Light on any details, all over the place story narration and the author trying far too hard to tie it to fucking AI today.
Just talk about the game genie on its own merits, it's far more interesting than AI slop for some of us
Yes, if the ruling allowing the GameGenie is about the freedom to tinker, I see this being an effective defence for building an AI myself from my own books for my own use. But, removing the need to buy the book in the first place is the key problem that the article seems to ignore.
DanielBryars commented on Hoarder: Self-hostable bookmark-everything app github.com/hoarder-app/ho... · Posted by u/thunderbong
Hoarder's maintainer here! What a nice surprise seeing Hoarder on the homepage of hackernews!
FYI: On the login, it tripped me up a couple of times because the username is case sensitive. There is a tradeoff between security, useability, and support requests; the input is labelled email, and email addresses are usually not case sensitive (and as email addresses used as email addresses are never case sensitive) so it confused me.
DanielBryars commented on Britain's last coal-fired power plant shuts down theguardian.com/business/... · Posted by u/geox
Bittersweet.
Glad to be moving away from coal, but the lack of serious investment in anything but wind energy has left the UK with the highest electricity prices in the developed world, factories and industry closing their doors, the most vulnerable in society choosing between heating or eating and a very real prospect of blackouts this winter.
We dreamed of a future of energy abundance, almost too cheap to meter. We have the technology in nuclear to do just that and perhaps we will one day.
So celebrate Britain turning off 500MW of emergency buffer supply and try your best to ignore the 50GW of coal power that China brought online in the 12 months of 2023 alone.
I'm curious, was is profitable? I don't mean to diminish other factors for keeping it alive, just wondering?
DanielBryars commented on Why Don't Tech Companies Pay Their Engineers to Stay? goethena.com/post/why-don... · Posted by u/samspenc
Here’s hoping you’re lucky enough to live until then. Don’t forget to live in the meantime. It’s a lot easier to hike across Europe in your 30s than in your 50s.
The sentiment is right, and sure, there are some differences, but please dont think your 50s is some geriatric period of your life where hiking across the alps/europe is not thoroughly enjoyable!
DanielBryars commented on World's Smallest CSV Parser (C#) github.com/kjpgit/Smalles... · Posted by u/vilark
What's the utility of defining the "Error" exception. Why not use an existing one, say InvalidOperationException, or a plain Exception. Is making your own better practice?
I had to do this 10 years ago for a SAAS application. It was standard procedure from the customer in question (a large multinational corporation) for "critical applications" - and I could understand their motivation. However, on renewal of the contract, the escrow clause was dropped - I'm not sure if this was because we were more trusted, or their policies changed (I think the cost was a factor).
Many other large customers consumed our services, but none of those have asked for an escrow - some have contracted for "special ways" to remove their data (for example direct access to database backups and so on) in the case that we would go insolvent - I'm not sure that legal mechanism this used.
For the customer in question they had several "levels" of escrow - and in this case they wanted the full escrow, which is more than just a dump of the code - it required all code, all dependencies, all bootstrap data, all configuration files, all build tools, and detailed instructions for building and running the app. An external company worked with us so that they could independently build the application, and witness it running. It was very expensive, very disruptive, very time consuming (it took about 3 days of prep, and 5 days with the external company). I remember it felt like a life time. The customer picked up the bill for the Escrow, that included the cost of the independent company, and our time (but not the opportunity cost).
In my opinion they are of very little value (for example the code continually goes out of date, who's going to run the service because they don't have the skills). In my experience it was a total PITA, and personally I'd avoid it, and try as hard as I could to use a different device to provide the assurance that they need (e.g. contracting that they can access their data in the event of insolvency, or at a push putting the built artifacts and runtime configurations into escrow).
DanielBryars commented on Lambda the Ultimate Is Down Session Table Full lambda-the-ultimate.org/... · Posted by u/DanielBryars
Do you happen to know when this started?
No sorry, I first noticed it today around 16:00 UTC. But that's the first time I have visited the site for months.
DanielBryars commented on Lambda the Ultimate Is Down Session Table Full lambda-the-ultimate.org/... · Posted by u/DanielBryars
"Fatal error: The table 'sessions' is full query"
Anyone know who runs this? It's a great website, I wonder if they know it's down?
I noticed in the example you shared it highlighted the choice of SHA1 for further attention, because it was deprecated. I think thats good. In this case, lets say I do actually want to use it and pop a comment above it, "SHA1 deliberate, partitioning only, no security exposure" I presume the LLM would take that into account. I'll try it out when I can.