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 meant commercial license
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…
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…
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.
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…
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…
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 interfaces. The path is represented as…
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. You get paid a living wage to do a PhD…
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.
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 paragraph nicely. So the role of journals and…
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)…
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/blob/master/contrib/ports...
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…
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…
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" equality constraints. Such as "the output…
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.
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.…
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…
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 meant commercial license
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…
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…
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.
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…
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…
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 interfaces. The path is represented as…
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. You get paid a living wage to do a PhD…
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.
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 paragraph nicely. So the role of journals and…
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)…
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/blob/master/contrib/ports...
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…
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…
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" equality constraints. Such as "the output…
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.
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.…
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…