Isn't Israel a defacto theocracy too?

No, Israel is not using religious norms or holy scriptures as the law, and establishes no state religion. Iran's constitution directly says that the norms of the Sharia law are its foundation, and makes Shia Islam the state religion.

The rabbinical courts exist for sorting out religious issues, such as religious marriages and divorces of Jewish citizens. Judaism is not even special-cased: «Such courts exist for the recognized religious communities in Israel, including Muslim courts, Christian courts, and Jewish Rabbinical courts.» (Wikipedia).

The Basic Laws, which sort of comprise the makeshift constitution of Israel, don't seem to make any religious references, but rather refer to the founding UN principles like human rights.

My apartment rental agreement had a clause all "all disagreements are to be resolved in rabbinical court". Reach of the religious courts is unlimited.

Even civil courts are allowed to refer to holy texts if the law is not clear.

i believe it's only in some specific cases when both parties agreed to defer to religious laws.

could you please show me any law in israel, that gives blanket approval to civil courts to refer to holy texts if the law is not clear ?

Wow, that's wild! :-/

you know such a clause in a rental agreement would be legal in the US as well, right? Binding arbitration clauses are legal in rental agreements at least in many parts of the US and agreeing to a rabbinical court to be the arbitrator is legal as well.

I would say the US is too at this point, given continued references to god by its leaders. A country where a senator can say he supports a certain foreign policy because it's written in the Bible?

Interesting observation. I find myself using ChatGPT to find the proper words for something. I describe my problem or algorithm in a naive way, and usually ChapGPT will present some naive python solution. But when pressed ChatGPT will tell you this problem is actually say Graph Theory. But it will still fall back to the naive python solution.

So then I just start a new "conversation" and ask which graph algorithm applies to my problem and instead of a naive solution I am pointed to an optimised algorithm and a usable library that implements it.

No they are not popular in the Netherlands. Easily 90% of cargo bikes are two wheeled, because tricycles are really only for novice/disabled cyclists. Going above say 20km/h is just plain dangerous with a tricycle, definitely not stable at higher speeds in even the most gentle curve

There are a couple of advantages of tricycles that go beyond novice/disabled. They don’t need a kickstand, so they’re easy to park when loaded. They don’t need balancing at stops. They generally have better load capacity.

There’s also tricycles which can lean into a corner which makes them similarly agile as two-wheeled bikes. They’re still wider, though.

Trikes are certainly not for long distances and a sporty style, but as a short distance cargo/kids hauler, they’re cheap, reliable and effective. I know quite a few people Who are happy with them.

I'm in Limburg and I'd say three wheeled cargo bikes are closer to 30 to 40% of the market

And Siemens does it still, even though they translate words to English. Using Tia Portal, one "downloads" a program from the host to the PLC.

That's pretty common terminology in PLC's though. You also download to Koyo PLC's from Automation Direct.

Same with Rockwell (Allen-Bradley) PLCs. You download a program to the PLC, and upload a program from a PLC.

I always assumed the naming confusion for those was just a matter of perspective; if you are thinking about a "download" from the perspective of the PLC receiving the file or the user sending the file.

Also in embedded systems development, one downloads the application to the target device.

I more commonly see that called “upload” (Arduino, platform.io, avrdude, esptool) rather than “download”.

That is likely, for lack of a better word, an Arduino-ism. Compare a search for "ISP downloader" vs "ISP uploader"; the latter yields exclusively Arduino results, while the former has results for not only Arduino but other MCUs and even FPGAs and CPLDs' programming devices as well as JTAG.

Well, at least, they don't "play them in" :)

I have transitioned to news.ycombinator.com/active now, works for me now

I use hckrnews.com

Same, and FWIW I just recently noticed that [flagged] stories will continue showing up on the 'Top X' feeds (if they're popular enough), but they drop off if you're browsing the 'Homepage' feed.

I love it that I can just try it without signing up or anything, a rarity these days!

I asked it to generate slides on a topic I know something about, and in my native language. On the one hand, the result is pretty mediocre, but on the other hand it is truly amazing that one can whip up a presentation on any topic, in any language, in a matter of minutes. I didn't review the result carefully, but already on first glance there was a wrong image, and some pretty ugly use of language. So the quality is below what i would expect. But as a starting point, I can imagine this is a huge time saver for a teacher if they want to discuss a topic spontaneously, and only have 20 minutes to prepare.

Even before the rise of AI I see lots of low effort lesson materials being used, where math questions are algorithmically generated by uninspired programmers. Or multiple choice questions where technically multiple answers are correct, but only is accepted. And there is no room for discussing why one option does or does not apply, just a simple right/wrong and next question. So even though ai generated content might be of so-so quality, unfortunately an interactive session with chapgpt is probably much more educational than the ("pre-AI") crap that is sometimes used today

>but already on first glance there was a wrong image

Yeah the images are going to be mostly match, but there is a "swap" button to choose more suitable images where the ai has picked poorly.

>and some pretty ugly use of language

Was this in your native language? I'm not sure how well ChaGPT does outside of English.

>But as a starting point, I can imagine this is a huge time saver for a teacher if they want to discuss a topic spontaneously, and only have 20 minutes to prepare.

Yes absolutely! This is the goal of SlideHero.

>Even before the rise of AI I see lots of low effort lesson materials being used

At the end of the day, it is still up to the teacher to create worthwhile resources, this was true before AI and is still true today :)

