---
# System prepended metadata

title: Topics workshop Barcelona 10/0

---

## Topics workshop Barcelona 10/06/2024

* Priority list for next months
* Tentative schedule

* Selectors optimization. Having many  selectors looks like a waste of resources. Can we do it better?
    * Selectors are not the only issue, what about small (a.k.a. 32-bit) registers? [H]

* Signed arithmetic design with similar cost to unsigned arithmetic design?

* Improvements and changes on **PIL2** language proposals [feli]:
    * Subproof instance, parametrization and named parameters.
    * Unify sequences and expressions list.
    * Fixed pilout compression.
    * UPC 2023 recomendations status.
    * Audit report from pilout.
    * Naming (ex: pilout,proof,subproof,air): “Speak Now or Forever Hold Your Peace”.
        * Air -> "Atomic/Basic AIR", SubProof -> "Segment/Component AIR", Proof -> "(Global) AIR" [H]
    * Visibility between sources, export vs private
    * Continuations: new aggregation type
    * Pil2 components setup/build.
    * connection syntaxis 
        * One-dimensional: ([a],[2],[b],[5]) vs ([a,2,b,5])
        * Multiple-dimensional: ([a,c],[2,3],[b,d],[5,7]) vs ([a,2,b,5],[c,3,d,7])
    * "is" keyword (alone vs expression) [hector]
