Viewing profile — jpfr

Sorry you had that experience. I supervised a PhD who had come to Germany and through her indirectly experienced the immigration office. When your residence permit runs out, and yo…

Probably the second rewrite is really tight with good abstractions and little repetition. So no, the end result can still be DRY.

As the project is GPL’ed I guess they sell a commercial version. GPL is toxic for embedded commercial software. But it can be good marketing to sell the commercial version. Edit: I…

The "byte-code" coming from the query planner typically only has a handful of steps in a linear sequence. Joins, filters, and such. But the individual steps can be very costly. So …

Sometimes, but not necessarily. It depends on the competence of the DEI "figurehead". Some communities had a figurehead installed by committee who provoked negative reactions due t…

MOPSA does abstract interpretation for both C and Python. It even works across language boundaries. https://mopsa.lip6.fr/#features It also has more abstraction domains than „just“…

The problems with C are real. 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 qu…

Microkanren et al are nice! But it is becoming sort of a mono-culture where other approaches get ignored. Before Microkanren, the rite of passage for logic programming was to build…

They don‘t personally. It’s typically a training event paid by the employer.

Microtype support for LuaTeX doesn't look so bad. At least on paper... https://tex.stackexchange.com/questions/654089/microtypograp...

This is corresponds to Chapter 1.4 of SICM (Structure and Interpretation of Classical Mechanics). Although SICM doesn't expose the underlying optimization method in the library int…

Of course not. But you might get paid only a 50% salary for a PhD in the natural sciences (or liberal arts). Different fields have different cultures in that regard.

Are you an engineer? 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. Y…

I just founded in Germany. The paperwork is … okay. Not much more crazy than tax returns or internal accounting you need to do in any jurisdiction. But yes, running any organizatio…

Given the context he means the first.

Most of these are implicit with -fhardened. https://gcc.gnu.org/onlinedocs/gcc/Instrumentation-Options.h...

Exactly, everybody can publish on arXiv. And there are enough semi-predatory journals/conferences which basically accept everybody. Especially since the LLM can rewrite any paragra…

I happen to be an (associate) editor of an academic journal. What the people who critique the publication process are missing: 90% of submissions are crap - unfit for publication. …

Many embedded devices run the lwip implementation of TCP/IP. The "POSIX port" of lwip does the same. It takes the raw Ethernet bytes from a TUN/TAP device. https://github.com/lwip-…

Many researchers learn LaTeX by looking at the idioms used for the papers they really like. That includes code for Tikz figures. I hope people will use this tool only to remove the…

You could agree to have the value of the company evaluated by a neutral outsider. There are specialists for it -- on the VC side and expert advisors for the legal system and arbitr…

seconded

Modelica underneath uses DAE (differential algebraic equations) [1,2]. Think of it like a solver for many coupled differential equations. The coupling happens through "linear" equa…

Yes, this can be circumvented. But the optics are important. Imagine a backdoor planted by a Russian asset. Linux could get removed from some list of approved OS that can be used i…

Umm. There is a deep integration between OPC UA and MQTT since ca. 2017. For binary and JSON payloads, and with encryption and group key management features. I see quite a bit of u…