anovick
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.
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).
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++".
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.
You speak about others using propaganda, yet your unsubstantiated claims mixed with keywords that evoke strong emotions, are exactly the kind used for propaganda.
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 web page blocks users from Israel
- The project's developer delegitimizes Israel in response on HN
Surely we need more "context"
> "Israel" is blocked
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.
There's Microsoft's Embrace, extend, and extinguish https://en.wikipedia.org/wiki/Embrace,_extend,_and_extinguis...
An extended Datalog[1] can provide performance optimizations not available to RDBMS.
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)
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`
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!
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.
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.
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.
Could you compare the language with Clojure?
Who said that? where was it verified ? in other words, citation needed.
> as soon as Gaza is resolved, he's likely to be ousted
Contrary to this claim, polling in Israel shows that he's still the most preferred head of state compared to his political oppositions.
> face criminal charges
Why mention this if not to reinforce your (unfounded) conviction that the person is illegitimate and unworthy of leadership? I assume you are a western liberal, so what happened to the judicial principle of "innocent until proven guilty"? I'm sure you'd be the first to spread the word if allegations are thoroughly dismissed?
--
Just realize that this obsession with delegitimizing the persona of a democratically-elected head of state is condescending in tone, and intellectually dishonest in substance.
You're essentially claiming that (Israelis? you didn't specify) are war-hungry and can't wait to spill some blood. Which is clearly contradicted by how this round of hostilities started.
You might also be actually referring to Jews, in which case that would be an antisemitic remark, too.
"Netanyahu wants an invasion of Lebanon"
Wonder how the President of the United States would respond if, for example, California was under attack, and let's say, San Diego residents had to evacuate from their homes due to the security threats of having rockets/exploding drones launched towards them and enemy commando troops threatening ground invasion.
Would be strange to then say "Biden wants an invasion of Mexico"