Beautiful Symmetry: A Coloring Book About MathMath is about more than just numbers. In this 'book' the language of math is visual, shown in shapes and patterns. This is a coloring book about group theory.
"Level Up Your Concurrency Skills With Rust" by David Sullins
In an age of diminishing single-core performance improvements, having a strong grasp of concurrent programming is more useful than ever. But what makes it so hard to learn compared to many other concepts? Race conditions are sneaky: they might not show up in your tests, and it can be terrifying if they're first found in production. It's not always easy to see when we've made a concurrency mistake.
"Tackling Concurrency Bugs with TLA+" by Hillel Wayne
Concurrency is hard. How do you test your system when it's spread across three services and four languages? Unit testing and type systems only take us so far. At some point we need new tools. Enter TLA+. TLA+ is a specification language that describes your system and the properties you want. This makes it a fantastic complement to testing: not only can you check your code, you can check your desi
Metamorphisms
It appears that I have insufficient time, or at least insufficient discipline, to contribute to this blog, except when I am on sabbatical. Which I now am… so let’s see if I can do better. Hylomorphisms I don’t think I’ve written about them yet in this series—another story, for another day—but hylomorphisms consist of a fold after an unfold. One very simple example is the factorial function: is the
Building a CPU With Haskell - Part 1 :: Will Yager
Blog Building a CPU with Haskell Part 1 October 2017 Today, we're going to build a simple CPU. We're going to write it in Haskell and use CLaSH to compile it to hardware. This entire webpage is a literate Haskell file. You can see it here on Github. To load the file into an interactive REPL, install CLaSH and run clashi CPU1.lhs. If you want to simulate the Verilog hardware code or put it on an FP
Announcing hgrep
My long weekend project is (arguably) useful enough to share, so I've published it. It's called hgrep, and it uses ghc-exactprint and regular expressions to search Haskell source code from the command line. You can grab it on Hackage or Github. String search For navigational search, I tend to lean pretty heavily on ag. This has all sorts of ramifications - for example, I always format my code such
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Are Jump Tables Always Fastest?
