• Sign in
  • Sign up
Elektrine
EN
  • EN English
  • 中 中文
Log in Register
Modes
Overview Search Chat Timeline Communities Gallery Lists Friends Email Vault VPN
Back to Timeline
  • Open on mastodon.social

TheZoq2

@thezoq2@mastodon.social
mastodon 4.6.0-nightly.2026-03-16

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

0 Followers
0 Following
Joined August 23, 2019
Gitlab:
https://gitlab.com/thezoq2
Pronouns:
he/him
Website:
fransskarman.com
Matrix:
@thezoq2:matrix.org

Posts

thezoq2
TheZoq2
@thezoq2@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

mastodon.social
TheZoq2
TheZoq2
@thezoq2@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

mastodon.social
@thezoq2@mastodon.social · 4d 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

View on mastodon.social
7
0
3
0
thezoq2
TheZoq2
@thezoq2@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

mastodon.social
TheZoq2
TheZoq2
@thezoq2@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

mastodon.social
@thezoq2@mastodon.social · 6d ago

https://docs.spade-lang.org/ now lives on codeberg via https://grebedoc.dev/ :)

https://codeberg.org/spade-lang/docs.spade-lang.org

View on mastodon.social
7
0
1
0
thezoq2
TheZoq2
@thezoq2@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

mastodon.social
TheZoq2
TheZoq2
@thezoq2@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

mastodon.social
@thezoq2@mastodon.social · Dec 14, 2025

Another incredible @bcantrill@mastodon.social talk, especially the second half for me now that i'm slowly drifting into having "leadership responsibilities" https://youtu.be/WF7J7qtZ8TA

View on mastodon.social
16
0
3
0
thezoq2
TheZoq2
@thezoq2@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

mastodon.social
TheZoq2
TheZoq2
@thezoq2@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

mastodon.social
@thezoq2@mastodon.social · Jan 09, 2025

It is time for the most boring Spade release yet 🎉

Boring is good though, it includes 13 bug fixes, along with a system for preventing previously common code gen bugs in the future.

Feature wise, swim now supports Gowin #FPGA s, the swim output is a lot cleaner (https://asciinema.org/a/j9HRvwzAWnoFBVCt4Zj8wM2LE), and you can now implement methods on arrays and other non-named types.

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

Thanks @acqrel@hachyderm.io @lixou@hachyderm.io and @ethan@discuss.systems for the contributions. And to everyone who reported bugs :)

View on mastodon.social
Your browser does not support the video tag.
12
0
4
0
thezoq2
TheZoq2
@thezoq2@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

mastodon.social
TheZoq2
TheZoq2
@thezoq2@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

mastodon.social
@thezoq2@mastodon.social · Jun 03, 2024

Today we finally released 🏄 Surfer 0.2.0 🎉

This release contains months of improvements, both big and small. Some highlights:

- A remote server
- A more powerful Risc-V decoder that now supports RV32IMAFDZicsr
- Lots of interface improvements including
- Edge stepping
- Multiple view ports
- Undo/Redo
- Variable drag and drop
- Selectable themes
- Experimental support for GHW
- Lots of bug fixes

Release blog post: https://blog.surfer-project.org/v0-2-0/
Changelog: https://gitlab.com/surfer-project/surfer/-/blob/main/CHANGELOG.md?ref_type=heads

View on mastodon.social
29
0
16
0

Media

313k7r1n3

Company

  • About
  • Contact
  • FAQ

Legal

  • Terms of Service
  • Privacy Policy
  • VPN Policy

Email Settings

IMAP: imap.elektrine.com:993

POP3: pop.elektrine.com:995

SMTP: smtp.elektrine.com:465

SSL/TLS required

Support

  • support@elektrine.com
  • Report Security Issue

Connect

Tor Hidden Service

khav7sdajxu6om3arvglevskg2vwuy7luyjcwfwg6xnkd7qtskr2vhad.onion
© 2026 Elektrine. All rights reserved. • Server: 15:28:47 UTC