jpfr
Joined 12 years ago
Joined 12 years ago
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.
I supervised a PhD who had come to Germany and through her indirectly experienced the immigration office.
When your residence permit runs out, and your application is still being processed, you automatically get a temporary permit for the time until your application is done.
But the temporary permit arrives only a few days before the deadline. Quite a few people don’t understand that part or don’t trust the process - and get into a real panic.
For the GmbH: It’s quite easy. Google for “Musterprotokoll”. That’s a one-page document with all the statutes a company needs and a fast-track process if you want to not deviate from it. Or you get a template from the IHK homepage and adjust it.
I did it - no problemo.