DesChips
@deschips.bsky.social
Embedded software engineer playing with electronics, music and woodworking in his spare time.
Nice to see my two apps still there. Can someone tell me if this one is still working on the new models? apps.repebble.com/en_US/applic...
Formally verified Tetris on your wrist ^^
Formally verified Tetris on your wrist ^^
Patris - Pebble Appstore
Patris is a game inspired by the famous classic falling blocks.
The game is automatically saved when you exit the app and you can change level in the menu.
apps.repebble.com
October 10, 2025 at 9:37 PM
Nice to see my two apps still there. Can someone tell me if this one is still working on the new models? apps.repebble.com/en_US/applic...
Formally verified Tetris on your wrist ^^
Formally verified Tetris on your wrist ^^
Not to dismiss the technical side of things, but I've always considered Rust's biggest achievement to be its marketing :)
February 27, 2025 at 3:02 PM
Not to dismiss the technical side of things, but I've always considered Rust's biggest achievement to be its marketing :)
This can work for pre-conditions, but for post-conditions you have to check at all return/exit points of your subprogram, and it will get messy very quickly. In Ada/SPARK the contracts are part of the subprogram specification, so they are visible to the users of the API.
February 16, 2025 at 7:01 AM
This can work for pre-conditions, but for post-conditions you have to check at all return/exit points of your subprogram, and it will get messy very quickly. In Ada/SPARK the contracts are part of the subprogram specification, so they are visible to the users of the API.
It's nice to see SPARK listed in the memory safe language, but it's not in the formal methods 😕
SPARK is both memory safe and an industrial grade formally verifiable language.
SPARK is both memory safe and an industrial grade formally verifiable language.
February 7, 2025 at 6:59 AM
It's nice to see SPARK listed in the memory safe language, but it's not in the formal methods 😕
SPARK is both memory safe and an industrial grade formally verifiable language.
SPARK is both memory safe and an industrial grade formally verifiable language.
Sad for the open-source synth scene, excited to see what's next 😊
January 4, 2025 at 4:46 PM
Sad for the open-source synth scene, excited to see what's next 😊
I just implemented phase distortion synthesis for my pocket groove box, it's a great technic to play with .
November 15, 2024 at 7:36 PM
I just implemented phase distortion synthesis for my pocket groove box, it's a great technic to play with .
And there are still some units available for pre-order at www.crowdsupply.com/wee-noise-ma...
Wee Noise Makers PGB-1
Open source synthesizer, sequencer and groove box that's meant to be customized and modified to your taste.
www.crowdsupply.com
October 20, 2024 at 5:07 PM
And there are still some units available for pre-order at www.crowdsupply.com/wee-noise-ma...
I use FreeCad. It takes some time to get started, and sometimes the model will break when I change parameters 🤷♂️ Still a useful piece of software. I strongly recommend watching tutorials on parametric design (internal spreadsheet in the software for part dimensions) early on.
May 20, 2024 at 7:15 AM
I use FreeCad. It takes some time to get started, and sometimes the model will break when I change parameters 🤷♂️ Still a useful piece of software. I strongly recommend watching tutorials on parametric design (internal spreadsheet in the software for part dimensions) early on.