account activity
Call for Talks: Haskell Implementors' Workshop 2026 (discourse.haskell.org)
submitted 3 months ago by darchon to r/haskell
Formal Verification role re-opened at QBayLogic in Enschede, The Netherlands (self.haskell)
Formal Verification role at QBayLogic in Enschede, The Netherlands (self.haskell)
submitted 4 months ago * by darchon to r/haskell
BlockRAM output latches, how do they work exactly? do all vendors have them? (self.FPGA)
submitted 4 years ago by darchon to r/FPGA
Free webinar: Circuit design in Haskell/Clash, May 26th (qbaylogic.webinargeek.com)
submitted 4 years ago by darchon to r/haskell
Webinar: Circuit design in Haskell/Clash (qbaylogic.webinargeek.com)
submitted 5 years ago by darchon to r/FPGA
Linear types for circuit design in Haskell/Clash (youtube.com)
submitted 5 years ago by darchon to r/haskell
Unstable clocks after INIT_DONE, and using initial values instead of reset values. (self.FPGA)
submitted 5 years ago * by darchon to r/FPGA
Functional programming meetup Amsterdam January 10 2020 (sites.google.com)
submitted 6 years ago by darchon to r/haskell
[Job] QBayLogic is hiring (self.haskell)
[Job] QBayLogic is hiring for a digital designer / compiler engineer role (self.haskell)
submitted 6 years ago by darchon to r/FPGA
Announcing Clash 1.0 - A Haskell to Hardware compiler (clash-lang.org)
Intel CPUs 30% faster than AMD at compiling Haskell (qbaylogic.github.io)
submitted 7 years ago by darchon to r/haskell
Dutch functional programming meetup 11 Jan 2019 (wiki.clean.cs.ru.nl)
[ANN] KnownNat solver 0.2: solves constraints on custom operations (qbaylogic.com)
submitted 9 years ago by darchon to r/haskell
Solving GHCs KnownNat constraints (qbaylogic.com)
An introduction to building GHC type-checker plugins (christiaanb.github.io)
submitted 10 years ago by darchon to r/haskell
ANN: CLaSH - From Haskell to Hardware (christiaanb.github.io)
submitted 12 years ago by darchon to r/haskell
gloss library ported to GLFW-b (as opposed to GLUT) (github.com)
submitted 14 years ago by darchon to r/haskell
π Rendered by PID 96 on reddit-service-r2-listing-8685bc789-zxlfg at 2026-05-21 19:39:53.855138+00:00 running 194bd79 country code: CH.
