FPGA

Typelevel Traverses Europe

Typelevel Traverses Europe

I am excited to announce three upcoming, in-person meetups across Europe this October! These events are a wonderful opportunity to connect with other functional programming enthusiasts in a safe, supportive space. We welcome current and aspiring Typelevel users, contributors, and anyone curious t...

0
Finding Hardware Bugs - Computerphile

Finding Hardware Bugs - Computerphile

When you're setting your hardware design out using automated tools is essential, but what if the tools themselves have bugs in them? John P Wickerson is based at Imperial College London. The paper that John's team wrote about the work: https://johnwickerson.github.io/papers/fuzzing_pnr.pdf An a...

0