HNHacker News
TopNewBestAskShowJobs

thomasfromcdnjs

2,796 karma · joined December 13, 2012

Co-Founder of jsonresume.org Co-Founder of cdnjs.com

thomasalwyndavis at gmail dot com @ajaxdavis on x

submissionscomments
thomasfromcdnjs··on AI will make formal verification go mainstream
Thanks will fix that up shortly.
thomasfromcdnjs··on AI will make formal verification go mainstream
shameless plug: I'm working on an open source project https://blocksai.dev/ to attempt to solve this. (and just added a note for me to add formal verification)

Elevator pitch: "Blocks is a semantic linter for human-AI collaboration. Define your domain in YAML, let anyone (humans or AI) write code freely, then validate for drift. Update the code or update the spec, up to human or agent."

(you can add traditional linters to the process if you want but not necessary)

The gist being you define a bunch of validators for a collection of modules you're building (with agentic coding) with a focus on qualifying semantic things;

- domain / business rules/measures

- branding

- data flow invariants — "user data never touches analytics without anonymization"

- accessibility

- anything you can think of

Then you just tell your agentic coder to use the cli tool before committing, so it keeps the code in line with your engineering/business/philosophical values.

(boring) example of it detecting if blog posts have humour in them, running in Claude Code -> https://imgur.com/diKDZ8W

thomasfromcdnjs··on Donating the Model Context Protocol and establishing the Agentic AI Foundation
I have Linear(mcp) connected to ChatGPT and my Claude Desktop, and I use it daily from both.

For the MCP nay sayers, if I want to connect things like Linear or any service out there to third party agentic platforms (chatgpt, claude desktop), what exactly are you counter proposing?

(I also hate MCP but gets a bit tiresome seeing these conversations without anyone addressing the use case above which is 99% of the use case, consumers)

thomasfromcdnjs··on Codeberg is down
"bad press is good press"

I don't care for Zig at all, and had never heard of Codeberg, they are now solidified in my mind aha

thomasfromcdnjs··on We're committing $6.25B to give 25M children a financial head start
To piggy back on this, as a thought experiment, if you took all the wealth of every American billionaire combined you would pay for the US government for about a year.
thomasfromcdnjs··on Anthropic acquires Bun
ha I thought it was just a me thing and had have accepted my fate.
thomasfromcdnjs··on Claude Opus 4.5
You are really speaking to others points. Get a friend of yours to read what you are saying, it doesn't sound scientific in the slightest.
thomasfromcdnjs··on Measuring political bias in Claude
Sounds better suited for a "Political Mode"

So people who want/ask a lot of politics, they can switch into this mode, and give feedback on it and try to improve it.

My two cents is that peoples personal politics is never swayed by "knowledge" anyway, just by the experiences they gather throughout life, age and the march towards death being front and center.

Most people will just seek to confirm bias where ever they feel like, the few who seek deeper understanding and facts will just have to persevere as they always have done, hence why sometimes throughout history we greatly respect that archtype.

thomasfromcdnjs··on I hate screenshots of text
I feel like I've seen good solutions to both problems before, aren't there vscode extensions that let you just select the code and create a sharable link with all the view type options to appear everyone?

e.g. https://snippetshare.dev/

thomasfromcdnjs··on Vibe Code Warning – A personal casestudy
Find a codebase that you wrote that you enjoy, ask Claude to analyse it and write an agents.md based off of it.
thomasfromcdnjs··on Ask HN: Who wants to be hired? (November 2025)
* Location: Melbourne, Australia

* Remote: Yes

* Willing to relocate: Yes - Worldwide

Technologies: 20 years of experience, mostly Javascript. I've coded in pretty much all non functional languages though. Most of the databases sql/nosql. Comfortable with gCloud/aws/heroku etc. Mostly worked with node/rails/laravel/python/golang backends.

* Résumé/CV: https://registry.jsonresume.org/thomasdavis

* GitHub: https://github.com/thomasdavis/

I'm a full stack web developer who can build apps from the ground up. I've worked mostly at startups so I am used to wearing many hats. I am a very product focused developer who prioritizes user feedback first and foremost. I'm generally very flexible when investigating new roles. Nothing too big or small.

thomasfromcdnjs··on AI can code, but it can't build software
Agreed.

I've played around with agent only code bases (where I don't code at all), and had an agent hooked up to server logs, which would create an issue when it encounters errors, and then an agent would fix the tickets, push to prod and check deployment statuses etc. Worked good enough to see that this could easily become the future. (I also had it claude/codex code that whole setup)

Just for semantic nitpicking, I've zero shot heaps of small "software" projects that I use then throw away. Doesn't count as a SAAS product but I would still call it software.

thomasfromcdnjs··on A worker fell into a nuclear reactor pool
Just fyi, they don't put vinegars at the beaches anymore, apparently it makes it worse (well I haven't seen any for a long while)

https://www.abc.net.au/news/2014-04-08/vinegar-makes-box-jel...

thomasfromcdnjs··on React vs. Backbone in 2025
A little nostalgic for me, I wrote a bunch of backbone tutorials back in the day.

https://news.ycombinator.com/item?id=3110025 https://web.archive.org/web/20111015073638/https://backbonet...

