Top all-time · #14184
Gergo Erdi
Personal blog · unsafeperform.io/blogprogramminghardware
Gergo Erdi writes Gergő.Érdi.hu, a personal blog at unsafeperform.io about programming and hardware. Since 2015, 5 different Hacker News readers have linked it 11 times, most often “Show HN: Retrocomputing with Clash: Haskell for FPGA Hardware Design”. The last post was in 2024, but the archive is still widely read.
Too few sampled comments (1) to say how often HN recommends it.?
Why HN links it
Linked as a post by the person writing a book on building retrocomputers with Clash, a Haskell-to-VHDL compiler. The post is about building a tiny computer with Clash.
Summarised by Claude from a sample of 1 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
Most-linked posts?
- Show HN: Retrocomputing with Clash: Haskell for FPGA Hardware Design2 people · 2 mentions · first linked 2021-11-23
- A Clash Course in Solving Sudoku (Functional Pearl) [pdf]2 people · 2 mentions · first linked 2025-08-21
What Hacker News says?
I once did an introductory talk to Agda that was structured around solving the MU problem, i.e. proving that MU is not derivable in MIU: https://unsafePerform.IO/projects/agda/sg-meetup/SGMeetup.pd... (the MIU bit starts in Part III, slide 46)
Comment linking /projects/agda/sg-meetup/SGMeetup.pdf
on “A Python implementation of formal systems from the book “Gödel, Escher, Bach””Submitted Show HN: Retrocomputing with Clash: Haskell for FPGA Hardware Design as a story · 80 points
HN discussionAs an alternative to Hindley-Milner, also consider a compositional type system ( https://unsafePerform.IO/projects/talks/2016-06-compty/CompT... it should be a very good match for the kind of simple HM type systems that you're going to encounter while learning about compilers. Here's code if you prefer that to slides: https://github.com/gergoerdi/hm-compo
Comment linking /projects/talks/2016-06-compty/CompTy.pdf);
on “So you want to be a compiler wizard (2016)”Submitted A Clash Course in Solving Sudoku (Functional Pearl) [pdf] as a story · 22 points
HN discussionFor the Haskell-inclined, there's a book in the works about building retrocomputers with Clash (a Haskell->VHDL compiler) This blog post is by the person working on it and about the topic itself: https://unsafeperform.io/blog/2020-11-17-a_tiny_computer_for...
Comment linking /blog/2020-11-17-a_tiny_computer_for_tiny_basic/
on “The Impractical but Indisputable Rise of Retrocomputing”Submitted Sub-10-microsecond Haskell Sudoku solver implemented in hardware [pdf] as a story · 4 points
HN discussionHere's an example where I used, if not the Yoneda lemma, its categorical dual the co-Yoneda lemma (named `MarketRequest` in this post because I didn't know about it at that point so had to reinvent it to my particular use case) to solve a very real software engineering problem: http://unsafePerform.IO/blog/2012-12-01-static_analysis_with...
Comment linking /blog/2012-12-01-static_analysis_with_applicatives/
on “Categories for Programmers: The Yoneda Lemma”Submitted Retrocomputing with Clash – Haskell for FPGA Hardware Design as a story · 3 points
HN discussionIn the book (see the sample chapter 8 at https://unsafeperform.io/retroclash/#samples ) we create a proto-almost-game (just a bouncing ball) first by directly wiring together signals. However, the resulting circuit description is much harder to understand and extend than a more structured approach, so we rewrite it in a more principled manner by decomposing it into two parts: a `Input -> State -> State` circuit used…
Comment linking /retroclash/
on “Show HN: Retrocomputing with Clash: Haskell for FPGA Hardware Design”Submitted Formatting serial streams in hardware with Clash/Haskell as a story · 3 points
HN discussionIf your type system is HM, consider a compositional type system instead, for much better explainability of type derivations and type errors: https://unsafePerform.IO/projects/talks/2016-06-compty/CompT...
Comment linking /projects/talks/2016-06-compty/CompTy.pdf
on “How to choose between Hindley-Milner and bidirectional typing”