jpfr

To be clear, this is not a new cloud-hyperscaler.

Rather, different providers can offer services and (compute) nodes with different levels of certification / geographic location.

So a government agency / hospital / critical-Infrastructure on can use cloud offerings without loosing „digital sovereignty“ by depending on single providers or outside actors.

Faxes are "signature-proof" for contracts. Scanned documents in an email are not.

That's the law being broken. Not the tech.

The French minister of economy (and finance) is very clear on the goals of GAIA-X. Just watch these two minutes:

https://www.youtube.com/watch?v=g9kJrwkfNp4&t=1320

The goal is not to built yet-another-hyperscaler. The existing hyperscalers will integrate in GAIA-X.

Rather we want to give users the power to see where their data is stored and to control the use of their data if they choose to share it in an "ecosystem".

Many EU countries are scared to put their data from public administration / hospitals / ... into a cloud where lawful interception could be enforced via the US Cloud Act or similar.

That's because in such a big project, you have to start with the goals and the guiding principles.

More concrete specs and technologies are being built, but not ready to show.

One of the authors of the "technical architecture document" here. AMA, but I cannot share in-progress work.

Unfortunately, this comparison uses Guile 2.2. Guile 3 is out and has greatly improved the performance via Wingo‘s JIT.

AFAIK the biggest point that brought Guile-Emacs to a standstill is the internal string representation of Emacs that is different from Guile’s native format.

Quite a few new languages generate C code for the “backend” of their compiler. For example ATS and the ZZ language.

This helps bringing these languages to embedded targets with closed toolchains (with an existing C compiler).

Will there be developments to use a subset of C as a “portable assembly” in a standard way? Like there is WebAssembly for JavaScript.

C11 has seen new features, such as Generic Selection. Is the current language standardization converging (just adding clarifications, removing the surface for undefined behavior, etc.) or is C still growing with new features?

In other words, will the C standard be effectively “done” at some time in the future?

The same is happening with Firefox. Many "infrastructure" software projects have switched to time-based releases. Say, a release every 6 months.

So there is no notion of big or small releases. Hence the seemingly fast increase of version numbers.

As you write, plants can do this quite efficiently via photosynthesis. So there is at least one working example where CO2 capture is resource-efficient (even solar-powered). From photosynthesis we get sugar. From sugar we can get to raw (solid) carbon for long-term storage.

Forests are not the only option. Imagine large installations with tanks of algae under a white canopy. I imagine the economies of scale are huge once this is ramped up to industrial levels.

The question is who will pay for it. Nobody wants to indirectly subsidize coal plants on another contintent.

You are working on the most urgent and important topic that I know of. But it is also very hard to pull through. I wish you the best success.

Here are two recent startups in the field with multi-million funding. They were serious approaches. Many people involved with good planning, etc. They still fizzled out when it came to installing their first capacity.

https://www.power-technology.com/news/newsgaelectric-receive...

https://www.greentechmedia.com/articles/read/lightsail-energ...

I believe a reason for the funding problems is the high uncertainty for the economics of storage. Electrical energy is traded in a market. And your trading strategy in the market has a big impact on whether you earn money. Without solid numbers for energy storage and the expected trading outcome, investors will have a hard time.

The practice of checking people's accent to filter out foreigners is as old as recorded history. Literally. And with many examples following since the first mention in the Hebrew Bible.

https://en.wikipedia.org/wiki/Shibboleth

The analysis is incomplete. It does not take services into account.

Yes, Germany has a positive trade balance in goods. But the trade balance in services is negative. This ... well ... balances the balances.

The UK has shifted its economy from production to services. Hence the negative trade balance for physical products excluding services.

That’s LLVM as a JIT compiler. In pure byte-code interpreter mode, Julia is quite more responsive.

This has to be upvoted more! There was already a lot of talk about LuaJit being unmaintainted last year. When Mike Pall was even more active.

They probably used an analog computer for the simulator.

Really interesting technology that is barely remembered today.

