Toots for lucab@fosstodon.org account

Written by Luca Bruno on 2025-02-01 at 08:34

The Rust devroom at FOSDEM'25 is happening today, check the full schedule at https://fosdem.org/2025/schedule/track/rust/

Come and join us, this year we got a large room with plenty of seats (UB2.252A - Lameere)!

=> View attached media

=> More informations about this toot | View the thread

Written by Luca Bruno on 2024-12-14 at 18:50

The planning for the #Rust devroom at #FOSDEM 2025 is almost done!

This year we received a lot of great proposals, way more than what we could fit into a single day.

On the bright side, we got allocated a room with very large capacity (500+ seats).

See you there in February!

=> More informations about this toot | View the thread

Written by Luca Bruno on 2024-10-04 at 13:09

Recently I've been playing with Quint, a specification language with static typing and (symbolic/temporal) model checking... it is absolutely amazing 🚀

A very welcome and refreshing alternative to TLA+ and its Toolbox:

https://quint-lang.org/

=> More informations about this toot | View the thread

Written by Luca Bruno on 2024-08-25 at 17:42

Spent some time today tearing down a "Chipolo ONE Point" and identifying debug pads.

It's a Bluetooth tag (FCC ID: 2AD85-C21M) compatible with Google's Find My Device network.

The MCU is a nRF52833 and it's programmed with APPROTECT enabled.

However the specific chip seems to be an older revision (AAA0), so it may be still vulnerable to voltage glitching attacks to bypass the debug protection lock.

I don't have a proper voltage glitching setup at home, so I guess that's all for the moment 😀

=> View attached media

=> More informations about this toot | View the thread

=> This profile with reblog | Go to lucab@fosstodon.org account