logoalt Hacker News

jacquesmtoday at 1:43 PM1 replyview on HN

Ah, the true Scotsman version of 'not that kind of app'.


Replies

auggierosetoday at 3:23 PM

Well, there are apps that you can only do native, not in a browser, we agree on that. But I also think that the browser is actually providing a very compelling standard OS with batteries included for many kinds of applications, and now there is even webGPU. I am currently building a local-first interactive theorem prover with built-in IDE as a PWA, in TypeScript, and you have really cool tools you can use as a foundation for something like this, such as ProseMirror and IndexedDB. Of course the raw prover can also be run from the command line via node. Claude Code is also very useful in this environment. Yes, different browsers are an issue, but so much works on all modern ones.