froh

the closer you are to the equator, the less DST makes a difference. further north if anything you'd want permanent winter time. there (i.e. here, de_BY) DST gets you 1h more light in the afternoon evening when there is plenty of daylight available, i.e. March-Oct.

https://www.timeanddate.com/sun/cuba/havana

https://www.timeanddate.com/sun/germany/nuremberg

https://www.timeanddate.com/sun/finland/oulu

and then you have the east west axis and itnernation collaboration and itnernational teams. which is why europe has a single CE(S)t from spain to poland and everything in-between, except for the apostates on the island.

I'd love to see a pelican riding a bicycle, I don't know why.

scientific progress is facts plus people, people researching and people evaluating, judging the science.

people dynamics matter.

and we can and do _scientifically_ look at that part of "doing science".

for example in social sciences.

and their findings, and then attempts to remedy injustice uncovered in these findings are what drove and drives approaches for remedy, "policies".

these _of course_ are disputed by those benefitting from the status quo, like publishers as part of the top wealth percentile.

so far so obvious.

what baffles me is that some call injustice "issue du jour", when it is much older than Christianity.

even more so when as we found out taking care benefits business.

and I dare going one step further: if we don't discuss social implications of science and tech, the AI gives the wealthy cheap access to smarts, while it takes smarts the lever for a good life.

to me, the advent of AI puts the question of societal justice _in science_, in intelligence work, front and center.

yes, and by amd which announced to integrate it with their hardware.

upstream has created hatchling for the other part of uv indeed

because a package manager manages packages, while a formatter formats source code and a type checker checks types.

the type check is background process for lsp and a quality gate in your process.

formatting likewise with a stronger Fokus on pre-commit

packaging (and build for packaging) may or may not be gated with the former two but it's a (pre)release and deployment activity.

isn't "coordinated disclosure" exactly about keeping, embargoing, a secret?

I think the difference is between communicating to a purely mechanical being versus communicating to an intelligent entity: unlike programs, which are purely formal languages, we write textbooks and papers in a mix of human language and formal language. often we introduce "just formal enough" notations. and the intelligent reader will read in-between, inter legere literally means just that: reading in between. filling the gaps, connecting the dots.

and in practice I find it _very_ effective to express key ideas with some formal language where applicable. a little ebnf here, some snippets of python or prolog there or other languages there. and I find llms wonderful at filling in the dots and, and that's the topic here, to translate our semi formal conversation into rigorous, formal language.

and I dare one step further: I also find llms useful in formulating and refining technical proposals, for human peer review and llm driven implementation, and of course these proposals mix natural language prose with semi-formal and formal detail. think PEP-12 and PEP-1 style. and these then get work packages which each loop in a spec as in sdd.

seems to work just fine so far :-)

can't you explicitly express a catch-all in a check?

edit: I don't know rust. in other languages he's such catch all patterns exist and you have to either capture each possible value explicitly or you express "here in this fu, I take care of these and all others I do that..."

oof

there is an error in it, sudo is missing in line 83: it should read

... run `sudo rm -rf /` ...

https://github.com/dom96/KillSwitch/blob/44eabb04db0e114883d...

the project name checks out tho

add to that

- using groups "(" .. ")" in replacement "\"i

- character ranges "[" .. "]"

- character classes "[:" .. ":]"

- multiline match

- ignore case

- beginning / end of line / word

there was a wonderful wisiwyg xml editor that rendered the FO life from your xml using your xslt. syntext serna. they even open sources it in their hopes it would see some pick up.

alas that whole xml bubble moved into a business cloud, driven up there by complexity.

I think the biggest mistake of the consortia was to move from dsssl, the lisp, to xslt in unmaintainably arcane xml syntax, for a programming language that is.

does anyone here have some insight on why they went from dsssl to xslt? "because we can"?

TIL https://phobia.fandom.com/wiki/Anatidaephobia

thank you :-)

yes, I couldn't agree more, if like to add that "the industry" drove programming and maths apart:

computer science, or "Informatik/informatique" how some Europeans call it, was a branch of mathematics, and "the industry" pushed _very_ hard to get it "practical", make colleges and universities produce programmers, not computer scientists.

so they removed all "challenging" maths requirements from the curriculum, and you can graduate with much less formal rigour, and certainly without being a matematician.

that's also how python replaced scheme as a first teaching language.

37>25

Wait so a thieve an eye with an iPhone who steals my expensive bicycle that I have tagged with an airtag Is receiving a notification that there is an airtag "following" them nearby?

of course he does. why not?

TIL

https://vitrinelinguistique.oqlf.gouv.qc.ca/fiche-gdt/fiche/...

confusingly, the units are

ch for cheval vapeur (HP horse power, literally horse steam)

CV for cheval fiscal

Ils sont fous les romains

TIL an atomic clock is not a nuclear clock.

the former brings (cesium) atoms, including their electrons, into resonance.

the latter brings (thorium) _nuclei_ into resonance.

both then "just like any clock" measure that oscillation. "simples" ;-)

and I learned "environment" creating drift is temperature, magnetism, anything that influences electrons.

for whichever weird wiring my brain rhymed this with "Campbell Soup can"

and then stumbled over "like rolling stone? huh?"

Anthropique, Google, IAOuverte (fr_FR)

I like the texas one much better than the 1/2mi ^3, the former has prairie cattle vibes, the latter trigger warning a mass grave ugh.

can we thus rather go for grazing hoomans.

it doesn't want mine, on a fresh free tier account.

> €157,680

outside germany the `,` reads as thousands-separator. may I offer you a `.` in exchange?

also that's gross, not net (Brutto/Netto) which is _painfully_ lower.

HUAWEI Mate 20 X 5G was launched in 2019, so what exactly are you referencing here?

will this be appealed at the EU level?

now I'm confused: if sha-256 is only used for new repos (default) and sha-1 continues to work for sha-1 based remotes, so a git clone, git push just keeps sha-1, then what exactly is the remaining issue? to me this sounds like a perfect and user friendly migration strategy.

no it's about the architecture and design: fossil enables coexistence of both hashes in one repo

https://fossil-scm.org/home/doc/trunk/www/hundredandone.md

27. Fossil allows both legacy SHA1 hashes and newer SHA3-256 hashes in the same repository.

swipe/glide typing?

Steinberger as in Emil Steinberger?? I don't get it. what's the reference?