My KVM switch should arrive, and my kernel patch will gets its first review.
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/
Did you know, berliner luft is a multi-purpose optics cleaning and lab personnel calming agent?
Transform your favorite cities into beautiful, minimalist designs. MapToPoster lets you create and export visually striking map posters with code.
There's no way that LLM generated code can be copyrightable when there is no free LLM with its training data available
I read which model they used, and that certainly doesn't fulfill the DFSG. If we do not care about that then we might as well ship proprietary firmware in main.
<MJak> whats that movie with the the planet full of talking apes?
<Nitrix> Planet of the apes...?
<Mjak> Yah the one where the space guy crash lands there whats it called
<Nitrix> Planet of the apes...?
<Mjak> YES BUT WHATS THE FUCKING NAME OF THE MOVIE
The two hardest problems in Computer Science are:
1. Getting up in the morning
2. Going to bed at a reasonable time
i made my friend a chart about the different Fourier transform variants 
https://blog.nns.ee/2026/01/06/aike-ble/