anovick

4 ms·

1.
by anovick 9mo ago
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.
2.
by anovick 9mo ago
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 for them and&#x2
3.
by anovick 9mo ago
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 each other. To my
4.
by anovick 9mo ago
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++".
5.
by anovick 9mo ago
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 surely see (compared
6.
by anovick 1y ago
* Only in the U.S.
7.
by anovick 1y ago
Is Turso open-source? is libSQL open-source?
8.
by anovick 2y ago
> 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 -> In
9.
by anovick 2y ago
- 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 we nee
10.
by anovick 2y ago
That project goes against the spirit of free software: > "Israel" is blocked https://news.ycombinator.com/item?id=42104198
11.
by anovick 2y ago
How does one use it to identify bounding rectangles of images/diagrams in the PDF?
12.
by anovick 2y ago
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 mechanisms between mult
13.
by anovick 2y ago
Waiting for text-wrapping around images to be supported. https://github.com/typst/typst/issues/5181
14.
by anovick 2y ago
> 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...
15.
by anovick 2y ago
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]: https://dl.acm.org/doi/10.1145
16.
by anovick 2y ago
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 usage to provide meaning
17.
by anovick 2y ago
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` - `oven cooking`
18.
by anovick 2y ago
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 like there's onl
19.
by anovick 2y ago
Thanks!
20.
by anovick 2y ago
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 lan
21.
by anovick 2y ago
Can't access the site. It says: "Sorry, you have been blocked You are unable to access imranr.dev"
22.
by anovick 2y ago
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 Jewish-Isra
23.
by anovick 2y ago
I love this writing style, very easy to read. Best of luck with the optimizations effort! looking forward to hearing more about this project.
24.
by anovick 2y ago
Main reason I'm still using Chrome and can't switch to Firefox: https://connect.mozilla.org/t5/ideas/feature-suggestion-fire...
25.
by anovick 2y ago
Cool project! Wondering how custom immutable data structures fit in with the Python ecosystem. Particularly, I know that NumPy arrays and Pandas Series/DataFrames are the popular data structures used in research computing in Python (fo
26.
by anovick 2y ago
Congrats! Could you compare the language with Clojure?
27.
by anovick 2y ago
You claiming to have been Israeli in the past (what does that even mean?) does not give you any greater validity in criticizing Netanyahu. A majority of Israelis voted for this government's representatives, including Netanyahu, some sp
28.
by anovick 2y ago
Palestinian leadership has not shown willingness to take peace offerings that would improve the lives of their people - '2000 Camp David Summit offer - '2001 Taba Summit offer - '2007 Olmert offer In fact, during the peace ta
29.
by anovick 2y ago
What does playing nice look like to you, if not: - Giving up Sinai for a peace treaty with Egypt - Giving up access to the Temple Mount for a peace treaty with Jordan - Repeatedly offering peace deals to the Palestinian leadership following
30.
by anovick 3y ago
> these shells have been redirected to Israel and are being used in Gaza The front in Gaza is not Israel's only wartime front, not in the current conflict and not during past conflicts: Currently, Israel needs this ammunition to de

More ›