http://www.analogmuseum.org/english/examples/lfsim/

Classifying obvious murders as suicide often happens if intelligence services have a stake in the investigation. That doesn't mean they want to bury the case. They could try to do an investigation above the "pay grade" of the local cops who otherwise would have a mandate.

All C compilers I know either have VLA or alloca. In one of my projects, a bit of macro magic uses either VLA or alloca to generate a temporary array. Works great! I don't have further requirements here.

Please explain what you mean by "safe" in this context.

This is all good and well. But why XeTeX as a starting point instead of LuaTeX?

Most distributions started the transition from pdfTeX to LuaTeX as the main implementation. And the code from the new translation from the original Pascal to C is pretty nice.

And LuaTeX also has UTF8 support and modern font handling.

Is the current MSVC STL still derived from the original Dinkumware STL?

It’s surprising to see it Apache licensed if that is the case. It seems Plauger is still selling it to other specialized compiler vendors.

https://en.m.wikipedia.org/wiki/P._J._Plauger#Dinkumware

No new commits since January.

https://github.com/LuaJIT/LuaJIT

Link?

GDB can be driven remotely since a long time.

Emacs and Eclipse both integrate GDB via the MI interface. LLDB supports it as well. https://sourceware.org/gdb/current/onlinedocs/gdb/GDB_002fMI...

What is the advantage of the debug adapter protocol against the existing debugger--editor integration protocols?

Probably it took ages for the first invocation. Because that is when the compiler has to produce native code. The compiled codes then is super fast. Just invoke it a second time (in the REPL) to see the difference.

That is the justification for the bomb for the American public.

Many Japanese cities (sixty-ish) were destroyed by traditional firebombing. For the Japanese, Hiroshima and Nagasaki simply meant "two more cities".

Two days after Hiroshima, Russia declared war against Japan. So their strategic position in the war became hopeless. Historians believe Russia entering the war shaped the surrender much more than the atomic bomb.

https://nationalpost.com/news/did-the-atomic-bombings-of-hir...

The above assumes that the same C compiler is used everywhere. Say you suspect your gcc to be infected. If a second compiler, say clang, can compile the gcc sources and this gcc then recompiles itself bit-identical to the original, then gcc and clang would both have to be (mutually compatible) infected.

Another way is to bootstrap up to a C compiler from machine-language upwards. So that every "level upgrade" in the bootstrap chain can be verified independently.

http://bootstrappable.org/

Here is one bootstrapping effort:

https://github.com/oriansj/stage0

> When you need Simulink, there’s nothing else out there that’s a valid alternative.

For simulation there is the Modelica standard for which open source implementations exist. But you don't code-generation for controllers, etc.

https://www.modelica.org/

https://www.openmodelica.org/

https://jmodelica.org/

In order to get their VAT back, exporters from the EU also need to get their papers checked against the actual goods and stamped. This takes hours for every truck.

That is irrespective of whether the importing country lifts all tariffs.

> https://europa.eu/youreurope/business/taxation/vat/vat-rules...

If enough trucks with TVs and car parts clog the borders, then the food-trucks (who might get some sort of special treatment) are also clogged. They will be clogged 50 miles before they reach the border.

> The US is currently only the 10th largest exporter of food to the UK. “For the USA to replace the combined food imports from the other nine in the top 10 would require a vast food flotilla and logistics operation exceeding that of the 1940-45 Atlantic convoys.”

https://www.theguardian.com/food/2018/sep/15/food-and-brexit...

> “The thing is, checks on non-EU trucks don’t take a couple of minutes,” Burnett told me. “They can take two or three hours.” Post-Brexit, British trucks would be non-EU. A team from London’s Imperial College subsequently estimated those queues could be 29 miles long at peak times on the British side, and there’s no reason to suppose it wouldn’t be the same on the French.

https://www.theguardian.com/food/2018/sep/15/food-and-brexit...

Days of wait time would prohibit fresh/frozen food to make it to the UK before perishing.