Elektrine
Log in Register
Paige Chat Timeline Gallery Friends Email Drive DNS Private DNS Domains VPN Kairo Nerve
Remote

TheZoq2

@thezoq2@mastodon.social
mastodon 4.8.0-nightly.2026-10-06
  • Open on mastodon.social

Developing http://spade-lang.org, https://surfer-project.org/ and other fun stuff in Rust. PhD from Linköping university, now working as a post doc at Hochschule München

716 Followers
307 Following
50 Posts
Joined August 23, 2019
Gitlab:
https://gitlab.com/thezoq2
Pronouns:
he/him
Website:
fransskarman.com
Matrix:
@thezoq2:matrix.org
Open post
TheZoq2 @thezoq2@mastodon.social
· 6mo ago

Big Endian won't tell you this but you don't actually need to chose between big- and little-endian, you can just select no endianness!

Endinaness was invented by Big Endian to sell more big-endian

153
13
70
0
Open post
TheZoq2 @thezoq2@mastodon.social
· 2mo ago
LLM Mention (positive)

Again reminded that the kids are alright. Just overheard a ~15 year old lecture his mom about using AI being unethical and to add -noai to searches to not get the stupid AI overview from google :blobaww:

15
0
3
0
Open post
TheZoq2 @thezoq2@mastodon.social
· 4mo ago

RE: @owen@mastodon.transneptune.net

"We’re evolving our strategy to optimize for the future state of software engineering:

Software will be built by machines, directed by people. AI is the substrate on which future software gets built. Agents will plan, code, review, deploy, and repair. Humans still own the judgment that matters most: architecture, deep understanding of the customer problem, the tradeoffs that require taste."

Holy shit, I really really really need to get over to codeberg ASAP

mastodon.transneptune.net
38
5
22
0
Open post
TheZoq2 @thezoq2@mastodon.social
· 5mo ago

https://fransskarman.com/im_not_using_ai.html

All of my colleagues are using AI while I'm not. It feels like I'm missing out so I decided to sit down and write down my thoughts on why I'm so resistant to it.

In the end, I'm very happy with what I wrote so I put it on my blog

fransskarman.com
37
2
21
0
Open post
TheZoq2 @thezoq2@mastodon.social
· 6mo ago

Very good read on LLMs in academia 👀 https://ergosphere.blog/posts/the-machines-are-fine/

ergosphere.blog

The machines are fine. I'm worried about us.

On AI agents, grunt work, and the part of science that isn't replaceable.

24
1
17
0
Open post
TheZoq2 @thezoq2@mastodon.social
· 5mo ago

RE: @ClashHDL@fosstodon.org

This is really nice to see. I always wanted the translation features in Surfer to be used by more HDLs. For a while that was blocked by it not supporting true plugins, but that was fixed a while back.

The plugin seems really impressive, it goes quite far beyond what my own Spade integration does in that it allows user defined customization. Maybe I'll have to steal that 😉

fosstodon.org
12
4
4
0
Open post
TheZoq2 @thezoq2@mastodon.social
· 6mo ago
Replying to
Also extremely cool that this is a Europe-made #fpga with fully open source tools as the official vendor tools
14
13
2
0
Open post
TheZoq2 @thezoq2@mastodon.social
· 5mo ago

Spade 0.18.0 is now released 🎉 It comes with a bunch of improvements to the standard library, and with `spadedoc` which can generate HTML documentation for Spade projects.

You can se the `core` and `std` documentation online at https://docs.spade-lang.org/std/ and https://docs.spade-lang.org/core/. Or run `swim doc` to generate documentation for your own project and all its dependencies

Release blog post: https://blog.spade-lang.org/v0-18-0/

Thanks @lixou@hachyderm.io for writing spadedoc!

docs.spade-lang.org
11
0
3
0
Open post
TheZoq2 @thezoq2@mastodon.social
· 6mo ago

We now have working #tinytapeout templates for Spade!

For IHP: https://github.com/spade-lang/ttihp-spade-template
For Sky130: https://github.com/spade-lang/ttsky-spade-template

The IHP shuttle closing in 5 days is full, But! if you are a Swiss resident you can still get on there and get the chip manufactured for free 🇨🇭

This also came with the nice benefit of me finally making swim download the compiler binaries instead of rebuilding for every project, so initial builds of other Spade projects are much faster

