131 lines
4.3 KiB
Markdown
131 lines
4.3 KiB
Markdown
|
||
![[Pasted image 20230315004917.png]]
|
||
### DAY 1
|
||
|
||
**Speakers**
|
||
|
||
###### Compact & Extensible Portable Scheme VM
|
||
Talk given by Marc Feeley
|
||
- A talk about Scheme VM
|
||
```
|
||
{cond-expend
|
||
(define-fecture time
|
||
(decl ("import time"))
|
||
|
||
(define-feature elapsed-time
|
||
(use time)
|
||
# import start time
|
||
|
||
#features can also be enabled via
|
||
# the command line))
|
||
|
||
}
|
||
```
|
||
- a long history of using Scheme
|
||
- 1-5
|
||
|
||
### DAY 2
|
||
|
||
|
||
|
||
### DAY 3
|
||
|
||
Quantum Programming Workshop
|
||
*FIRST INTERNATIONAL CONFERENCE ON ART, SCIENCE, & ENGINEERING*
|
||
|
||
On the website: [https://2023.programming-conference.org/home/qp-2023](https://2023.programming-conference.org/home/qp-2023)
|
||
|
||
|
||
|
||
#### **Speakers**:
|
||
|
||
##### Stephanie Moroyallei - Quark
|
||
|
||
- Dynamic memory - and the comparitive difference of using that.
|
||
- Finite state machines → a talk about abstractions
|
||
- SMT solvers are better than SAT solvers basically in this case
|
||
- QUARC vs CNF formula
|
||
- When you dont use any SAT solver to constrain the problem, the space will get very big, CNF formula
|
||
|
||
Conclusion:
|
||
→ QUARC encodes a classical function into a quantum circuit
|
||
- Bounded model checking gets substantial speedup using quantum
|
||
- Use semantic ___, first use SMT optimization to deal with the memory issues than use bit-blasting - generating random bits to deal with the intentional array problem
|
||
|
||
---
|
||
|
||
|
||
##### Ryo Wakizaka - Distributed Clusters with Quantum Interconnects
|
||
|
||
- Dealing with QuICS - quantum internet → quantum protocols
|
||
- Quantum computer clusters form distributed networks
|
||
- Model checking tools through PRISM
|
||
- Used to check for connectedness of BB84 protocol
|
||
- We need efficient and universal checking techniques
|
||
- Matrix → inefficient but universal
|
||
- Stabilizer → efficient, but not universal
|
||
- Equivalence checking with ZX calculus
|
||
- Is the graphical language for quantum computing
|
||
- Equivalence checking tools are available
|
||
- Not for quantum communication tprotocols though
|
||
- The plan is to check for universality
|
||
- Switching to quantum computer clusters
|
||
- IBM Kookaburra 1386 x 3 qubits ~ 2024
|
||
- Essential technology for non large quantum program → distributed quantum compulters
|
||
|
||
|
||
Where you have 2 processors and the are done remotely via telegate
|
||
- Need a target langage - so that we don't run into issues with run time and deadlock
|
||
- Enable static verification
|
||
- inQUIR based on dpi calculus
|
||
- With key primitive being location
|
||
- There is a circuit representation th
|
||
|
||
Equivalent cirucit representation is there:
|
||
```
|
||
p1 {
|
||
q1 = init();
|
||
c = genEnt[p2](1);
|
||
rcxc[p2](q1, c);
|
||
}
|
||
||
|
||
|
||
p2{
|
||
q2 = init();
|
||
c = genEnt[p1]()
|
||
rcxc[p1](q2, c)
|
||
|
||
}
|
||
```
|
||
|
||
##### Lisa Yeh - **[Generalized W state circuits in the qudit Clifford hierarchy](https://2023.programming-conference.org/home/qp-2023#)**
|
||
|
||
|
||
#### Dinner! (-:
|
||
with Will, Ryk, & Lia ~
|
||
- smallTalk
|
||
- is used by a lot of financial industries because it is not very well known and can do things really fast in
|
||
- it is a programming language that can create systems very quickly
|
||
- The story of [Jane Street](https://en.wikipedia.org/wiki/Jane_Street_Capital) company
|
||
- apparently it employs many people from Oxford
|
||
- they largely use smallTalk
|
||
- also employed Sam Friedman Bankman as their intern
|
||
- on Hackerspaces
|
||
- Recurse Center formerly known as Hacker School but changed because it caused a lot of immigration issues (lol)
|
||
- going to Tokyo hackerspace
|
||
- something about being able to atomize and send encodings that way with ham radio
|
||
- SCHEME!!!
|
||
- a new book by Gerry Sussman is out :-D
|
||
- Software Design for Flexibility
|
||
- on Versioning and Containerization
|
||
- this issue of having reproducible results
|
||
- Ryk was telling a story about how this site that was hosting their package that was needed for their project was needed
|
||
- but the code didnt work and the only thing was that the versioning changed
|
||
- had to host it locally but still versioning issue
|
||
- Will mentioned blockchain - putting it on the distributed system and then hashing it
|
||
- Docker was mention
|
||
- what is better than docker? Nix (for linux)
|
||
- GNU GNUIX for scheme!
|
||
- akihabara is good for radio and electronics
|
||
- Hen shen - the silicon valley of hardware parts (or at least used to be, may not be anymore)
|
||
- |