jpfr

5 ms·

1.
by jpfr 1mo ago
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 your application is still being processed, you automatically g
2.
by jpfr 5mo ago
Probably the second rewrite is really tight with good abstractions and little repetition. So no, the end result can still be DRY.
3.
by jpfr 6mo ago
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 meant commercial license
4.
by jpfr 7mo ago
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 there is not much to gain from JITing the query pl
5.
by jpfr 7mo ago
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 to bad decisions. Sometimes the leadership arose na
6.
by jpfr 1y ago
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 type of objects.
7.
by jpfr 1y ago
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 quite a few more warnings for unused results. My recommendatio
8.
by jpfr 1y ago
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 a Prolog using Warren's Abstract Machine (WAM). https
9.
by jpfr 1y ago
They don‘t personally. It’s typically a training event paid by the employer.
10.
by jpfr 1y ago
Microtype support for LuaTeX doesn't look so bad. At least on paper... https://tex.stackexchange.com/questions/654089/microtypograp...
11.
by jpfr 1y ago
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 interfaces. The path is represented as polynomial. I'
12.
by jpfr 1y ago
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.
13.
by jpfr 1y ago
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. You get paid a living wage to do a PhD in most countries ac
14.
by jpfr 1y ago
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 organization is a lot of work.
15.
by jpfr 1y ago
Given the context he means the first.
16.
by jpfr 1y ago
Most of these are implicit with -fhardened. https://gcc.gnu.org/onlinedocs/gcc/Instrumentation-Options.h...
17.
by jpfr 2y ago
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 paragraph nicely. So the role of journals and conferences is n
18.
by jpfr 2y ago
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. We need some process to gate-keep. a) The venue of publica
19.
by jpfr 2y ago
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-tcpip/lwip/blo
20.
by jpfr 2y ago
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 inadvertent disclosure of commented regions and to reduce t
21.
by jpfr 2y ago
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 arbitration courts. Typically the regional chamber of commerce kee
22.
by jpfr 2y ago
seconded
23.
by jpfr 2y ago
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" equality constraints. Such as "the output pressur
24.
by jpfr 2y ago
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 in a government context.
25.
by jpfr 2y ago
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 unsubstantiated bashing lately. Especially advocating 20% sol
26.
by jpfr 2y ago
This is a big achievement after many years of work! Here are a few links to see how the work is done behind the scenes. Sadly arstechnica has only funny links and doesn't provide the actual source (why LinkedIn?). Most of the work wa
27.
by jpfr 2y ago
Universities, cities, regions and countries do have PR departments. Arguably the public image of a university is its most important asset. Because that attracts the best students, researchers and third party funding (public and private).
28.
by jpfr 2y ago
You assume that the salary is what it costs for the company to have an employee. You need to at least double that. There is overhead for the person itself (employer subsidized healthcare, office space, equipment) and there is overhead withi
29.
by jpfr 2y ago
They called it p-code at the time. The purpose was (purported) to simplify the porting between architectures. https://casadevall.pro/articles/2020/11/compiling-word-for-w...
30.
by jpfr 2y ago
I agree! The ArtHoles podcast is superb. There were some updates on his Instagram lately. Fingers crossed for more episodes. This is the first online-first content producer I'd consider paying real money for...

More ›