thezoq2

5 ms·

1.
by thezoq2 1y ago
That sounds like a fun project! Alexandria is the way to go for now but hopefully they will get proper support for it sooner rather than later.
2.
by thezoq2 1y ago
Until 0.13 it wasn't quite as good as latex in my experience, it mainly inserted more hyphens than LaTeX. As of this version, it would be very hard to tell a difference in my experience
3.
by thezoq2 1y ago
That is for sure my biggest concern with typst. I wrote a tool that can convert from typst to latex for final submissions, but it is a bit sketchy and at the moment won't handle math very well. https://gitlab.com/theZoq
4.
by thezoq2 1y ago
That is a real concern, but I wouldn't say there are any critical features in the closed source portion. I wrote the whole thesis locally with only open source tools. One of the included papers was written in the cloud platform for col
5.
by thezoq2 1y ago
Hehe thanks for the kind words! I think once Verilog and VHDL are de-throned there will be plenty of room for more than one new HDL :) Especially if we can figure out interoperability between languages
6.
by thezoq2 1y ago
Spade author here :) Coming from a functional programming adjacent background, the VHDL type system leaves a lot to be desired. Not supporting types with generics means you can't encode things like a genral purpose ready/valid str
7.
by thezoq2 1y ago
Ah right, I didn't know hardcaml has a simulator > wrangling hand written modules with enormous I/O, stitching IP together This is something where I'm confident a good type system can help significantly, part of the proble
8.
by thezoq2 1y ago
Spade author here! That's a good reminder that I need to update the example on the website, I must have written that example almost 3 years ago at this point :) For more up to date motivation, my talk from LatchUp last year is probably
9.
by thezoq2 1y ago
Thanks for the kind words! > The challenge of a HDL over a regular sequential programming (software) language is that a software language is programmed in time, whereas a HDL is programmed in both space and time. As one HDL theory expert
10.
by thezoq2 1y ago
Spade author here! The biggest difference is that BlueSpec uses a different abstraction than standard "RTL". That has significant advantages of course, but also means some overhead and a shift in mental model. With Spade my goal i
11.
by thezoq2 1y ago
Chisel, BlueSpec Spinal and Migen are already used quite a bit though of course much less so than Verilog. But we do need new languages, https://drops.dagstuhl.de/storage/00lipics/lipics-vol136-sna... does a prett
12.
by thezoq2 1y ago
Clash was the HDL that I used before starting Spade. I'm not a huge fan of haskell and wanted a few more hardware specific features which is why I didn't stick with it. That said, Clash is great and I know quite a few people at QB
13.
by thezoq2 1y ago
Spade author here! That is a good point, sadly I'm not experienced enough with verification to know what is actually needed for verification from a language design perspective which is why I just offload to cocotb. There are a few inte
14.
by thezoq2 1y ago
Spade author here! My probably controversial opinion on output code quality is that if you have to see the generated Verilog, I've done something wrong since there is probably a compiler bug if you need to go down to that level. Of cou
15.
by thezoq2 3y ago
I love how this is being downvoted! Writing Verilog or VHDL is exactly like writing C, or maybe even assembly
16.
by thezoq2 3y ago
I'm also an FPGA person that started off in software and this is exactly how I feel, and the reason I'm building my own HDL too. Software languages have evolved so much since the 80s and are so much more productive, HDLs have miss
17.
by thezoq2 7y ago
Yep, I hosted a minecraft server for a few years and most of it was just hanging out and talking to people, often with it open on a second monitor while doing other things
18.
by thezoq2 7y ago
I'm not sure how well it would work, the rust embedded HAL crates like to be in control of all peripherals in order to give nice guarantees of things being properly initialised. Calling C would also have to touch the same structures wh
19.
by thezoq2 8y ago
I would add solvespace to that list. It's FOSS and in my experience much more stable than FreeCAD.
20.
by thezoq2 8y ago
That sounds like a way less annoying issue than trying to schedule things across borders
21.
by thezoq2 8y ago
the ! indicates that it is a macro, so include_string! is run at compile time.
22.
by thezoq2 9y ago
A professor of mine said something along the lines of "If something isn't confusing enough, give it multiple names"
23.
by thezoq2 9y ago
People who built proper desktop applications didn't build them for linux. Even microsoft are releasing their electron things on linux (skype and VS code). I very much doubt that would have happened if they built native apps. I much pre
24.
by thezoq2 9y ago
An out of bounds access doesn't have to lead to a crash. For most types in the standard library, the [] operator crashes but the "get" function returns Result<T, E> which you can deal with.
25.
by thezoq2 9y ago
The advantage of rusts error handling is that it is explicit. The compiler knows that a function might result in an error and forces the programmer to deal with it, or pass it along. In an exception based language you might forget to deal w