What for? there's already Gemini CLI (https://github.com/google-gemini/gemini-cli) for that, unless I'm missing some crucial feature not supported by that.
OP seems not broadly applicative to corporate software development. Rather, it's directed at the kind of niche, mission-critical things, that not all of which are getting the formal verification solution that is needed…
I understood it that way too. Only that it fails in that interpretation. Just because currently the most popular method for parsing JSDoc utilizes TypeScript-related tooling doesn't mean we should associate them with…
That's absurd. JSDoc is a comment formatting standard. The tooling used to parse it is independent. In the same vein, a file of ISO C++ (take any version) code is not "GNU C++".
Already-established top-of-the-market apps will not be dethroned overnight. For them, it will be a slow death (e.g. similar to how Figma unseated Adobe in the digital design art space). As for new app markets, you will…
* Only in the U.S.
[flagged]
Is Turso open-source? is libSQL open-source?
> I'm not sure to which organisation you were referring [...] It's worth noting that there are a lot of external links [...] none looked at the surface level to be linked Literally the first link in the README. website…
- The project's Github page links to an organization that promotes anti-Israel initiatives (BDS) - The project's web page blocks users from Israel - The project's developer delegitimizes Israel in response on HN Surely…
That project goes against the spirit of free software: > "Israel" is blocked https://news.ycombinator.com/item?id=42104198
How does one use it to identify bounding rectangles of images/diagrams in the PDF?
In this multi-tenant arrangement, you run into synchronization problems. Developers should expect users to connect to the service using multiple devices (clients). AFAIK bare SQLite doesn't offer synchronization…
Waiting for text-wrapping around images to be supported. https://github.com/typst/typst/issues/5181
> Is there a commercial strategic term for denying your adversaries oxygen? There's Microsoft's Embrace, extend, and extinguish https://en.wikipedia.org/wiki/Embrace,_extend,_and_extinguis...
SQL (and RDBMS in general) has its limitations, particularly with regards to recursive operations. An extended Datalog[1] can provide performance optimizations not available to RDBMS. [1]:…
Happy to see that you have considered this IMO it would be interesting to try to combine the two approaches (curation + auto tagging). It starts out with the user scaffolding an initial hierarchy, then (after enough…
Seems like the tag system is flat, which is a big limitation on the organization capability. For example, I noticed that in the demo access app, there's a note about cooking, and it has 4 tags: - `baking` - `cupcakes` -…
After choosing character, loading the game, got an alert with some error about wasm. Second time I tried, was able to load the game. Sadly my 2012 Thinkpad is not able to keep up even on Low graphics (12 FPS) and looks…
Thanks!
There's one problem with Claude's chat box where ``` opens an intrusive code block box that's hard to close/skip. But I also agree that Claude 3.5 Sonnet is giving very good results. Not only for coding, and also for…
Can't access the site. It says: "Sorry, you have been blocked You are unable to access imranr.dev"
There's no similar context because the Apartheid system that existed in South Africa has no resemblance to today's Israel. In particular: - There's no racial segregation laws; an Arab-Israeli can travel anywhere a…
I love this writing style, very easy to read. Best of luck with the optimizations effort! looking forward to hearing more about this project.
Main reason I'm still using Chrome and can't switch to Firefox: https://connect.mozilla.org/t5/ideas/feature-suggestion-fire...
What for? there's already Gemini CLI (https://github.com/google-gemini/gemini-cli) for that, unless I'm missing some crucial feature not supported by that.
OP seems not broadly applicative to corporate software development. Rather, it's directed at the kind of niche, mission-critical things, that not all of which are getting the formal verification solution that is needed…
I understood it that way too. Only that it fails in that interpretation. Just because currently the most popular method for parsing JSDoc utilizes TypeScript-related tooling doesn't mean we should associate them with…
That's absurd. JSDoc is a comment formatting standard. The tooling used to parse it is independent. In the same vein, a file of ISO C++ (take any version) code is not "GNU C++".
Already-established top-of-the-market apps will not be dethroned overnight. For them, it will be a slow death (e.g. similar to how Figma unseated Adobe in the digital design art space). As for new app markets, you will…
* Only in the U.S.
[flagged]
Is Turso open-source? is libSQL open-source?
> I'm not sure to which organisation you were referring [...] It's worth noting that there are a lot of external links [...] none looked at the surface level to be linked Literally the first link in the README. website…
- The project's Github page links to an organization that promotes anti-Israel initiatives (BDS) - The project's web page blocks users from Israel - The project's developer delegitimizes Israel in response on HN Surely…
That project goes against the spirit of free software: > "Israel" is blocked https://news.ycombinator.com/item?id=42104198
How does one use it to identify bounding rectangles of images/diagrams in the PDF?
In this multi-tenant arrangement, you run into synchronization problems. Developers should expect users to connect to the service using multiple devices (clients). AFAIK bare SQLite doesn't offer synchronization…
Waiting for text-wrapping around images to be supported. https://github.com/typst/typst/issues/5181
> Is there a commercial strategic term for denying your adversaries oxygen? There's Microsoft's Embrace, extend, and extinguish https://en.wikipedia.org/wiki/Embrace,_extend,_and_extinguis...
SQL (and RDBMS in general) has its limitations, particularly with regards to recursive operations. An extended Datalog[1] can provide performance optimizations not available to RDBMS. [1]:…
Happy to see that you have considered this IMO it would be interesting to try to combine the two approaches (curation + auto tagging). It starts out with the user scaffolding an initial hierarchy, then (after enough…
Seems like the tag system is flat, which is a big limitation on the organization capability. For example, I noticed that in the demo access app, there's a note about cooking, and it has 4 tags: - `baking` - `cupcakes` -…
After choosing character, loading the game, got an alert with some error about wasm. Second time I tried, was able to load the game. Sadly my 2012 Thinkpad is not able to keep up even on Low graphics (12 FPS) and looks…
Thanks!
There's one problem with Claude's chat box where ``` opens an intrusive code block box that's hard to close/skip. But I also agree that Claude 3.5 Sonnet is giving very good results. Not only for coding, and also for…
Can't access the site. It says: "Sorry, you have been blocked You are unable to access imranr.dev"
There's no similar context because the Apartheid system that existed in South Africa has no resemblance to today's Israel. In particular: - There's no racial segregation laws; an Arab-Israeli can travel anywhere a…
I love this writing style, very easy to read. Best of luck with the optimizations effort! looking forward to hearing more about this project.
Main reason I'm still using Chrome and can't switch to Firefox: https://connect.mozilla.org/t5/ideas/feature-suggestion-fire...