| Website | https://k0nze.dev |
| GitHub | https://github.com/k0nze |
| Website | https://k0nze.dev |
| GitHub | https://github.com/k0nze |
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/
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...
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
@fairit of course you can use the images under CC-BY 4.0
I will create an PR for the assembly instructions in the coming days 😉
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