Working on BLE packet sniffing and transmission for MeshTNC, bc who doesn't want to do APRS or meshcore over BLE advertisements 😉
My quick hack feels promising so I think I'll clean this up and PR it.
⚡ Porting Lean to the ESP32-C3 RISC-V microcontroller
｢ Lean is a dependently typed pure functional programming language and a proof assistant, though in this article I will mostly be using it just as a programming language. Its compiler can either emit LLVM IR or C code ｣
alcinnz
boosted
roto - The strongly-typed, compiled #embedded scripting language for #Rust, used by Rotonda
Introducing #Roto: A Compiled Scripting Language for Rust (May 2025):
https://blog.nlnetlabs.nl/introducing-roto-a-compiled-scripting-language-for-rust/
Repo:
https://github.com/NLnetLabs/roto
This looks awesome! I love strongly typed scripting languages! 
And the fact that it integrates with Rust so seamlessly... ✨
#RustLang #ProgrammingLanguage #Scripting #ScriptingLanguage
roto - The strongly-typed, compiled #embedded scripting language for #Rust, used by Rotonda
Introducing #Roto: A Compiled Scripting Language for Rust (May 2025):
https://blog.nlnetlabs.nl/introducing-roto-a-compiled-scripting-language-for-rust/
Repo:
https://github.com/NLnetLabs/roto
This looks awesome! I love strongly typed scripting languages!
And the fact that it integrates with Rust so seamlessly... ✨
#RustLang #ProgrammingLanguage #Scripting #ScriptingLanguage
der.hans
boosted
SeaGL talks in 15 minutes:
* Serial Config: Compiling Applications for Embedded Interactivity
* Evaluating FOSS Projects; applying Habermas' Theory of Communicative Action'
https://pretalx.seagl.org/2025/talk/
Join the conference freely and anonymously - https://seagl.org/attend
They're having issues w/ their experimental PeerTube stream today - https://gnulinux.tube/c/seagl2025/videos
For onsite there is one room with masks required
#SeaGL #SeaGL2025 #FLOSSconf #FLOSSevent #Seattle #today #PeerTube #embedded #serial
SeaGL talks in 15 minutes:
* Serial Config: Compiling Applications for Embedded Interactivity
* Evaluating FOSS Projects; applying Habermas' Theory of Communicative Action'
https://pretalx.seagl.org/2025/talk/
Join the conference freely and anonymously - https://seagl.org/attend
They're having issues w/ their experimental PeerTube stream today - https://gnulinux.tube/c/seagl2025/videos
For onsite there is one room with masks required
#SeaGL #SeaGL2025 #FLOSSconf #FLOSSevent #Seattle #today #PeerTube #embedded #serial
Debby ⁂📎🐧:disability_flag:
boosted
GNU Health Hospital Information System 5.0 now also available for Raspberry Pi OS 🎉 🩺
https://savannah.gnu.org/news/?id=10821
#GNUHealthInABox #embedded #raspberrypi #GNU #GNUHealth #OpenScience
SwirlDB: Modular-first, CRDT-based embedded database
#HackerNews #SwirlDB #Modular #CRDT #Database #Embedded #Database #Technology
Jan :rust: :ferris:
boosted
I finally cleaned up the text from my talk at RustFest Zurich 2024 and made a blog post!
In which I describe bit fields and struct packing! It's Halloween, so the best opportunity to talk about the horrors I saw!
https://nicopap.ch/blogs/snaps-of-bafflement/bit-fields-rustfest24/
Mark Wyner Won’t Comply :vm:
and 3 others
boosted
Hey everyone! I'm looking to get #FediHired as a (senior) #RustLang developer!
If your team needs some additional people power, feel free to DM me and I'd love to have a talk or send my resume!
I'm well versed in most areas, from low level system/ #Linux / #Embedded stuff, all the way to high abstraction full stack web stuff!
✨ Boosts appreciated! ✨
I finally cleaned up the text from my talk at RustFest Zurich 2024 and made a blog post!
In which I describe bit fields and struct packing! It's Halloween, so the best opportunity to talk about the horrors I saw!
https://nicopap.ch/blogs/snaps-of-bafflement/bit-fields-rustfest24/
Hey everyone! I'm looking to get #FediHired as a (senior) #RustLang developer!
If your team needs some additional people power, feel free to DM me and I'd love to have a talk or send my resume!
I'm well versed in most areas, from low level system/ #Linux / #Embedded stuff, all the way to high abstraction full stack web stuff!
✨ Boosts appreciated! ✨
GNU Health Hospital Information System 5.0 now also available for Raspberry Pi OS 🎉 🩺
https://savannah.gnu.org/news/?id=10821
#GNUHealthInABox #embedded #raspberrypi #GNU #GNUHealth #OpenScience
alcinnz
and 1 other
boosted
I've got a new paper out on eprint: Monitoring tamper-sensing meshes using low-cost time-domain reflectometry.
In the paper, I wrote up how you can build a ~200 ps resolution time-domain reflectometer from an STM32 and some cheap display bus redriver ICs. The circuit is sensitive enough to distinguish several identical copies of the same test specimen PCB from manufacturing tolerances!
blog post: https://jaseg.de/blog/paper-sampling-mesh-monitor/
paper preprint: https://eprint.iacr.org/2025/1962
The sampling edges as measured by the board itself. As you can see, using a cheap microcontroller and some cheap display signal redriver ICs along with commodity RF schottkies you can get pretty spicy edges on a budget.
The final setup. On the right is the measurement board, and on the left is the mesh test specimen plugged in. In a real application, you would integrate both into your target circuit.
I've got a new paper out on eprint: Monitoring tamper-sensing meshes using low-cost time-domain reflectometry.
In the paper, I wrote up how you can build a ~200 ps resolution time-domain reflectometer from an STM32 and some cheap display bus redriver ICs. The circuit is sensitive enough to distinguish several identical copies of the same test specimen PCB from manufacturing tolerances!
blog post: https://jaseg.de/blog/paper-sampling-mesh-monitor/
paper preprint: https://eprint.iacr.org/2025/1962
The sampling edges as measured by the board itself. As you can see, using a cheap microcontroller and some cheap display signal redriver ICs along with commodity RF schottkies you can get pretty spicy edges on a budget.
The final setup. On the right is the measurement board, and on the left is the mesh test specimen plugged in. In a real application, you would integrate both into your target circuit.
I've got a new paper out on eprint: Monitoring tamper-sensing meshes using low-cost time-domain reflectometry.
In the paper, I wrote up how you can build a ~200 ps resolution time-domain reflectometer from an STM32 and some cheap display bus redriver ICs. The circuit is sensitive enough to distinguish several identical copies of the same test specimen PCB from manufacturing tolerances!
blog post: https://jaseg.de/blog/paper-sampling-mesh-monitor/
paper preprint: https://eprint.iacr.org/2025/1962
The sampling edges as measured by the board itself. As you can see, using a cheap microcontroller and some cheap display signal redriver ICs along with commodity RF schottkies you can get pretty spicy edges on a budget.
The final setup. On the right is the measurement board, and on the left is the mesh test specimen plugged in. In a real application, you would integrate both into your target circuit.