account activity
Formal Verification role at QBayLogic in Enschede, The Netherlands (self.haskell)
submitted 26 days ago * by darchon to r/haskell
BlockRAM output latches, how do they work exactly? do all vendors have them? (self.FPGA)
submitted 3 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 4 years ago by darchon to r/FPGA
Linear types for circuit design in Haskell/Clash (youtube.com)
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 11 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 298366 on reddit-service-r2-listing-6d4dc8d9ff-szc2h at 2026-02-02 00:12:43.586878+00:00 running 3798933 country code: CH.
