ymherklotz

3 ms·

1. 1.▲
   by ymherklotz 7mo ago

   No I think it's fine. On another note, I have proven Fermat's Last Theorem with z3 using this setup :) and it goes faster if you reduce a variable called "timeout" for some reason! from z3 import * s = Solver()
2. 2.▲
   by ymherklotz 3y ago

   I mean you could ship GNU info documentation (for which I saw a quick mention in the Blog post, but thought I’d mention why I like it). These can be generated from a variety of sources, including markdown. When installed alongside your app,
3. 3.▲
   by ymherklotz 3y ago

   Clash compiles to Verilog or VHDL, just like most higher-level hardware description languages (Bluespec is another interesting one which has a Haskell-like dialect and the compiler is written in Haskell). It's impractical for most new&
4. 4.▲
   by ymherklotz 3y ago

   The benefit is uniformity, everythings the same, which is one of the main reasons I use Emacs. I can use all of my usual navigation keys to move around the documentation of the variable, evaluate things inline, etc.. Just as if it were mo
5. 5.▲
   Downloading Academic Papers Automatically(yannherklotz.com)

   4 points by ymherklotz 4y ago|0 comments