anovick

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 for them and/or that don't get considered due to high costs (due to specialization skill).

I read OP as a realization that the costs have fallen, and thus we should see formal verification more than before.

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 previous example, an ISO C++ can be compiled by GCC but also can be compiled by Clang (and many other compilers).

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 surely see (compared to past generations) smaller organizations being able to achieve market dominance, often against much more endowed competitors. And this will be the new normal.

* Only in the U.S.

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 -> Incubator -> "list of projects we’d love to get started!":

### Built with Israel

Many companies and NGOs unwittingly use tools created by Israel

### BDS in your bank account

Build an app that can apply BDS to your bank account.

or

website -> Blog -> "T4P Incubator Alum Boycat Is Teaming Up With BDS"

If you can't figure out what the first website link is in the README that's on you. I'm not gonna promote that hateful organization's 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 we need more "context"

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 mechanisms between multiple SQLite instances.

I believe Turso offers some solution of this kind, but not sure if that's open source or not.

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] https://dl.acm.org/doi/10.1145/3639271

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 meaningful data for ML predictions) the ML model predicts on subsequent entries, and asks the user for approval (which feeds a reinforcement learning model)

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` - `recipe`

This would get out of hand quickly.

There should be a hierarchy of tags (categories): `cupcakes` in `baking` in `oven cooking` in `recipe`

The only tag needed in this case for the note would be `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 like there's only a server in US, which meant 200+ Ping for me

Looks pretty cool tho. Good luck working on the rough edges!

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 languages other than English.

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 Jewish-Israeli can. In fact, Arabic is an officially recognized language by the state of Israel, and throughout the country, every public service has signs in Arabic alongside Hebrew.

- Jews are not a minority in Israel, they comprise 78% of the population.

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...

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 (for Statistics, Data Science, Machine Learning etc.). These data structures afaik are mutable, however (for performance reasons), so at least the aspect of immutability from Clojure cannot be easily integrated with the Python ecosystem.

Congrats!

Could you compare the language with Clojure?

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 specifically voting for him (his party has almost x2 as many votes as the second-biggest voted party).

Democracy doesn't work only when the representatives that you like are elected.

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 talks between '2000 and '2001, the Palestinian leader at the time, Arafat, with control over the main armed faction in PLO at the time, Fatah, has failed to thwart the waves of violence against Israeli citizens, for the following 4-5 years, known as the Second Intifada.

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 the Oslo Accords ('2000 Camp David Summit, '2001 Taba Summit, '2007 Olmert offers etc.)

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 defend itself from Hezbollah forces in Southern Lebanon that have engaged in heavy indiscriminate rocket launching against Israeli civilian populations in the Northern Israel. At least 65,000 Israeli civilians have been forced to evacuate from their homes into temporary dorms until this Hezbollah threat is removed. Hezbollah, an Iran-backed terrorist org with ties to Lebanon parliament, must disengage their troops, as they are breaking the UN Resolution 1701 of demilitarization of the Southern Lebanon area.

Rocket launching from South Lebanon has started concurrently with Hamas attacks against Israel that started on October 7th in the Southern Israel.

these shells have been redirected to Israel and are being used in Gaza

IDF usually doesn't use this ammunition against target threats in the Gaza strip. The most common explosives used are the Israeli air-force's targeted airstrikes, which are very precise and are performed to limit casualties of non-engaged civilians in the conflict.

these shells have been redirected to Israel and are being used in Gaza in service of genocide, which the International Court of Justice has determined to be likely to be occurring

There is no genocide taking place in Gaza. There is war, yes, and civilians die too, yes, some even plausibly innocent, but the attacks are not with intent to target civilians. IDF commanders don't issue commands that break humanitarian limits and IDF soldiers adhere to their commanders strictly (outlier cases are dealt with promptly by military court).

FYI the ICJ's court of justice has NOT determined that a genocide is likely to be occurring, in fact it only issued a provisional statement that humanitarian care for the population of the Gaza Strip should continue, which Israel has already been doing for many months now, and will continue to provide, with enabling the entry of 100-200 or more trucks full of food every day, gasoline, and other humanitarian products etc.