There's Souffle[1] that can synthesize C++ for you that you then compile with the rest of your C++.

[1]: https://souffle-lang.github.io/

The parents of millennials are baby boomers.

The parents of Gen Z are mostly Gen X.

Haifa is the only city in Israel to have two public universities (excluding branches of the Open University.)

I can see the reporter reading that he attended university in Haifa and misconstruing that to mean the University of Haifa...

That's for 2 reasons:

1. It might not be there in the place where you're looking. It exists in the m4 in the release tarballs, not in the git repo.

2. It's highly obfuscated.

m4 is somewhat obfuscated by default, that's a part of the problem IMO

Looks pretty much like bash to me. Which means... yeah.

No, as far as I understand the binary files must be pointed at here: '$gl_am_configmake' ... But I don't see how.

This: 'gl_am_configmake=`grep -aErls "#{4}[[:alnum:]]{5}#{4}$" $srcdir/`' seem to match the '####Hello####', but, as far as I can see, that's supposed to be the already converted script?! I presumed the binary files not to contain human readable strings, maybe that's the whole confusion.

Opening bad-3-corrupt_lzma2.xz in an editor reveals it indeed has the string ####Hello####. I don't know enough about lzma compression streams to explain how this appears in the "compressed" version of the payload, but it does.

I think part of it being a bad/corrupt test case means it doesn't have to be valid xz encoding. But I don't know if that even matters.

> I don't know enough about lzma compression streams to explain how this appears in the "compressed" version of the payload, but it does.

From what I've read, the payload isn't stored in the archive, but rather the test file itself is a sandwich of xz data and payload: There are 1024 bytes of xz archive, N bytes of payload, another 1024 of xz, etc.

Thanks. The riddle has been solved :)

Do you have a (safe web view) version of those files? I would like to see what they look like to a casual observer. Judging by the 'tr' assembly command I would expect the bad-3-corrupt_ligma2.xz to be somewhat recognizable as script.

Passwords are useless if only you know them.

You can use private keys like that, but people are not expected to remember them.

Papers usually use publication date, and this is a preprint - it is to be published in NSDI'24, which will be in 3 months from now.

Usually the final paper PDF, from the conference proceedings, contains the publication information.

Articles are being written about it now, cool that it's in NSDI'24 in 3 months, but that seems almost irrelevant if we're talking about it now.

Wouldn't the target audience of a preprint also benefit from knowing a rough date?

Iron Dome missiles reportedly cost $60k, and that is considered cheap.

The article clearly calls for legislative action, which isn't personal.

I have never seen a "best viewed in Chrome" alert. Maybe in a tech demo or something like that. Even Google products work fine in Firefox.

A bank I use rewrote all their sites, bigger fonts, much slower and blocks firefox, and it's not just user-agent.

There are a few government website where I live that block Firefox, although those are just checking the user-agent so easy to work around.

And yes I complain all the time about it.

I’ve never seen an alert either, but I’ve seen plenty of sites and pages that only work in Chrome. Just yesterday I was trying to pay a credit card bill and the page kept breaking in Firefox. Out of desperation I tried it in Chrome and it worked.

Do Slack huddles still require Chrome? That was the most recent one I recall bumping into

I've almost exclusively seen them on "luxury" apartment websites, where they're completely ignorable . oh, and tidepool, a diabetes data visualization website, where it is actually required.

Not an expert, but what I'm understanding is this:

With a regular simulation, whether analogue or digital, you create a mathematical model, and evaluate that model in some way to get a result, which hopefully matches the actual phenomena in whatever it is you were trying to simulate.

Here, it's more like instead of measuring the phenomena, they instead measured something that is physically related to that phenomena. There seems to be no modelling involved.

Like a scale model aircraft in a wind tunnel?

Like a scale model aircraft in a tunnel, with a fluid that behaves like air, but just enough it can flow slower. Before FEA and CFD, people did a lot of work with miniatures. I remember simulating a long metal rod for an oil rig that was a plastic pipe filled with liquid mercury so that it'd flex the same way the kilometer-long metal rod would.