HNHacker News
TopNewBestAskShowJobs

billytrend

15 karma · joined February 9, 2014

www.billytrend.com
submissionscomments
billytrend··on OpenAI's new GPT-5 models announced early by GitHub
Did they photoshop the screenshot from https://github.blog/changelog/2025-05-19-github-models-built... ? Other than the model id, it’s identical.
billytrend··on The Chemistry of ‘Yes Minister’ (2017)
The person you’re talking about is my grandpa, Robin Butler. He has some great stories! Cool to see him mentioned on hacker news
billytrend··on Idris 1.0
Aha that's probably wishful thinking I'm afraid. The language seemed very old fashioned to me (features like being able to choose the first index of an array) but I can appreciate it was good for its time.

I wrote my own error messages which were hopefully a bit more useful than that :)

billytrend··on Idris 1.0
RE S-Algol, it actually stands for St Andrews Algol. I developed a javascript transpiler as my final year project (2016) which is incomplete but there are some working examples here: https://goo.gl/TjbwML .

I found the project fascinating. Of course this a completely different language to Idris, the only real relation is that it was also developed in St Andrews.

billytrend··on Duckie: Rubber Ducking as a service
Tried to make something like this a while ago[1] but the Eliza idea is a good one. Must be our agricultural East Anglian sense of humour. Wonder how many other farmyard animals could be turned into software as a service?

[1] https://news.ycombinator.com/item?id=7720153