Verifiable Computing Project - Building truly open-source computing hardware - GeekcampSG 2022 @geekcampsg
Verifiable Computing Project - Building truly open-source computing hardware - GeekcampSG 2022  @geekcampsg
Uploaded November 2022 | Updated September 2026, 2 weeks ago
Processors are at the heart of our devices. As they become more integrated with other functions, what do we know about how they work? Do we trust their designers? We present a computer design with a FPGA RISC-V processor implementation, allowing for the underlying hardware to be inspected.

Joyce Ng (@quantumcatgirl) is the Chief Technical Officer of Hyan Technologies Pte. Ltd. An electronics engineer interested in all things science and tech, and how our science and tech affects society and the way we live. Does a mix of software and hardware related topics

Q&A at 30:18

Visit https://geekcamp.sg for more information about GeekcampSG
Verifiable Computing Project - Building truly open-source computing hardware - GeekcampSG 2022Think twice before dropping ACID and throw your CAP away - GeekCampSG 2017Modify UI with/out Source Code by Prof ZhaoES6   The Future of Javascript by Ryo ChikazawaParsing Differential Problem - GeekcampSG 2022When a meta-circular interpreter meets itself - GeekCampSG 2017The Incredibly Fine Balance of an Open Source Project and an Open Source Product - GeekCampSG 2019Application Security for FREE!! - GeekCampSG 2019The Unreasonable Effectiveness of Dumb Values - GeekcampSG 2022Data Services - The Good, the Bad and the ugly... by Yap Neng GinnMETA II: A compiler-compiler that generates its own code - GeekcampSG 2020The L4 Compiler: a toolchain for a DSL for law - GeekcampSG 2022
GeekcampSG |

Verifiable Computing Project - Building truly open-source computing hardware - GeekcampSG 2022

SHARE TO X SHARE TO REDDIT SHARE TO FACEBOOK WALLPAPER