Sign in

NON-TOXICNo ads · No shady algorithms

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

TheZoq2

@thezoq2.mastodon.social.ap.brid.gy
7 followers 0 following 172 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
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 26/10/2026
What the fuck? I have to ride 2nd class S-bahn like a filthy commoner??
000 0
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 25/10/2026
This is not cute, doors only do this whey they are afraid
120 2
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 21/10/2026
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 · 14/10/2026
spad
001 1
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 11/10/2026
054 5
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 · 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 · 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 · 30/09/2026
POV: You're hanging out in the Spade contributor-corner channel
001 1
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
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 23/09/2026
Woah, rare `jj` change id
000 0
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
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 17/09/2026
God damn. This was shot at 25600 ISO. I really did not expect it to come out usable but some denoise in darktable and it is just fine?
000 0
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 17/09/2026
It is done :blobcatcoffee: codeberg.org/spade-lang/spade (Well, almost, there are a few bits and pieces that need updating still, but development can now happen here)
A screenshot of a codeberg repository called spade-lang/spade
001 1
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 15/09/2026
Added some embed tags for tybook and by extension the Spade docs :) Thanks @diondokter for telling me how to do it a while back!
000 0
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 07/09/2026
So, the topic of localizing Spadec errors came up Unfortunately, my British wasn't on point so I used trash instead of rubbish. Clearly, what we need is meta-errors
error: M8, wot are you on about??

reg(clk) t_1 = t;
^^^^^^^^^^^^^^^^ ????

Note: Roight, this code is absolute trash innit
                                    ^^^^^ U focken wot m8? You 'avin a giggle? Accusing me of being American??

                                    help: Absolute w⚓️
                                    note: The author of this error message has been domed
001 1
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 04/09/2026
Recursion
001 1
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 04/09/2026
[Self OH] Hmmm, I think rendering might be on the critical path...
000 0
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 30/08/2026
@frameworkcomputer won't admit this, but this is the correct way to use their adapters
000 0
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 27/08/2026
And now it loads the pixel data from an SD card instead of UART. I was so close to having this work on the first try, the Spade ready/valid library is amazing for things like this. Unfortunately I had some issues in the address calculation for the DRAM which took several hours to track down 😭
100 1
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 26/08/2026
Check this out :bongoCat: This is a SDRAM backed framebuffer with a simple cache to make it work with the DVI output The Image is sent over UART which is why it takes a while.
202 2
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 24/08/2026
Pssst, hey! Want some p r e m i u m research?
Design and Realization of Distributed
Control System of Intelligent Music
Fountain

Publisher: IEEE

Abstract:

As an important landscape in cities and scenic spots, music fountains are
becoming more and more popular and concerned by people. In light of the
problems of the traditional fountain manifested by un-centralized operation
and management, non-uniformed communication protocol, long period of
project implementation and lack of intelligent assistance means, this paper
proposes a new and reliable intelligent music fountain distributed control
system. This paper elaborates the system composition, working principle,
and special software of the music fountain, and explains the hardware
structure and software architecture of the entire system. It also emphatically
explains the key technologies such as centralized motor compilation and
communication protocol, music feature extraction and intelligent assistance
arrangement, and comprehensive preview of particle effects. The system
introduced in this paper has good real-time performance and high degree of
program integration, and it is easy to be expanded. The system has been
actually deployed and used in many projects and achieved good economic
and social benefits which demonstrated its good promotion value.
010 1
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 23/08/2026
Yesterday I wrote a round robin arbiter for Spade. But I didn't feel like writing a test bench, so I spent my Sunday playing with formal verification. The result is codeberg.org/spade-lang/swim-sby which automatically looks for Spade units that are […] [Original post on mastodon.social]
Screenshot of a light theme text editor showing the following code:

    // When the data is always valid, we should see the data perfectly interleaved
    entity round_robin_3_interleaved_are_round_robin(clk: clock, out_ready: bool) {
        reg(clk) rst initial(true) = false;

        let datas_in = [(); 3]
            .enumerate()
            .inst emap(clk, entity |clk, (i, _)| {
                reg(clk) data_in reset(rst: Some([1u8,2,3,4])) = None;

                let ready = port();
                lib::Rv(data_in, ready.1)
                    .inst into_element_stream(clk, rst)
                    .inst map(fn |item| (i, item))
                    .gate(true)
            });
        

        let out = inst super::round_robin(clk, rst, datas_in)
            .with_ready(out_ready);

        let received = out.inst chunks::<12>(clk, rst);
        assert rst || received.is_none() || received == Some([
            (0, 1),
            (1, 1),
            (2, 1),

            (0, 2),
            (1, 2),
            (2, 2),

            (0, 3),
            (1, 3),
            (2, 3),

            (0, 4),
            (1, 4),
            (2, 4),
        ]);
    }
