So no, the end result can still be DRY.

Edit: I meant commercial license

So there is not much to gain from JITing the query plan execution only.

JITing begins to make more sense, when the individual query plan steps (join, filter, ...) themselves be specialized/recompiled/improved/merged by knowing the context of the query plan.

Some communities had a figurehead installed by committee who provoked negative reactions due to bad decisions. Sometimes the leadership arose naturally or just turned out very competent.

https://mopsa.lip6.fr/#features

It also has more abstraction domains than „just“ the type of objects.

At the same time, the tooling has gotten much better in the last years.

Clang-analyzer is fast enough to run as part of the CI. Newer gcc also give quite a few more warnings for unused results.

My recommendation to the project is to

- Remove all compiler warnings and enable warning-as-error

- Increase the coverage of unit tests to >80%

That is a lot of work. But that's what is required for high-criticality systems engineering.

Before Microkanren, the rite of passage for logic programming was to build a Prolog using Warren's Abstract Machine (WAM).

https://direct.mit.edu/books/monograph/4253/Warren-s-Abstrac...

It’s typically a training event paid by the employer.

https://tex.stackexchange.com/questions/654089/microtypograp...

Although SICM doesn't expose the underlying optimization method in the library interfaces. The path is represented as polynomial. I'd have to check if they also do gradient descent.

https://groups.csail.mit.edu/mac/users/gjs/6946/sicm-html/bo...

Come to Europe. PhD candidates are not treated as students. They are treated as adults, and get the salary of an (entry-level) engineer with a master degree.

You get paid a living wage to do a PhD in most countries actually.

If this is about (your) kids? Send them to Europe for higher education. Many universities with great international ranking have virtually no tuition. But they can be quite competitive in terms of getting a passing grade.

Not much more crazy than tax returns or internal accounting you need to do in any jurisdiction.

But yes, running any organization is a lot of work.

https://gcc.gnu.org/onlinedocs/gcc/Instrumentation-Options.h...

So the role of journals and conferences is not to prevent "the word getting out". It is to provide value by a curated list of on-topic and high-quality publications.

So no need to wade through tons of crap. Especially for PhD students who might take more time to detect crap as such.

In my experience, the publications at the good venues get a lot more eye-balls and by consequence citations. So there seem to be a lot of people who like this role as a "filter" for what to focus on.

What the people who critique the publication process are missing: 90% of submissions are crap - unfit for publication.

We need some process to gate-keep.

a) The venue of publication is a good signal, whether the time to read a paper is well-spent. b) The PhD students learning the craft need objective feedback. The supervising professior/university often has the incentive to "just submit" -- even if they know that a publication does not meet the quality standard.

Before peer-review, somebody also needed to make a decision on what to publish. This typically fell to a single individual. The editor or some well-known member of the community who could recommend a paper for publication. On old journal issues they even mention the "recommender".

So the question is not whether peer-review is bad, the question is which alternative gate-keeping process would be better. Otherwise we will drown in crap publications (even more) and the PhD students don't get a honest feedback signal upon which they can improve their craft.

The "POSIX port" of lwip does the same. It takes the raw Ethernet bytes from a TUN/TAP device.

https://github.com/lwip-tcpip/lwip/blob/master/contrib/ports...

That includes code for Tikz figures.

I hope people will use this tool only to remove the inadvertent disclosure of commented regions and to reduce the file size. But keep the LaTeX source intact otherwise!

Where I am from (Germany), many founders agreements refer to a neutral arbitration body to resolve conflicts regarding the value of company shares. Typically the agreement requires that you attempt an arbitration process before triggering a real lawsuit.