iiinova — where your digital self keeps evolving

Carlos @carlosperate.bsky.social · 07/10/2026

Something awesome is cooking… 👀

Reposted by Carlos

PyConES @es.pycon.org · 27/09/2026

Ven a ver a Carlos Pereira Atencio y su charla "Python Meets Hardware: The Missing Survival Guide" en #PyConES26 🎟️ ¡Entradas disponibles!

041

Carlos @carlosperate.bsky.social · 18/09/2026

I wonder if it's related to this 1-click token stealing vulnerability from June: blog.ammaraskar.com/github-token... Has anybody seen anything about the sunsetting of github.dev?

blog.ammaraskar.com

1-Click GitHub Token Stealing via a VSCode Bug

My blog, mostly about programming

000

Carlos @carlosperate.bsky.social · 18/09/2026

A really cool GitHub feature was that going to a repo and pressing `.` on your ⌨️ would open it in a web version VS Code, hosted on github.dev Has anybody noticed they've removed that instance and now it redirects to vscode.dev? I've looked around and couldn't find anything about it, I wonder if...

Screenshot of GitHub repository and another of the VS Code web editor connected by a keyboard key, illustrating that pressing . opens the repository in github.dev

120

Reposted by Carlos

PyConES @es.pycon.org · 09/07/2026

🎉 The #PyConES2026 program is now available! Talks, workshops and keynotes await you in Barcelona. Take a look and start planning your schedule! 🐍 🔗 2026.es.pycon.org/es/programa #PyConES #Python

2026.es.pycon.org

Programa

Consulta el cronograma completo de charlas, talleres y actividades de la PyConES 2026.

011

Carlos @carlosperate.bsky.social · 03/05/2026

I should give it another try as well! The one thing I couldn't live without was being able to quit the app and have all my unsaved changes still available the next time I opened it. But, to be fair, that is just a horrible habit I have, keeping a bunch of random unorganised notes around like that 😅

120

Reposted by Carlos

Tom Vulpes @vulpeslabs.bsky.social · 17/03/2026

I have a new page for SPOKE that allows you to edit the circuitpython code on the board directly from the browser. With a bunch of templates for different modes and tools like a scale-builder that lets you choose exactly what midi note is mapped to each pin. tom-vulpes.github.io/SpokeWebMidi...

153

Carlos @carlosperate.bsky.social · 06/04/2026

I love using GitHub Pages for my projects' docs 📚 So I've dusted off my Jekyll Read the Docs theme port, and added a bunch of useful stuff: admonitions, Mermaid diagrams, better GH Pages integration and more ✨ Hopefully others find it useful too! carlosperate.github.io/jekyll-theme...

carlosperate.github.io

Read The Docs Theme for Jekyll & GitHub Pages - Read The Docs Jekyll Theme

Port of the Read the Docs theme to Jekyll to use with GitHub Pages.

043

Carlos @carlosperate.bsky.social · 18/03/2026

Awesome news, a match made in heaven! 🏴‍☠️

031

Carlos @carlosperate.bsky.social · 06/03/2026

🤩 Is that Daniele Procida (mastodon.online/@EvilDMP) doing a #microbit Python workshop?

110

Carlos @carlosperate.bsky.social · 18/02/2026

Really enjoyed this blog post + video 📺 from @forwardedu.bsky.social comparing several 3D-printed micro:bit holders. A fantastic side-by-side look at different design choices and trade-offs. Definitey worth a watch!

A screenshot of a video. A hand holding a micro:bit tray with multiple micro:bits. In the background there is a table with other micro:bit holders.

021

Carlos @carlosperate.bsky.social · 15/02/2026

PS: I love the fact that you had to create `erase-rak` & `erase-612` 🤣

110

Carlos @carlosperate.bsky.social · 15/02/2026

Yeah, used to do that for a lot of terminal cmds, but I started forgetting the full versions, which was a problem when SSHing into other machines. But to be fair, that was also at the time when I was learning them, and muscle memory is set by now, so this could be a good solution, thanks!

110

Carlos @carlosperate.bsky.social · 15/02/2026

And then what should I install when I misspell "fuck"?! It's turtles all the way down!

000

Carlos @carlosperate.bsky.social · 15/02/2026

Well, at least El Rayo is winning 😆

