mikeurbach

7 ms·

1.
by mikeurbach 7mo ago
I gave a short talk about compiling PyTorch to Verilog at Latte '22. Back then we were just looking at a simple dot product operation, but the approach could theoretically scale up to whole models. https://capra.cs.cornell.e
2.
by mikeurbach 3y ago
> To get to this fix you have two things to deal with, first taking the identified timing path and choosing a sensible point to target for optimization and second actually being able to do the optimization. > Because of SystemVerilog&
3.
by mikeurbach 3y ago
Disclaimer: I work on Chisel and CIRCT, and these opinions are my own. These are good points, and I think Chisel is actually improving in these areas recently. Chisel is now built on top of the CIRCT[1] compiler infrastructure, which uses M
4.
by mikeurbach 3y ago
Since you brought up Sasa Juric, I will second that and also mention their book Elixir in Action. It really helped me get from toy examples to feeling confident running the BEAM in production. This is of course Elixir-centric, but the parts
5.
by mikeurbach 5y ago
I used to go very deep on philosophical discussions about the nature of sandwiches with my friends. I’m still digesting the cube rule, but here’s what we came up with: Every sandwich has an axis. The axis is through the filling. You can rou
6.
by mikeurbach 5y ago
We had the pleasure of hosting Dr. Manohar at a CIRCT weekly discussion session earlier this year. He presented much more recent work if anyone is interested. The talk and discussion was recorded here: https://sifive.zoom.us&#x2F
7.
by mikeurbach 5y ago
I contribute to CIRCT, so I feel like I should chime in here. I personally hope that it can provide exactly the kind of unifying IRs we are all hoping for in the open-source community. The fact that the tools are implemented in C++ may be a
8.
by mikeurbach 5y ago
I've been enjoying placing a drop right along the divide and seeing which way it goes. For example, up near Lenawee Mountain (aka A-basin). I've also noticed that up there, sometimes there is no route to either ocean. I guess it e
9.
by mikeurbach 6y ago
There was some interesting discussion between the LLHD[1] and MLIR[2] folks about just this topic recently[3]. My takeaway: modeling behavioral HDL semantics in the IR is a huge mess that has to account for all of the complexity in the exis
10.
by mikeurbach 6y ago
I find it fascinating this research and MLIR[1] seem to have been developed independently around the same time. Figure 1 tells the same story in both papers. The authors mention the possibility of representing their concepts in MLIR, which
11.
by mikeurbach 7y ago
When I read the headline and saw the source, I assumed this would be about GraphQL. I know Instagram utilizes GraphQL, for example on the web client, so now I'm wondering how that fits in.
12.
by mikeurbach 7y ago
For the last year or so, I've been fascinated by this concept, and I've been exploring language oriented programming with Racket. There was some discussion on this topic and the Beautiful Racket book here a while back [1]. That bo
13.
by mikeurbach 8y ago
I'm just finishing up the last tutorial, and I highly recommend this as well. I made one traditional C compiler back in college with flex and bison, which I consider an invaluable experience, but I've always wanted to tap in to th
14.
by mikeurbach 8y ago
I learned the most by reading and writing about great speeches in high school English. Lincoln's Gettysburg Address, Marc Antony's speech in Julius Caesar, and JFK's moon speech all come to mind. Understanding why these were
15.
by mikeurbach 8y ago
Sadly, I have even less to say about OTP given my limited knowledge of it. I would really like to have another course that would focus more on it. As an experienced programmer learning about the Erlang and Elixir ecosystem, I found
16.
by mikeurbach 8y ago
Some people are actively working on formal verification for Rust. The RustBelt project is the first that jumps to mind. A paper and some discussion here: https://news.ycombinator.com/item?id=16302530
17.
by mikeurbach 9y ago
I can't comment on this specific course, but I took a compilers course from Tom Cormen that completely changed how I thought about computing. After several years in industry, it's not so much the specific techniques of constructin
18.
by mikeurbach 14y ago
Couldn't agree more. It seems like "algorithm" is starting to be used among the non-tech world to refer to the computerization of everything in a negative way. Really, an algorithm is a mathematical formulation of how to solve a problem, al