mastodon.social
13
0
4
0
Open post
TheZoq2 @thezoq2@mastodon.social
· 5mo ago
Replying to
Oh, and if your company is scared of the visa sponsorship _transfer_ process, she wants me to point out that it is a relatively easy process but to most people it's an unknown they don't wanna take a risk on. The chance of rejection is very low. You hire an immigration lawyer, provide some documents and they handle the rest. The lawyer costs a bit of money, but the process is painless, and that cost is low compared to getting an amazing new software developer!
7
0
2
0
Open post
TheZoq2 @thezoq2@mastodon.social
· 2mo ago
I have a few hours to spend in Hamburg this evening, any recommendations for things to see?
2
2
0
0
Open post
TheZoq2 @thezoq2@mastodon.social
· 6mo ago
Replying to
Now with a RISC-V core driving the blinking https://codeberg.org/thezoq2/spade-v-gatemate
Codeberg.org

spade-v-gatemate

spade-v-gatemate

8
6
2
0
Open post
TheZoq2 @thezoq2@mastodon.social
· 5mo ago

Gee, thanks gitlab! I'm so glad I can't use an API library that is slightly out of date because you at some point had a *skype* field in your user data, and somehow that user data is included in a request for merge request status...

6
0
0
0
Open post
TheZoq2 @thezoq2@mastodon.social
· 6mo ago

As part of that Advent of FPGA challenge, I won a Kria KV260 Vision AI Starter Kit (https://www.amd.com/en/products/system-on-modules/kria/k26/kv260-vision-starter-kit.html)

However, I hate Vivado with a passion, have plenty of FPGA dev boards already, and this one isn't supported by the open source flows yet, so I have very little motivation to use it.

So, if anyone is interested I'd be happy to sell it for a pretty discounted price :)

Located in Munich, happy to ship to wherever in Europe

#fpga

amd.com
7
0
3
0
Open post
TheZoq2 @thezoq2@mastodon.social
· 4mo ago
Replying to
@whitequark@social.treehouse.systems Yes, I guess they saw what github is having and thought "oh that looks like fun, let's jump in" :D
3
1
0
0
Open post
TheZoq2 @thezoq2@mastodon.social
· 5mo ago
Replying to
@nikhil@mastodon.acm.org seems like your wish is full-filled :) Presented at latch-up today https://github.com/jahagirdar/bluespec-surfer-plugin
github.com
3
1
1
0
Open post
TheZoq2 @thezoq2@mastodon.social
· 6mo ago
Replying to
My several year old bus implementation was awful here, so I had to rewrite it. This is much nicer :blobcatcoffee:
4
2
0
0
Open post
TheZoq2 @thezoq2@mastodon.social
· 5mo ago
Replying to
Still pretty pleased with the code on the user side. On the implementation side, it is a bit more cursed but still nice https://codeberg.org/TheZoq2/uwui/src/branch/main/src/tiles.spade#L35
codeberg.org

Cookie monster!

3
0
0
0
Open post
TheZoq2 @thezoq2@mastodon.social
· 6mo ago
Replying to
Bonus points to another part of this site not working with KeepasDX with the error "Refusing to enter password in an untrusted iframe" Really makes me excited about my new internet service provider...
3
2
0
0
Open post
TheZoq2 @thezoq2@mastodon.social
· 6mo ago
Replying to
OH: Part 2 We need the android-related crate for the web version
3
0
0
0
Open post
TheZoq2 @thezoq2@mastodon.social
· 5mo ago
Replying to
Jemalloc seems to help, now I just hope that's built statically so I won't run into issues on user systems
2
1
0
0
Open post
TheZoq2 @thezoq2@mastodon.social
· 5mo ago
Replying to
@CanLehmann @cfbolz @verijit That's extremely cool! Any chance it'll be open source?
2
2
0
0
Open post
TheZoq2 @thezoq2@mastodon.social
· 5mo ago
Replying to
Now the user can interface with the UwUi :Blobhaj:
2
1
0
0
Open post
TheZoq2 @thezoq2@mastodon.social
· 5mo ago
Replying to
@CanLehmann It would be pretty easy to add an arbiter, the layout blocks can tell a module if it is enabled for the current pixel or not. However, if different text block end up in different pipeline stages, things become problematic 🤔
2
0
0
0
Open post
TheZoq2 @thezoq2@mastodon.social
· 6mo ago
Replying to
@CanLehmann Yep! Nextpnr is the official flow now
2
2
0
0
Open post
TheZoq2 @thezoq2@mastodon.social
· 5mo ago
Replying to
@alter_kaker@hachyderm.io She didn't know about that, but found this https://www.canada.ca/en/immigration-refugees-citizenship/services/work-canada/special-instructions/h1b.html which appears to be closed. Is that what you're referring to or is it another new system?
canada.ca
1
1
0
0
Open post
TheZoq2 @thezoq2@mastodon.social
· 5mo ago
Replying to
@janamarie@mystical.garden That's such a cool look. I should really look into doing this to my old Nikon DSLR 🤔
1
0
0
0
Open post
TheZoq2 @thezoq2@mastodon.social
· 5mo ago
Replying to
Also wild how there is a single hot loop in the Spade compiler that explodes with the musl allocator. Otherwise i'd have noticed this 30 second runtime much sooner
1
0
0
0
Open post
TheZoq2 @thezoq2@mastodon.social
· 5mo ago
Replying to
@ivor Thank you! Most of the credit for the policy goes to the Servo project which I based it on
1
0
0
0
Open post
TheZoq2 @thezoq2@mastodon.social
· 5mo ago
Replying to