A screenshot of the current La Liga match playing right now where Rayo Vallecano is winning 2 -0 against Atletico Madrid.

000

Carlos @carlosperate.bsky.social · 15/02/2026

This is absolutely ridiculous, can’t access my own website (behind Cloudflare) from Spain because there’s a futbol match on: hayahora.futbol

hayahora.futbol

¿Hay ahora fútbol?

Real-time monitoring of LaLiga's IP blocks affecting Spanish internet users.

140

Carlos @carlosperate.bsky.social · 13/02/2026

Haha, yeah, guess *why* I was cleaning up my terminal history... www.commitstrip.com/en/2017/02/2...

020

Carlos @carlosperate.bsky.social · 13/02/2026

Been cleaning my terminal history from misspells, only to discover how much git status humbles me every day 😅. Here are some of my greatest hits: git staatus git statuss git statsu git stauts git stataus 📺 Tune in next to find out how much I can mess up just the word “git.”

5140

Carlos @carlosperate.bsky.social · 26/01/2026

Wow! Any limit on package sizes? Can we, for example, use PyPI to install zig? Or use any big ML library?

100

Carlos @carlosperate.bsky.social · 26/12/2025

I mean, even the freaking graphics card comes out!

1100

Carlos @carlosperate.bsky.social · 26/12/2025

Remember when laptops used to be serviceable?

A picture of an open laptop with removable battery, hard drive, RAM, wireless module, etc

5281

Carlos @carlosperate.bsky.social · 25/12/2025

Did you manage to resolve it? If I remember correctly the Adafruit UF2 bootloader expected the nordic MBR to always be at address 0x0 (like the old Nordic bootloader), so I wonder if MCU boot needs to be configured with that in mind? There were also different UF2 familyIds for different flash areas.

110

Carlos @carlosperate.bsky.social · 12/12/2025

Yeah, not sure what the default might be for the Fruit Jam, but looking at the PR discussion there are a few frequencies to try, hopefully one of them works, good luck! 🤞

010

Carlos @carlosperate.bsky.social · 12/12/2025

I thought that was an interesting issue, so I had a look around out of curiosity and saw this. Sharing just in case you haven't seen it yet: github.com/adafruit/cir... The PR was merged in August, so should be available from v10.0.0. What CircuitPython version were you using?

github.com

Metro RP2350 DVI output defaults to 72Hz refresh (capture cards like 60Hz) · Issue #10242 · adafruit/circuitpython

CircuitPython version and board name Adafruit CircuitPython 9.2.7 on 2025-04-01; Adafruit Metro RP2350 with rp2350b Code/REPL # No code needed to trigger the bug, just: # 1. Connect HSTX DVI adapte...

110

Carlos @carlosperate.bsky.social · 05/12/2025

I don't think sensible was part of the design requirements, but damn, I do like a pretty graph 😃

010

Carlos @carlosperate.bsky.social · 05/12/2025

🤩 is that a Decent Espresso machine?? How are you finding it?

100

Carlos @carlosperate.bsky.social · 26/11/2025

Glad to see areas of improvement in this area! Perhaps the Bloaty GH Action could be updated to automatically comment to the PR & update that comment on subsequent PR updates. But for external contributors, I think it'll need to take a GH token, as the default one only works for PRs from branches.

010

Carlos @carlosperate.bsky.social · 12/11/2025

Not the first #KiCad PCB edge USB‑C footprint, but it’s awesome that this one comes with testing & documentation of contact wear, latch wear, bend & break, and thermals 🤩 Love seeing this data shared with the design. github.com/AnasMalas/pc...

Close up of the worn out connector after multiple insertions.

1171

Carlos @carlosperate.bsky.social · 16/10/2025

That's awesome, and what a great way to end the term! Hopefully the hex tool will be useful for next time 😉

110

Carlos @carlosperate.bsky.social · 16/10/2025

That's awesome, hope the lesson goes great! Btw, have you tried the micro:bit hex download tool? Makes flashing multiple micro:bits a bit easier: microbit.org/tools/webusb...

microbit.org

micro:bit hex download tool

110

Reposted by Carlos

Micro:bit Educational Foundation @microbit.org · 07/10/2025

📣 We’re hiring! Join the Micro:bit Educational Foundation as an Embedded Software Engineer and help create open, inclusive tech that inspires young people to learn and code 💡 🔗 Apply or share: apply.workable.com/micro-bit-ed... #Hiring #Edtech #SoftwareEngineer

