@k0nze

9 Followers
63 Following
84 Posts
Processor Architect
Websitehttps://k0nze.dev
GitHubhttps://github.com/k0nze
European Union companies' annual purchases of cloud software services that benefit the US economy amount to €264 billion … If the EU were able to produce 15% of the cloud software services it currently purchases from the United States in 2035, this would result in 463,000 additional jobs in the EU. https://www.cigref.fr/technological-dependence-on-american-software-and-cloud-services-an-assessment-of-the-economic-consequences-in-europe
Technological dependence on American software and cloud services : an assessment of the economic consequences in Europe - Cigref

‘Technological dependence on American software and cloud services: an estimate of the economic consequences in Europe’ is a new study on Europe's

Cigref

We have an open PhD position for working on formal verification in Yosys and other open source tools, including Surfer :)

https://aemy.cs.hm.edu/open-positions/2026/01/19/open-source-formal-verification.html

Come join an exciting group here in Munich, we are currently ~15 people working on various aspects of open source chip design, and we are planning to grow even more this year

And a more permanent link with other positions too https://aemy.cs.hm.edu/open-positions/

Research Associate in Open Source Tools for formal verification of digital circuits

We offer positions in our team for current and upcoming projects in the area of open source chip design tools. Your tasks include: Exploration of data models for incremental formal verification Design and Implementation of a database for formal verification Integration and extension of verification algorithms with the database Collaboration...

AEMY
Hi Fediverse! Hallo Mastodon! Wir sind das Deutsche Technikmuseum und #neuhier!
Auf 28.500 Quadratmetern Ausstellungfläche geht's bei uns um die Frage, wie Technik unser Leben prägt. Von historischen Maschinen bis zu Zukunftsthemen wie Klimawandel, KI oder Verkehrswende. Hier teilen wir Einblicke ins Museum und Geschichten aus unseren Ausstellungen und Sammlungen. Wir freuen uns auf den Austausch mit euch!
#museum

Am 7. Februar laden wir zum Roboter-Workshop in die #Essembly ein. Von 15 Uhr bis 18Uhr werden wir uns an Beispielen ansehen, wie du die Entwicklung deines eigenen vierbeinigen DIY-Laufroboters angehen kannst.

Im Workshop erfährst du, wie Mechanik, Elektronik und Software Schritt für Schritt geplant werden können.

Mehr Infos findest du auf unserer Webseite: https://essembly.de/blog.html

Bitte melde dich an unter [email protected]

#EsslingenamNeckar #Maker #EsslingenMaker #DIY #quadrupedrobots

Shortly before Christmas I got myself the Fair Mouse from @fairit as a DIY kit. Today I put it together. It was fun building soldering the mouse myself.

The Fair Mouse is now on my workshop/lab computer as a daily driver

We have a lot of plants and therefore a lot of plant pots. However, the plant pot inserts from the garden center never really fit.

So I created a parametrizable plant pot inserts generator in #OpenSCAD for #3Dprinting 🪴

Available as #opensource : https://github.com/k0nze/plant_pot_insert_generator

Der #Rust -Workshop am Samstag den 03. Januar wird leider verschoben. Einen Ersatztermin haben wir bisher noch nicht.

Wir wünschen allen einen guten Rutsch ins neue Jahr!

#essembly #esslingenamNeckar #esslingenMaker #programmieren

Heute unterwegs mit der historischen #Eisenbahn E10 228

Am 15. November 2025 treffen wir uns ab 15 Uhr in der #Essembly in #Esslingen, um gemeinsam im #picoGym zu trainieren. Zusammen schärfen wir unsere #CyberSecurity #Skills für den nächsten #CTF.

Bitte melde dich mit Email an [email protected] an.

Der Workshop ist kostenlos. Um Spenden wird gebeten.

#maker #makerspace #esslingen #esslingenamneckar #technik #makerspace

Mehr Infos auf https://essembly.de/ctf-training-am-15-november.html

Essembly - der Technikraum in Esslingen - CTF-Training am 15. November

Bye bye, Windows 10! Microsoft is stopping support for the operating system today. If you're still using it, now is a good time to consider alternatives such as Linux, which is free and open source (like LibreOffice): https://blog.documentfoundation.org/blog/2025/10/14/end-of-10-ten-reasons-to-switch-from-windows-to-linux/ @Endof10 #endof10