thezoq2
No user record in our sample, but thezoq2 has activity below (stories or comments). Likely we have partial data — the full bulk-load will fill profiles in.
No user record in our sample, but thezoq2 has activity below (stories or comments). Likely we have partial data — the full bulk-load will fill profiles in.
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.
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
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.…
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…
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
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…
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…
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…
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…
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…
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 pretty good…
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…
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.…
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…
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,…
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
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…
I would add solvespace to that list. It's FOSS and in my experience much more stable than FreeCAD.
the ! indicates that it is a macro, so include_string! is run at compile time.
A professor of mine said something along the lines of "If something isn't confusing enough, give it multiple names"
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…
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.
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…