Other than the lack of imports, 15 years later I don't hate it.

Due to LLM's my thinking about coding has changed quite a bit, I'm far more interested in what is the best way a language can be written such that LLM's can most effectively write it. JSX/declarative is seemingly solid. I think the React community from useEffect onwards is starting to get a bit wishy washy, probably not a great way for LLM's to "think". (something about expressiveness, explicitness and parse-ability)

thomasfromcdnjs··on Replacing a $3000/mo Heroku bill with a $55/mo server
I know everyone in thread today is having fun embracing the hacker ethos and running things themselves.

But I've migrated plenty of companies off custom deployment setups to PAAS and told many ceo's simply what OP above has shared. Even a part time dev ops engineer is still $60000 a year, and that can buy us a LOT on PAAS. Using PAAS you can have effectively zero dev ops, I've also trained non technical people on how to scale their own servers if no devs are around because you just have a web based UI slider.

I consider myself a developer who cares more about the business, risk, profits and runway. A lot of developers don't share this mentality (which is fine btw always need engineers who like engineering for engineering sakes) but in meetings you will have a hard time beating me in an argument if you try to say that running servers ourselves would be "cheaper", and/or even faster, safer and definitely not more stable. (obviously not in all situations, but kind of most for modern crud web apps that don't require complicated compute setups)

I'm probably being overly antagonistic, forgive me for that, though highly recommend questioning the real cost of running your own setups.

thomasfromcdnjs··on Claude Haiku 4.5
You might get better results with https://github.com/oraios/serena

I sometimes use it, but I've found just adding to my claude.md something like "if you ever refactor code, try search around the codebase to see if their is an existing function you can use or extend"

thomasfromcdnjs··on People may age faster if their dad smoked during puberty
I never understand why people don't talk about banning the general usage of sugar, probably has far worse effects on societal systems than smoking does. (attention, fatness, hormonal imbalances)
thomasfromcdnjs··on Docker Hub Is Down
Was already struggling to do any work today and now my builds aren't working.

https://xkcd.com/303/

thomasfromcdnjs··on React is winning by default and slowing innovation
They kind of are not though, you can't call them out of order and other things which is checked at runtime by the React "engine" and will stop script execution. If they were regular functions you could call them anytime.
thomasfromcdnjs··on Omarchy Is Out
Same here, multiple monitors, overlapping windows has never worked for me. I don't need big monitors for the same reason. I also make sure to keep the number of things I have open to a minimum. Then simply tabbing or using a tiling manager like i3 (without using actual tiling) (they are just faster than running full desktops). It also means I can be productive with any setup anywhere e.g. a laptop
thomasfromcdnjs··on AI is different
Pretty sure I read Economnics in one lesson because of HN, he makes great arguments about how automation never ruins economies as much as people think. "Chapter 7: The Curse of Machinery"
thomasfromcdnjs··on GPT-5 leaked system prompt?
Regardless of model, I've found LLM's very good at things like Tailwind.

I didn't even want to use Tailwind in my projects, but LLM's would just do it so well I now use it everywhere.

thomasfromcdnjs··on GPT-5: Key characteristics, pricing and system card
100%

1) Build a directory of X (a gazillion) amount of tools (just functions) that models can invoke with standard pipeline behavior (parallel, recursion, conditions etc)

2) Solve the "too many tools to select from" problem (a search problem), adjacently really understand the intent (linguistics/ToM) of the user or agents request

3) Someone to pay for everything

4) ???

The future is already here in my opinion, the LLM's are good-enough™, it's just the ecosystem needs to catch up. Companies like Zapier or whatever, taken to their logical extreme, connecting any software to any thing (not just sass products), combined with an LLM will be able to do almost anything.

Even better basic tool composition around language will make it's simple replies better too.

thomasfromcdnjs··on GPT-5 for Developers
I understood it as that the economic relationship they have is going to make Microsoft broke somehow, be it dollars and/or just the focus of the company.
thomasfromcdnjs··on Show HN: Terminal-Bench-RL: Training Long-Horizon Terminal Agents with RL
How much did you spend?
thomasfromcdnjs··on Claude Code weekly rate limits
Would love more feedback on this, I will definitely downgrade from Max 20x if it is the case. Cost me $350 a month in Australia...
thomasfromcdnjs··on Nobody knows how to build with AI yet
Yeah, when I'm building side projects that sometimes have more traction than anticipated I build them taking many shortcuts.

I've found LLM's add lots of standard protections to api endponts, or database constraints etc than I would do on a lazy Saturday.

thomasfromcdnjs··on Show HN: Llm-benchmark – Benchmarks LLM-optimized code across multiple providers
I built it because sometimes I have a function in a codebase that needs to be a lot faster. So here you just pass that function, choose some models, it then asks each LLM to perf optimize that function.

Then you will have fn1.original.js, fn1.openai.o3.js, fn1.gemini.2.5.js, and it runs a bench mark over all of them and gives you the results.

Useful for me!

thomasfromcdnjs··on Waymo rides cost more than Uber or Lyft and people are paying anyway
Baha
thomasfromcdnjs··on Eleven v3
That doesn't sound like a problem they need to solve.

On your client you need to implement some form of echo cancellation.

← PreviousPage 3 of 27Next →