The majority of people have paper documents from the land registry. Digitalization of the land registry is a fairly recent development in Romania so people almost always requests papers when they register their land. In the event that all the digital data or large parts if were lost it would be possible to reconstruct it from the papers and interpolate the missing parts if any.
I'm not up to date with the latest developments in C++ but would't it be straightforward to do something like "#pragma pointer_safety strong" which would force the compiler to only accept the use of smart pointers or something along those lines. Was anything like this proposed so far?
I remember the anti-nuclear fever went viral in 2011 after the Fukushima nuclear accident caused by the Tōhoku earthquake and tsunami. I think the correct lesson to be learned from that experience is not to built nuclear power plants in places where they can be damaged by natural disasters...and not to call for all nuclear power plants around the world to be shut down.
I work in hardware design and verification. I've seen many AI-based EDA tools proposed at conferences but in the team that I'm working now I haven't seen AI being adopted at all. Among the proposed tools that caught my attention: generating SystemVerilog assertions from natural language prompts, generating code fixes from lint errors, generating requirements, vplans and verification metrics from specifications written in natural language, using LLMs inside IDE's as coding agents and chat bots to query the code. I think the hardware industry will be harder to penetrate by AI because hardware companies are more secretive about their HDL code and they go to great lengths to avoid leaks. That's why most of them have an in-house IT infrastructure and they avoid the cloud as much as possible especially when it comes to storing HDL code, running HDL simulations, formal verification tools and synthesis. Even if they were to employ locally hosted AI solutions that would require big investments in expensive GPUs and expensive electricity bills: the industry giants will afford it while the little players won't. The ultimate goal is to tapeout bug-free chips and AI can be a great source of bugs if not properly supervised. So humans are still the main cogs in the machine here. LLMs and coding agents can make our jobs a whole lot easier and pleasant by taking care of the boring tasks and leaving us with the higher level decisions, but they won't replace us any time soon.
Timestamps are very underrated. There's so much useful information stored in them. It can help you remember what other things you did that day around that time, in what order some events happened, what were your initial plans and how they changed. These things can be so easily forgotten.
First order logic can only detect formal logic fallacies. Informal logic fallacies like ad hominem, strawman, red herring, etc. are cast in language. They can't me defined and resolved mathematically. The model should be fine tuned with examples of these informal fallacies and counter-arguments to them. Even so it won't be able to detect them in all cases, but it will at least have some knowledge about them and how to reply to them. This knowledge could be further be refined with in context learning and other prompt engineering strategies.
It still eludes me how we are going to be able to reproduce the same temperature and pressure as in the core of a star considering the humongous amount of mass (hence energy) required to create those conditions.
Yes, but what kind of AI? LLM chatbots or military robotics? LLMs seem to be drawing most of the money these days and I don't think that should be the focus of the EU. We need advanced drones and anti-drone defense systems, advanced air defense against hypersonic missiles and glided aviation bombs, high precision artillery systems, anti-tank weapons. I don't see LLMs making any breakthroughs in those fields. Maybe transformer neural networks can be tuned to solve some prediction problems in these areas. Maybe some vision models can be tuned to detect and track aerial threats, or movements of troops. My point is, we need investment in AI for defense not in customer support chatbots. Unless it's chatbots that generate smart military moves on the battle field...we don't need them. Let the Americans and the Chinese play with their chit-chatbots. We have bigger fish to fry.