@MrMR For example, I realized that "oh right, bitmaps need pipelining because memory access". Changing the whole renderer to be pipelined was a matter of changing a few definitions and putting reg in places, rather than having to re-name every variable

1
0
0
0
Open post
TheZoq2 @thezoq2@mastodon.social
· 6mo ago

Going to stream some Spade development for the first time in months https://www.twitch.tv/thezoq2/

twitch.tv
1
0
0
0
Open post
TheZoq2 @thezoq2@mastodon.social
· 6mo ago
Replying to
@gigabecquerel Damn, congrats!
1
0
0
0
Open post
TheZoq2 @thezoq2@mastodon.social
· 6mo ago
Replying to
@G33KatWork @bunnie Unfortunately I think this core is a little bit too basic for your needs. It doesn't support any fancy buses buses or anything, just single cycle memory access. At some point I'd love to flesh it out more though
1
0
0
0
Open post
TheZoq2 @thezoq2@mastodon.social
· 6mo ago
Replying to
@CanLehmann Yep! I think a lot of the credit for this goes to @lofty
1
0
0
0
Open post
TheZoq2 @thezoq2@mastodon.social
· 6mo ago
Replying to
@pmmeurcatpics This is O2. I have Vodafone right now and can confirm it is not great
1
1
0
0
Open post
TheZoq2 @thezoq2@mastodon.social
· 6mo ago
Replying to
@adrian@discuss.systems the premium edition gradient is incredible
1
0
0
0
Open post
TheZoq2 @thezoq2@mastodon.social
· 7mo ago
Replying to
@lebout2canap @typst This is because if you have a tool that relies on editing the output of the tool, but later realize you need to re-run it, you will have a massive problem trying to backport the changes you made before
1
0
0
0
Open post
TheZoq2 @thezoq2@mastodon.social
· 5mo ago
Replying to
@bodzioney Yep, two of them. I do touch on the breakage risks quite a bit in the presentation if you didn't watch it yet https://dl.acm.org/doi/10.1145/3793550 and https://kevinlaeufer.com/pdfs/surfer_cav2025.pdf
dl.acm.org
0
1
0
0
Open post
TheZoq2 @thezoq2@mastodon.social
· 5mo ago
Replying to
@bodzioney perhaps this is of interest https://codeberg.org/thezoq2/ttt https://m.youtube.com/watch?v=8nH8epm7jpY
0
3
0
0
Open post
TheZoq2 @thezoq2@mastodon.social
· 6mo ago
Replying to
@pixelcluster Oh hell yeah! This problem has been plaguing me for a while, nice to see a potential solution!
0
0
0
0
Back
313k7r1n3
Elektrine

Tor hidden service

elekhj7afj4qnrr4yd3bkzslsyo5jgfxw3orgjkhlcxifueodybyiiad.onion

I2P eepsite

j6b6cyk6gjmepjih7jjadxgxvvf3lzzujljuu2v4biemzpg3naya.b32.i2p

Platform

  • Email
  • Chat
  • Timeline
  • VPN
  • DNS

Company

  • About
  • Contact
  • FAQ
  • Lite (no JS)

Legal

  • Terms of Service
  • Privacy Policy
  • Transparency Report
  • Report Abuse
  • Warrant Canary
  • VPN Policy

Support

  • support@elektrine.com
  • Report Security Issue
Mail client setup IMAP mail.elektrine.com:993 POP3 mail.elektrine.com:995 SMTP mail.elektrine.com:465
© 2026 Elektrine. All rights reserved. Server: 22:40:23 UTC