Deploying and Debugging Remotely with Intellij
Published:
In this blog post I will show you how to sync an Intellij IDEA project with a remote server (called deploying the project to a server), and how to debug remote runs of that project.
Posts by Tags
Debug
Denali
Denali: A Goal-directed Superoptimizer
Published:
This blog post was written for Dr. James Bornholt’s CS 395T: Systems Verification and Synthesis, Spring 2021. It summarizes the context and contributions of the paper Denali: A Goal-directed Superoptimizer, written by Dr. Rajeev Joshi, Dr. Greg Nelson, and Dr. Keith Randall.
Deploy
Deploying and Debugging Remotely with Intellij
Published:
In this blog post I will show you how to sync an Intellij IDEA project with a remote server (called deploying the project to a server), and how to debug remote runs of that project.
E-graphs
Denali: A Goal-directed Superoptimizer
Published:
This blog post was written for Dr. James Bornholt’s CS 395T: Systems Verification and Synthesis, Spring 2021. It summarizes the context and contributions of the paper Denali: A Goal-directed Superoptimizer, written by Dr. Rajeev Joshi, Dr. Greg Nelson, and Dr. Keith Randall.
Intellij
Deploying and Debugging Remotely with Intellij
Published:
In this blog post I will show you how to sync an Intellij IDEA project with a remote server (called deploying the project to a server), and how to debug remote runs of that project.
Mina
Mastering o1js on Mina: Four key strategies for secure development
Published:
For the original (and properly formatted) publication, see Veridise’s post on medium.
Highlights from the Veridise o1js v1 audit: Three zero-knowledge security bugs explained
Published:
For the original (and properly formatted) publication, see Veridise’s post on medium.
Remote
Deploying and Debugging Remotely with Intellij
Published:
In this blog post I will show you how to sync an Intellij IDEA project with a remote server (called deploying the project to a server), and how to debug remote runs of that project.
Secure development
Mastering o1js on Mina: Four key strategies for secure development
Published:
For the original (and properly formatted) publication, see Veridise’s post on medium.
Sync
Deploying and Debugging Remotely with Intellij
Published:
In this blog post I will show you how to sync an Intellij IDEA project with a remote server (called deploying the project to a server), and how to debug remote runs of that project.
ZK
Mastering o1js on Mina: Four key strategies for secure development
Published:
For the original (and properly formatted) publication, see Veridise’s post on medium.
Highlights from the Veridise o1js v1 audit: Three zero-knowledge security bugs explained
Published:
For the original (and properly formatted) publication, see Veridise’s post on medium.
audit
Highlights from the Veridise o1js v1 audit: Three zero-knowledge security bugs explained
Published:
For the original (and properly formatted) publication, see Veridise’s post on medium.
o1js
Mastering o1js on Mina: Four key strategies for secure development
Published:
For the original (and properly formatted) publication, see Veridise’s post on medium.
Highlights from the Veridise o1js v1 audit: Three zero-knowledge security bugs explained
Published:
For the original (and properly formatted) publication, see Veridise’s post on medium.
superoptimization
Denali: A Goal-directed Superoptimizer
Published:
This blog post was written for Dr. James Bornholt’s CS 395T: Systems Verification and Synthesis, Spring 2021. It summarizes the context and contributions of the paper Denali: A Goal-directed Superoptimizer, written by Dr. Rajeev Joshi, Dr. Greg Nelson, and Dr. Keith Randall.