Ben Fiedler@mntmn @martijnbraam @grishka or, you can go with overkill and use a Mercury XU5 like we do 😁 the only question then becomes: who BMCs the BMC?
お知らせ：０７６はゲーム開発スタジオとなる為、５月２日をもって０７６萌ＳＮＳ及び０７６萌Mitraのサービスを終了致します。諏訪子様は、新しいスタッフ専用ののMitraインスタンスで引き続きフォロー出来ます。
これまで０７６萌ＳＮＳ又は０７６萌Mitraをご利用頂き、誠に有難う御座いました。
User actions
(de)Ich verfolge einen Informatik PhD mit Fokus auf formeller Verifikation von hardwarenahen Komponenten.Manchmal spiele ich Schach.(en)I'm a computer science PhD student focussing on verification at the hardware-software boundary. Sometimes I actually understand what I'm doing.I like playing chess every now and then.Personal von @flaps#nobot
Groups 0
Statistics
- User ID
- 28414
- Member since
- 30 May 2023
- Notices
- 1
- Daily average
- 0
Feeds
０７６萌ＳＮＳ is a social network, courtesy of ０７６. It runs on GNU social, version 2.0.2-beta0, available under the GNU Affero General Public License.
All ０７６萌ＳＮＳ content and data are available under the Creative Commons Attribution 3.0 license.