Sign in

iiinova is part of the Atmosphere — an open, public network where you own your identity.

TheZoq2

@thezoq2.mastodon.social.ap.brid.gy
6 followers 0 following 156 posts

Developing spade-lang.org, surfer-project.org and other fun stuff in Rust. PhD from Linköping university, now working as a post doc at Hochschule München 🌉 bridged from ⁂ mastodon.social/@thezoq2, follow @ap.brid.gy to interact

PostsRepliesMedia
Reposted by TheZoq2
Karsten Schmidt @toxi.mastodon.thi.ng.ap.brid.gy · 20/10/2026
🚨 Please read & act if you're running a small online shop in the EU or are even just a customer of one! These people need your urgent support! Otherwise the still new EU-wide packaging & waste regulation (PPWR) as it currently stands and is in full effect _WILL_ kill most of the small businesses […]
mastodon.thi.ng
Original post on mastodon.thi.ng
022 2
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 16h
@drew Would it be possible to get clickable links for the headings on your weird little guys page? I wanted to link a guy™️ to warn someone about them but ended up having to just link the page I did try to do the change myself, but the `zine` I just installed did not like the config file it got :(
001 1
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 17h
Some attempts at focus stacking macro shots. Pretty happy with the flower, the others could be better I assume that either some clear foreground/background separation, or better light (i.e. not fully overcast) would help Happy that […] [Original post on mastodon.social]
000 0
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 17/10/2026
@zenmaya @the_art_of_giving_up With V3 I think history is included too?
000 0
Reposted by TheZoq2
friendly fluorescence -> KiKv.1 @tudbut.social.tudbut.de.ap.brid.gy · 16/10/2026
hey are there any critters here who have deep knowledge about java and its internals? i need to brainstorm some things for a library that interacts deeply with java internals but i dont know anyone who i can talk to this about. and obviously i dont want to talk to an LLM. please boost for reach
010 1
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 16/10/2026
I love flying Airbus, they make so many interesting noises under the floor
000 0
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 16/10/2026
Ah the joys of travel My plane is 2 hours delayed already. My connecting train is cancelled. On the plus side, that means I can re-book the train to account for the delayed flight I suppose Not super stoked to spend 12 hours on what is effectively 4-5 hours of actual travel though
100 1
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 15/10/2026
@schrottkatze Heh, I'm only 30 hours in so far but I can very much relate. It is a very good game to blow off some steam
100 1
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 14/10/2026
spad
001 1
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 14/10/2026
Oh, codberg.org is now online for hosting? Of course, as a fish themed language we cannot not have a presence on the fishy code forge codberg.org/spad-lang/spad
codberg.org
Codberg: Th cod forg that smlls fishy
Forgejo is a self-hosted lightweight software forge. Easy to install and low maintenance, it just does the job.
100 1
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 12/10/2026
I'm not sure I would buy one for KiCad specifically, but it is a much more enjoyable kicad experience than a laptop and trackpad, so great if i'm out and about (In general, it is a machine that keeps surprising me with "oh, it also solves this fun problem", a nice contrast compared to other tech)
100 1
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 11/10/2026
054 5
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 11/10/2026
@whitequark Mmmm yes, if it weren't for the fact that I absolutely love the way they approach keybinding, I would be very annoyed at the UI I think
100 1
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 11/10/2026
@whitequark Fuck... Phew, dune3d has a no AI policy 🎉
100 1
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 11/10/2026
Heh, reminds me of when me and @lcsklmmr stared at a pigeon apartment building (sure, let's go with that) for 15 minutes waiting for the pigeons to fullfill the pigeon hole principle
000 0
Reposted by TheZoq2
✧✦Catherine✦✧ @whitequark.treehouse.systems.ap.brid.gy · 11/10/2026
if you use Forgejo and would like more CI resources than Codeberg provides (or just don't want to run your own CI): I would like to onboard a few more people to felinebuildservices.org
felinebuildservices.org
feline build services
120 2
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 09/10/2026
Lmao, why did my phone auto correct "kipex" as "sniped"
000 0
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 09/10/2026
I keep thinking these are sniped pliers
100 1
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 09/10/2026
@schrottkatze if the "click the document to go to the source code" thing works with a PDF viewer I'd be very happy I know synctex does that for latex, but no idea if that can be co-opted
100 1
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 09/10/2026
@schrottkatze A way to run the preview from editors that don't support custom LSP commands would be incredible. I have a cursed proxy between tinymist and helix now to make it work
100 1
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 08/10/2026
@Methylzero Yeah! There is a reason I have it bridged to matrix. Sadly, the results speak for themselves a little bit, almost everyone who is active in the combined chat is on Discord, there is maybe 1 or 2 people who sometimes show up on matrix :/
000 0
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 08/10/2026
Oh, speaking of discord. #duckduckfedi We currently have ours bridged to matrix with t2bot.io. Functionality wise, it works really well, surprisingly seamlessly, but the bridge has been really slow lately (several minutes for messages to pass across) Is there a better alternative out […]
mastodon.social
Original post on mastodon.social
001 1
Reposted by TheZoq2
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 08/10/2026
Sidenote, do you have an open source project? Then you should create some sort of hang out space for it that isn't just the PR list Working on the project is a lot more fun with people around to casually chat about it with. And in my experience it is a huge help for finding long term […]
mastodon.social
Original post on mastodon.social
101 1
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 08/10/2026
Sidenote, do you have an open source project? Then you should create some sort of hang out space for it that isn't just the PR list Working on the project is a lot more fun with people around to casually chat about it with. And in my experience it is a huge help for finding long term […]
mastodon.social
Original post on mastodon.social
101 1
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 08/10/2026
Some Spade discord server meta :D (We added an #art channel yesterday since we also added an #llm-quarantine channel) All in all, 10/10. I get to look at pretty pictures, and talk about photography
122 2
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 07/10/2026
[Self OH, LLMs] Carbon credits but for slop
000 0
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 05/10/2026
@lofty Hmm, this reminds me I should finish my FPGA radio project enough to actually listen to some radio :D
000 0
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 05/10/2026
@adrian Ohhh, Im' always a flamegraph enjoyer
000 0
Reposted by TheZoq2
lea @lea.ordinary.cafe.ap.brid.gy · 05/10/2026
If you/your project is affected by DigitalOcean stopping their OSS credits program, please shoot me a PM immediately. Might be able to help. Boosts for visibility would be appreciated. #foss #linux
16141 141
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 02/10/2026
I really want to know what the people working on this people think multi-lingual people want If the video is in a language I don't know, why would I want the title to be translated? I won't understand the video anyway? Why, if my computer and youtube […] [Original post on mastodon.social]
000 0
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 02/10/2026
What the fuck are the internationalization people at youtube smoking One of these vidoes is in german, one is in English. But it decided to translate the title of both?????
100 1
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 01/10/2026
@zzt
001 1
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 01/10/2026
@zzt Ehh, not really. We've done some experiments with codeberg.org/spade-lang/swim-sby but it is very rudimentary
codeberg.org
swim-sby
An experimental plugin for running formal verification on swim projects
100 1
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 30/09/2026
POV: You're hanging out in the Spade contributor-corner channel
001 1
Reposted by TheZoq2
rar is win @xyla.zip · 28/09/2026
drugs, ?????
Wine (from a Wikipedia-style site)

Wine is an alcoholic drink made from
fermented fruit (typically grapes) which causes
Linux users to enter a mental state that allows
them to run Microsoft Windows applications in
their mind.

[photo]
Red and white wine, served in cool glasses.
0727 27
Reposted by TheZoq2
robinhouston @robinhouston.mathstodon.xyz.ap.brid.gy · 28/09/2026
He's just confessed how he did it! github.com/frazerpearce/TimeLord
github.com
GitHub - frazerpearce/TimeLord: TimeLord: choose your random future
TimeLord: choose your random future. Contribute to frazerpearce/TimeLord development by creating an account on GitHub.
229 9
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 27/09/2026
@whitequark Hear me out: Kicad plugin that announces PULL UP PULL UP if you forget a pull up resistor
023 3
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 27/09/2026
Well, seeing as pixelfed is now slop, I migrated my photography account over to vernissage.photos/@thezoq2 Too bad there doesn't seem to be a way to import my previous posts 🤔
vernissage.photos
TheZoq2 (Frans Skarman) (@thezoq2)
000 0
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 24/09/2026
pointieststick.com/2026/09/23/kde-a… After only seeing the drama about KDE yesterday, I'm happy to read that it seems like it was probably an overreaction 😌
pointieststick.com
KDE and AI, and you, and me
So I accidentally triggered an online shitstorm in the process of trying to craft a set of more restrictive LLM usage guidelines for KDE. Sorry about that. I’m going to leave the comments on this post open, but I will request that everyone who wants to comment read and understand the entire post first. So … Continue reading KDE and AI, and you, and me →
000 0
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 24/09/2026
Unreasonably excited about this joke in a Rust slide deck im working on for a course :D
001 1
Reposted by TheZoq2
✧✦Catherine✦✧ @whitequark.treehouse.systems.ap.brid.gy · 23/09/2026
thanks to Elen Eisendle's (@cmb) extraordinary effort over the last several months, #GlasgowInterfaceExplorer revD1 design files have been sent to JLC. we hope this will also be the production revision (or if we do have a revD2, it happens with […] [Original post on social.treehouse.systems]
"payment successful" screen
010 1
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 23/09/2026
[kink] @whitequark The point of trickle down economy is that the rich distribute their riches down to the people below them, sort of like a shower of richness. Golden shower economy, if you will
000 0
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 23/09/2026
Woah, rare `jj` change id
000 0
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 22/09/2026
@eri Oh, your character has a thick accent and you have to spell it phonetically Try `grep key`
000 0
Reposted by TheZoq2
✧✦Catherine✦✧ @whitequark.treehouse.systems.ap.brid.gy · 21/09/2026
do I know any electronical engineers who would be willing to review Glasgow revD1 schematic/layout before we send it to the fab tomorrow evening? it's in KiCAD and available on github.com/tachiniererin/glasgow/tr… if you have the time and inclination
github.com
GitHub - tachiniererin/glasgow at hw-revD1
Scots Army Knife for electronics. Contribute to tachiniererin/glasgow development by creating an account on GitHub.
2020 20
Reposted by TheZoq2
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 20/09/2026
One of the coolest things to happen in Spade yet 👀 @breakingtaps wrote and taped out a Transport Triggered Architecture processor from scratch in a month with 0 prior experience! This video is also one of the better intros to digital hardware design I've seen, certainly much better than some of […]
mastodon.social
Original post on mastodon.social
0213 13
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 20/09/2026
One of the coolest things to happen in Spade yet 👀 @breakingtaps wrote and taped out a Transport Triggered Architecture processor from scratch in a month with 0 prior experience! This video is also one of the better intros to digital hardware design I've seen, certainly much better than some of […]
mastodon.social
Original post on mastodon.social
0213 13
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 19/09/2026
@chrysn @forgejo I would love if it was integrated into forgejo proper, and in principle it wouldn't be too difficult. It is essentially just a different diff algorithm at the end of the day. But I have no idea how much work it would be in practice or if there is a desire for it
001 1
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 19/09/2026
Now that Spade is on codeberg I updated my semantic diff code review tool to also support it :) codeberg.org/theZoq2/winch
102 2
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 18/09/2026
002 2