Thank you for your feedback.

Indeed swapping the images was easy and intuitive, I should have added that. The "ugly language" was a bit unexpected, as in general the support for Dutch is surprisingly good. Maybe the combination of the prompt and the translation, and the mixed used of languages. Perhaps if all the prompts were translated to a language of choice (an the user would be prompted for a language) it would work better. But maybe you never even considered making a multi-lingual tool, and just out of the box it more or less already supports that. This would have been unthinkable just a few years ago, truly amazing!

How do you combine a (full time?) teaching job with building such a tool? It feels way more than some hobby project. Congrats on the release!

>Perhaps if all the prompts were translated to a language of choice

Yes you're probably right.

>But maybe you never even considered making a multi-lingual tool

I think there is a way to produce output that is in the desired language, but I honestly haven't looked too deeply into it. For now I am going to stay focused on English though.

>How do you combine a (full time?) teaching job with building such a tool? It feels way more than some hobby project

With many late nights and coffee, lots of coffee :)

>Congrats on the release!

Thank you I appreciate the kind words.

Great idea, I checked a few. Searching for a value in an array didn't work, and then the hash table visualisation makes no sense to me at all. So overal feeling kind of meh about this

Also check out the follow up: https://nickmcd.me/2023/12/12/meandering-rivers-in-particle-...

In similar vain, but the with cadquery and Jupyter notebook is the screwdriver stand I once made:

https://github.com/tdamsma/Screwdriver-rack

add a comma after he last argument to make black explicitly use multi-line formatting

  parser.add_argument(
    "--stdout",
    choices=("true", "false"),
    default="true",
    help="log data to stdout",
  )

It also removed the superfluous spaces in the keyword arg assignments

Sweet! Thanks! I did not know that, and I've no problem with a terminal comma there.

My point stands - I do not think those spaces are superfluous. Consider the following:

    a = 4

    def foo(i: int):
        return "A" * i

    class Spam:
        foo = 4
        bar: int = 6

        def eggs(self, n: int = 5):
            return foo(i=n)

Why is it "i=n" instead of "i = n" when every other use of "=" has spaces?

For this one case of a short function with simple names, okay, I don't always use spaces.

But otherwise I think the lack of spaces makes it the code harder to read, and thus "uglier".

you can discuss the spaces and lack there of here: https://stackoverflow.com/questions/8853063/pep-8-why-no-spa...

The rest of us just follow the PEP8 style guide and move on

The question was 'What rules do you consider ugly?'.

I think that rule is ugly. I explained why.

If you don't like the thread, move on.

The point they're trying to make, I think, is: Black/Ruff format, or any other formatter necessarily need to operate on universal rules. In context, sometimes these rules don't make sense. I still would love some kind of stateful linter and formatter, where it suggests me changes that I can then accept or ignore (and won't be told about again).

Formatters _are_ a compromise. They make your coworkers' code nicer, and your code worse.

The point I was trying to make is to give examples of rules I thought were ugly, to give a concrete response to paulgb's request for such a rule.

One, as I learned, could be resolved by a simple use of a terminal ",".

The other is how it removes spaces from around "=" for keyword arguments, but not for other uses of "=".

I can't provide much more as I rarely use black. As a single developer, I don't have to worry much about that sort of compromise. ;)

The removal of spaces around keyword arguments is per the PEP8 style guide. There is no point arguing with the style guide. It is there to end discussions. I also do not agree with everything in the style guide. But I keep that to myself. Because a single universal (but flawed) style guides >> competing style guides >> complete anarchy

Yes, I even pointed out how it's in PEP 8.

That I think it's wrong and ugly is an entirely different point.

PEP 8 specifically says it it not universal:

> Many projects have their own coding style guidelines. In the event of any conflicts, such project-specific guides take precedence for that project. ...

> However, know when to be inconsistent – sometimes style guide recommendations just aren’t applicable. When in doubt, use your best judgment. ...

> Some other good reasons to ignore a particular guideline:

> When applying the guideline would make the code less readable, even for someone who is used to reading code that follows this PEP.

I think always omitting spaces there makes it less readable, even for someone who is used to reading PEP 8.

That makes me more compliant to PEP 8 than black. ;)