Just a small hardware project: I am building a cocktail mixer in an old PC case. I saw something similar at a con over Easter and had to build one myself, it had a tap coming out of the 3.5" bay and the ingredients were inside the pc case.
It uses peristaltic pumps to move the different ingredients to the cup. It is very simple, but still took a couple of days to complete.
In detail it consists of 6 x peristaltic pumps, 3 x L298N motor driver, 3 x PCF8574 io expander and an esp32.
The software for the esp32 is very dumb and I actually coded it correctly before I had all the parts, it just enables and sets the speed for the motors and is attached via USB to a laptop. There a webapp is used to manage ingredients and recipes.
I agree that merging the technology division from the ministry of economic affairs (BMWK) to the new research ministry is a good step as both ministries have been large providers of funding. The BMBF funds DFG, as well as the large science organizations in Germany (Fhg, Mpg, ...), the BMWK has funded research which is closer to applications, of course looking to enable economic activity.
I'm unsure why the ministry gets a special focus on aerospace, this topic is being worked on by the DLR, funded by BMBF.
I'm also not yet sure what to think about splitting education and research. It goes against the Humboldtian Ideal, especially in the universitys both topics are connected. On the other hand, it might enable the ministries to be more focused and do reforms that don't depend on each other to be performed more quickly.
The research ministry will go to CSU, the bavarian sister party of CDU. While it may not be very popular amongst many Germans, because CSU is seen as conservative and individual CSU politicians are not famous science policymakers, Bavaria is a successful science hub. Munich is home to international leading institutions (TUM, MPG, FhG). Bavaria is also a hub for aerospace with Aibus and MTU and startups like Isar Aerospace and Rocket Factory Augsburg. Maybe repeating what bavarian policymakers have done regionally to the whole of Germany will be good.
> I'm also not yet sure what to think about splitting education and research. It goes against the Humboldtian Ideal, especially in the universitys both topics are connected.
According to the German constitution (Grundgesetz), schools and universities are (mainly) the responsibility of the individual German states, not the federal government.[1] (A hybrid is the Karlsruhe Institute of Technology that has a university branch under the supervision of the state of Baden-Württemberg and a research centre branch under federal supervision.) The educational tasks of the federal government therefore basically relate to extracurricular and non-university education, such as early childhood education or adult further education.
At the level of the individual states, higher education and research are generally combined in one ministry and school education in another.
[1] Actually the Grundgesetz states in Art. 30: "The exercise of state powers and the performance of state duties shall be a matter for the individual states (Länder), unless otherwise provided for or permitted by this Basic Law." The authority of the federal government in education policy is therefore derived from what is explicitly mentioned in various places in the Basic Law. A short overview what that involves can be found here: https://www.bundestag.de/resource/blob/416682/db04b405a48dbe... (PDF, 2009, in German).
Thank you for the background explanation and the link. KIT is actually my Alma Mater (cs).
You are right the overlap is not that large. I was thinking about the WissZeitVG, Exzellenzstrategie, Tenure-Track-Program.
As for the Länder, I personally think the transition between the Abitur and university could benefit from stronger collaboration between the involved ministries. For example by better aligning the educational goals of high school to the demands of universities and by integrating education research into schools. By this I mean the continuous application of the results of educational research to schools and the constant monitoring of schools.
Some more background information on the laws and initiatives you mentioned.
The WissZeitVG falls within the competence of the federal government due to the exemption regulation of Art. 74 I Nr. 12 GG for labour laws.
The "Exzellenzstrategie" and the Tenure Track Programme are cooperations between the federation and the states based on Art. 91b Abs. 1 GG: "The federation and the states may co-operate on the basis of agreements in cases of supra-regional importance in the promotion of science, research and teaching. Agreements focussing on higher education institutions shall require the consent of all states. ..." (original: "Bund und Länder können auf Grund von Vereinbarungen in Fällen überregionaler Bedeutung bei der Förderung von Wissenschaft, Forschung und Lehre zusammenwirken. Vereinbarungen, die im Schwerpunkt Hochschulen betreffen, bedürfen der Zustimmung aller Länder. ...")
Jochen Liedtke became a professor in 1999 in Karlsruhe, sadly he passed away only shortly after in 2001. I don't know if his successor Bellosa still does research on L4. There was the L4Ka project which appears to be completed. In the bachelor lecture on OS by him it's not part of the curriculum.
Rittinghaus, alumni of Bellosa, is involved with Unikraft [0], which was featured a couple of times on hn, and is using unikernel technology.
After Liedtke's passing, L4 research was continued in groups at UNSW (Gernot Heiser, formal verification -> SeL4) and TU Dresden (Hermann Haertig, Fiasco/L4Re, focusing on real-time and secure systems).
Genode (already mentioned in another comment) [1] came out of the TU Dresden group with some nice ideas around managing compartmentalized systems. Kernkonzept [2] is a startup commercializing the L4Re microkernel.
DNSSEC is the actual solution, providing authenticity and integrity for DNS records. The DNS client can verify that the received DNS response is what the zone admin intended. Additional records (NSEC / NSEC3) are used to provide a proof of non-existence, preventing suppression from a mitm attacker. But if your government is mitming you, you don't want them to see you use DNSSEC. DoH is useful in that case, because a mitm sees only https traffic, which is less suspicious than DoT.
DNSSEC isn't going to prevent suppression, it just makes it detectable. Cloudflare is still going to send you a doctored record - which will fail verification. But that doesn't magically give you an undoctored record, unfortunately.
Entropia is the local chapter from Karlsruhe of the Chaos Computer Club. The Gulaschprogrammiernacht (GPN) is their local version of Congress located in HfG and ZKM, a college and a great museum.
Clojure is great. Brining together Lisp with the Java ecosystem makeand its concurrency model makes it great for building backend system, while still enabling quick changes.
One thing that I found noteworthy is that Clujure did not pickup some innovations happening at Java since like version 8, such as Invoke Dynamic in the JVM or streams.
Generally for streams, the equivalent in Clojure with sequences or transducers is much cleaner and simpler so there was not a lot of reason to want them from Clojure. However, it is important to provide interop paths to work with Java libs that make use of them.
The functional interface coercion is implemented with invokedynamic.