163

Carlos @carlosperate.bsky.social · 02/09/2025

Last time I used it was for a hobby project & at the time iOS didn't support it. But after that I remember seeing something about support added when the user installs it as a WPA? That being said, they've messed around with WPA so much (including that whole Europe thing) it's worth double checking.

000

Carlos @carlosperate.bsky.social · 02/09/2025

You can probably do web Push API with service workers, that'd be awesome to get a push notification to your phone or PC via the browser when the machine is done!

100

Carlos @carlosperate.bsky.social · 15/07/2025

While-else gets a lot of flak, but I quite like it, just wished it was called `nobreak`!

030

Carlos @carlosperate.bsky.social · 15/05/2025

Okay, I never noticed that before, but absolutely love it! Great work @thonnyide.bsky.social !

010

Carlos @carlosperate.bsky.social · 01/05/2025

Ah, gotcha. Well, have fun with your can of worms! 🫣

100

Carlos @carlosperate.bsky.social · 01/05/2025

So the flash write disables all interrupts completely? In other chips you are unable to run code from flash, but if the ISR is in RAM that can still run, is that not possible at all in the RP2350?

110

Carlos @carlosperate.bsky.social · 21/04/2025

Ah, that's fair enough, hard to debug sometimes when it's not replicable in the environments used by the maintainers. I might not have to look into this again in a while, but if I do I'll try to remember to give it a go.

000

Carlos @carlosperate.bsky.social · 21/04/2025

Glad to hear the community library does work, although it's a bit annoying that it has that macOS issue. Hopefully something that could be resolved at some point.

100

Carlos @carlosperate.bsky.social · 20/04/2025

That's awesome! Is there a official Python lib these days? Last time I looked into it there was only a community maintained one.

100

Carlos @carlosperate.bsky.social · 18/04/2025

Absolutely! Even now getting an embedded toolchain and any other tools like Cmake, ninja, openOCD, etc is not that straightforward. The Arduino IDE did a great job ensuring everything *just works* 👌

000

Carlos @carlosperate.bsky.social · 15/04/2025

Is it an add-on or a fork? 🤔 PJRC offers Teensyduino installers to replace some Arduino IDE files for Teensy boards compatibility. And full IDE installers had to be provided for the latest macOS, so the lines get really blurry! Either way, a great platform with a fantastic Arduino integration. 👏

A screenshot showing the Teensyduino installer.
Image from https://www.pjrc.com/teensyduino-1-57-released/

050

Carlos @carlosperate.bsky.social · 13/04/2025

Forgot the most infamous fork of them all! When Arduino SRL (the reason Arduino LLC created the Genuino trademark) forked IDE v1.6.3, removed the warning about the LLC boards & released it as v1.7.0 😱 So glad everything was eventually resolved & the two orgs merged 😌 hackaday.com/2015/04/06/a...

hackaday.com

Arduino IDE Forked

As if it weren’t confusing enough in the Arduino world these days, now we’re going to have to deal with conflicting version numbers for the IDE. Yup, it’s been forked. Arduino LLC…

140

Carlos @carlosperate.bsky.social · 13/04/2025

Yeah, that sounds quite annoying 😖. Were you building the full IDE from source as well?

010

Carlos @carlosperate.bsky.social · 11/04/2025

Ah, I had forgotten MPIDE! It was released with the chipKIT Uno32 & Max32 boards from Digilent & @microchip-makes.bsky.social, featuring the PIC32. I remember fondly these red boards, as they were the first 32 bit MCUs I ever used. chipkit.net/about-us

A screenshot of the MPIDE, a dark red fork of the Arduino IDE to add support for the PIC32 chipKIT boards.

130

Carlos @carlosperate.bsky.social · 11/04/2025

Wow yeah, you are right, things get quite blurry! Didn't realised you had to pack the entire IDE for the latest macOS releases, that must have been a pain to set up. Do you build it from source or patch it and re-sign it? It's almost like "a fork with extra steps" 😅

100

Carlos @carlosperate.bsky.social · 10/04/2025

No worries! I remember using Processing for the first time a while ago when I was at uni. Although I wasn't a huge fan of Java at the time, it made it really easy to draw stuff and I was pleaseantly surprised. It is a fantastic project!

230