TheZoq2

I'm bad at self-promo but I am currently on the job market looking for industry gigs. If your team needs a compiler engineer, language developer, rust programmer, or language tools person, drop me a line! All my details are on my personal site.

Hey, it sounds like you could be a good fit for our group aemy.cs.hm.edu. I'm on the chip design tools part so not sure what is available in the embedded side at the moment, but you should reach out to Stefan (link at the bottom) if it sounds interesting

I don't think so, just uploading anything is above the bar for low effort. For me, who usually turns on music in the background I wouldn't even notice the lack of video most of the time, and just be happy to have more cool music :)

TheZoq2 - Twitch TheZoq2 streams live on Twitch! Check out their videos, sign up to chat, and join their community.

I sometimes stream Spade dev over at twitch.tv/thezoq2. Today i'm going to work on clock domain inference, which I think I finally have a good plan for again

Oh, da*d* key points. Still, not looking for tips on how to be a dad either :D

That does look very cool, what exactly are we looking at?

My best guess is these are points that can be used as anchors for 3d reconstruction?

Duck duck go certainly isn't being very helpful :D

Congratulations!

I got inspired at orconf, so now play.spade-lang.org supports a full in-browser flow for submitting to tinytapeout.com/

Still experimental, so if you try it and run into any issues, let me know :)

Jobs Employee Profile: Synthesis or Formal Verification Developer at YosysHQ You might know YosysHQ from our many Open Source EDA Projects. We are the maintainers of Yosys and the accompanying Open Source ...

We are hiring! Both technical and admin, please take a look at our jobs page!

www.yosyshq.com/jobs

#jobs #hire

Improved Tooling for Digital Hardware Development - Frans Skarman This is "Improved Tooling for Digital Hardware Development - Frans Skarman" by Linköping University on Vimeo, the home for high quality videos and…

This Friday I successfully defended my PhD 🎉 If you want to watch a recording of the defense there is a recording here vimeo.com/1114208379/89dcd4f302

Wow, congratulations @clairexen.bsky.social. Extremely well deserved!

Damn, no google reviews for any of the schools i went to :(

Screenshot of hacker news comment: To your above point about paths, it’s things like this that keep me coming back to Rust. This was just one example, but other languages are absolutely littered with pitfalls and gotchas that—individually—aren’t all that likely to happen. But all of them? Over a given program’s lifetime? In aggregate these end up being responsible for an absolutely wild number of random bugs that crop up in your exception logs that need to get tracked down. And it never ends. There are an infinite number of edge cases you’ve never thought about that aren’t fully handled and that some of which are constantly being tripped. This just… doesn’t happen in Rust. The type system catches (and/or completely rules out) a ridiculous number of these situations. I have repeatedly written finished software in Rust, where once it was released there was only an occasional need to add features but the typical bug-squashing treadmill just doesn’t exist. That’s not to say there are never bugs. You can express faulty logic in any language. But the number of stupid impedance matches that are categorically ruled out makes the experience of operating and maintaining Rust program once written a widely different experience than I’ve had with any other language.

This is one of the better succinct summaries of Rust's value prop, and I really like the phrasing of "Rust exposes impedence mismatches": it feels annoying to some people, but often you WANT to be able to "see" these awkward steps, because it matters.

news.ycombinator.com/item?id=4497...

Want to help build a crowdsourced microcontroller?

You're invited to design peripherals (UARTs, timers, synths, etc.) for a @riscv.org.web.brid.gy chip that will be fabbed for real!

Take part for free!

tinytapeout.com/competitions...

oh no! I'm so sorry you have to go through that

Surfer — An Extensible Waveform Viewer The waveform viewer is one of the most important tools in a hardware engineer’s toolbox. It is the main interface used to track down design bugs found by simulation or formal verification. In th...

Our CAV paper on Surfer is now available online doi.org/10.1007/978-...

In it, we talk about the user facing stuff like extensible translators, how Surfer is designed to be extensible and embeddable, and we describe our waveform parsing library - Wellen.

Post a meme made by you

Nice! The N is indeed inferred from the coeff length

[x] I'm in this picture and I don't like it

That's incredible, congratulations!

After 2 skipped releases due to me finishing my thesis, it is time for Spade 0.14.0 🎉

This brings long awaited lambda functions into the language, new standard library functions that use them, and a much improved LSP

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

I'm not aware of any attempts, wellen couldn't do it out of the box, but it handles all the parsing so it should be simple to write a diff tool based on it

Perhaps with one caveat that wellen afaik is optimized for random access while diffing probably wants linear access

Something you may hopefully did not notice about my thesis is that the whole thing was written in @typst.app

I wrote a few words about why, what I liked, and what I didn't like about it for such a big document

fransskarman.com/phd_thesis_i...

TL;DR 8/10, would recommend

There it is 👀

My thesis is now published online! 🎉

urn.kb.se/resolve?urn=...

Yes, if yosys and friends didn't exist I probably wouldn't have done any HW side projects, so i'd never have started Spade or Surfer

Thanks! I think hardware development is really being held back by its awful tooling so I'm happy to be able to address a small chunk of that.

After my first FPGA course I remember saying "This was super fun, but with the tooling and languages, there is no way I'm ever doing this again"

My thesis is now published online! 🎉

urn.kb.se/resolve?urn=...

I’d like to formally propose that academic journals (specifically those in bioinformatics and Cs, but more generally) begin accepting manuscripts prepared with @typst.app. I mean not only for initial submission (where PDF is often sufficient), but for submission of accepted manuscripts as well!