streaksu's Avatar

streaksu

@streaksu

Spanish embedded software developer, big into free as in freedom software, fluent in 5-ish languages. In my free time I make bad doomsday piles playing MTG Legacy Ironclad, a free software OS kernel - https://ironclad-os.org

37
Followers
28
Following
53
Posts
08.11.2024
Joined
Posts Following

Latest posts by streaksu @streaksu

A few more sets and boxes are going to be the price of underground seas

28.01.2026 22:39 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

Licensing protects you from this. OSS is not a one size fits all, if this worries you, you can just release your code under a license that guarantees attribution.

15.01.2026 07:32 ๐Ÿ‘ 4 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

Yeah that's a given sadly. We really could strengthen our privacy laws in the EU against AI overreach.

15.01.2026 07:21 ๐Ÿ‘ 2 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

I made the silly mistake of being distracted before writing the else error statement in an unusual case where the happy path was best upfront. Ada SPARKs Bronze mode wuth warnings off ensuring an out was initialised in all paths made me spot it. Such a cool tool

#programming
#software_engineering

13.01.2026 16:26 ๐Ÿ‘ 1 ๐Ÿ” 1 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

Oh is it? Had no idea! Interesting!

11.01.2026 12:55 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

Control: <Color combination> is actually a really useful way to categorize control decks for searching purposes, I'll copy it for my own spreadsheets

11.01.2026 11:36 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

Codeberg is great we like codeberg in this house

11.01.2026 11:20 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

May you grow old and one day learn enough to be the one to provide the simplifying solutions, only to realize you have not been using them yourself in your own code, to then scramble home and fix it

11.01.2026 11:18 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

I didn't know dogs could change name, I thought that once they learn a name that's locked forever. Super cool to know.

11.01.2026 11:14 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

I really wonder whats the worse they can do, we already had clyde. Do they want to add a GPT chat by the side of every DM prompting you to handle the other person itself?

11.01.2026 11:10 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

Naming your privacy-first ERP platform for furries and perverts after the decaying flesh of dead animals is ominous

11.01.2026 11:08 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0
Preview
Email is Easy Everyone knows what an email address is, right?

I scored 16/21 on e-mail.wtf and all I got was this lousy text to share on social media.

11.01.2026 09:47 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

Seen a lot of people use this as a pro-AI argument. Linus Torvalds is just a normal guy, he is not like God or anything. Him using AI should not be any more of an argument for AI than you or me using AI

11.01.2026 06:08 ๐Ÿ‘ 3 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

Could it be some kind of optimization setting? Reducing the resolution comically when its not in focus?

11.01.2026 06:01 ๐Ÿ‘ 2 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0
photo of a black cat with wide yellow eyes lying on a red chair

photo of a black cat with wide yellow eyes lying on a red chair

she's having a scary day (the smoke alarm went off)

10.01.2026 20:48 ๐Ÿ‘ 5040 ๐Ÿ” 203 ๐Ÿ’ฌ 124 ๐Ÿ“Œ 14

The perfect build system doesnt exist, it cant hurt you.
The perfect buildsystem:

17.09.2025 22:55 ๐Ÿ‘ 2 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Post image Post image

A milestone for the Musl/Ironclad kernel written in beyond memory safe Ada SPARK instead of C running the Mate desktop on Gloire OS. Well done @streaksu.bsky.social

06.09.2025 14:15 ๐Ÿ‘ 1 ๐Ÿ” 1 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0
Preview
Ironclad Ironclad is a free software formally verified kernel written in SPARK/Ada

Thanks! Thanks a lot to the contributors and the overall community we have built as well, without their help and drive it would not be possible. More can be read at ironclad-os.org!

06.09.2025 14:44 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

GNU Bash 5.3 just updated the upstream tarball silently and I could not be more disappointed, it is so deeply unserious and so deeply anti-security and against all we have learned about security issues since the XZ debacle.

01.08.2025 19:58 ๐Ÿ‘ 2 ๐Ÿ” 1 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0
Post image
21.07.2025 16:24 ๐Ÿ‘ 1028 ๐Ÿ” 44 ๐Ÿ’ฌ 7 ๐Ÿ“Œ 1

And to think that we have to duck our tail in Europe against the guy these people voted in... Every time I see something like this the more convinced I grow that our path has to start by kicking the US from our alliances and institutions.

21.07.2025 08:43 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

If CGA is with us, who can be against us?

04.06.2025 00:05 ๐Ÿ‘ 149 ๐Ÿ” 37 ๐Ÿ’ฌ 6 ๐Ÿ“Œ 0

pspspspspspsspsps

16.07.2025 16:13 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Post image

tiffany they were gay

15.07.2025 17:40 ๐Ÿ‘ 6414 ๐Ÿ” 622 ๐Ÿ’ฌ 173 ๐Ÿ“Œ 55

This is a disgrace, we need a community panel like now

30.06.2025 21:46 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Drawing of a puppy with a bone in his mouth and the caption; "Everyone deserves peace, love, safety, housing, food, and respect"

Drawing of a puppy with a bone in his mouth and the caption; "Everyone deserves peace, love, safety, housing, food, and respect"

Puppy

17.06.2025 12:36 ๐Ÿ‘ 2109 ๐Ÿ” 429 ๐Ÿ’ฌ 24 ๐Ÿ“Œ 9

this is what I see in the microwave heating up some milk on 2h of sleep

16.04.2025 23:00 ๐Ÿ‘ 2 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

That's horrible, what a shame

21.01.2025 07:39 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Post image
08.01.2025 20:25 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0