100 1
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 22/08/2026
I can't believe Germany AI generated an entire town
000 0
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 20/08/2026
My summer vacation is over, so it is time to release Spade v0.20.0 🎉 As a tooling guy, it feels great to finally have autocomplete working in the LSP. We also finally added support for associated functions, and the docs (docs.spade-lang.org) have […] [Original post on mastodon.social]
010 1
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 17/08/2026
There was some really good sailing a few days ago :blobcat:
A zoomed in picture of a person sailing a laser dinghy towards the camera. There is a lot of water splashing on the bow of the red boat, some even being blown over. A person sailing a laser dhingy away from the camera. The boat is heeling a bit to the right despite the sailor hanging as much as possble to the other side
000 0
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 13/08/2026
#breadposting
000 0
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 12/08/2026
Also found this fellah a few minutes before
000 0
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 12/08/2026
There are many eclipse pictures, but these are mine
100 1
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 11/08/2026
Finally, this one has a bigger fish that I'm also unable to identify. As you can see, my auto exposure system sometimes freaks out as happened here. Adding insult to injury, my buoyancy stepper motors were too weak to ascend at this depth, so I was stuck just […] [Original post on mastodon.social]
000 0
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 11/08/2026
Here are more of the smaller fishes
100 1
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 11/08/2026
These I'm pretty sure are Goldsinny wrasses, they appear to be everywhere along the steep cliffs here. They seem to show up within 30 seconds of me descending. I'm fascinated by the fact that they don't seem to care at all about the submarine. Same with the other smaller fishes.
100 1
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 11/08/2026
The winds were calmer today so I was able to run the sub at the good fish spots. Prepare yourselves for #fishposting Not quite sure what species these small ones are. And I'm also curious if the fat red one is the same species 🤔
101 1
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 10/08/2026
Oh, and since I haven't posted about this project since last year, here is a video of me launching it
101 1
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 10/08/2026
Made some improvements to the color rendering and made it easier to focus, so today's crab encounter is a lot nicer :)
101 1
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 09/08/2026
Using my Spade submarine to say hi to Ferris 🦀
100 1
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 30/07/2026
TIL that the capybara has wikipedia page has an "Activities" section, and it seems very accurate Not migrating 100m is also a fun tidbit
Capybaras are superb swimmers and can hold their breath underwater for up to five minutes at a time.[19] In the morning, they rest on dry land. They then spend the hot early afternoon in the water to keep cool, after which they graze during the late afternoon and night until the Sun rises.[18]

The home ranges of capybara groups vary from 5 to 16 hectares. They normally include the different elements necessary for the capybaras' lifestyle, including a permanent body of water, grassland to graze on and an area of dry land used for resting.[18] Most capybaras do not migrate great distances; in a study in which wild capybaras were marked and then recaptured 2 years later, 40% were recaptured within 100m of the marking site and 80% within 1000m.[7]
100 1
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 26/07/2026
Damn, will I be able to resist this price. I don't need 40 thousand flex connectors, but it also ends in a month and maybe I end up needing them
000 0
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 26/07/2026
[Food] Some now turned into borgir
000 0
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 26/07/2026
Long time no #breadposting
100 1
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 25/07/2026
The probing code itself is less ugly than I'd like, but in use it is very pleasing. You provide a list of pins and pin names you want to find. When you put the probe on one of those pins, it lets you know
000 0
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 25/07/2026
Well, that 1 hour project turned into a 5 hour project :D Anyway, seems to finally work Normally, this would dump to UART, but I have a UI library and HDMI stuff ready, so I spent a few minutes on a more flashy demo
204 4
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 22/07/2026
New FPGA (breakout) board day :blobcatcoffee:
100 1
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 14/07/2026
Huh @adrian, didn't know you have an office outside Munich
100 1
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 03/07/2026
You may not like it, but this is the best kicad setup
2150 15
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 03/07/2026
Now that docs.spade-lang.org is ported to @typst I can start doing cool things. For example, today I added a system that adds help popups when you click on keywords and types in the docs
101 1
TheZoq2 @thezoq2.mastodon.social.ap.brid.gy · 30/06/2026
God damn, what is with airline websites. I'm trying to get a receipt for my last lufthansa flight. I click my flights, it goes into a loop of "you're not logged in, oh wait you are, let me refresh the page, oh wait you're not logged in" And now I'm rate limited so I can't access the site
000 0