A high level sketch:

Another High Level Sketch

Step 1: Write some RegExps

Do that.

Step 2: Construct R

For regular expressions you have defined for keywords, identifies, numbers, etc… We want to construct an uber union regular expression:

\begin{align} R &= \text{Keyword} + \text{Identifier} + \text{Number} + \dots \\ &= R_1 | R_2 | R_3 | \dots \end{align}

Step 3: Tokenization

For input \(x_1, …, x_{n}\), for \(i \in 1 …n\) inclusive, we check:

Project80 is a podcast hosted by Houjun Liu, Anoushka Krishnan, Micah Brown, Mia Tavares, among others.

College Application w.r.t. Project80

Cheese mission statement: Project80 is a good way of creating a self-propegating set of learning that would serve to benefit and educate future generations in hopes of creating a more equitable planet.

Natural science education resources traditionally teach only codified theory. While theory education is crucial, much of academic science takes place via scrutinizing contested scientific discourse. Due to such resources’ content complexity, high school students are rarely exposed to current, debatable, and relevant science. In response, we introduce Project80: a systemic, student-run protocol to synthesize the latest primary literature in a sub-field into approachable, produced multimedia educational content. The protocol is run by a team of 7 students over the course of 1 month. Students running the protocol consume complex scientific literature, distill relevant data and findings, and synthesize a culminating product of audiovisual content to supplement existing biology and chemistry pedagogy. The system runs independently with limited faculty involvement. Our analysis indicates that the multimedia content created by this protocol will be relevant to roughly 30 courses locally at our institution and will have further extensions in secondary education beyond.

a type of cell

proof are important: you don’t understand something until you proof it. We want to come up with the right level of proof—this is a challenge.

• good proofs should be clear
• good proofs should be correct and convincing
• good proofs has layers: “cover the ‘hot’ technical details with various levels of intuition”

Typically, in writing proofs, it could be helpful to write three levels of detail:

1. “hint” of the proof - “proof by contradiction, proof by induction, follows from…”
2. “sketch” of the proof - a one-paragraph of the description of the main ideas
3. the proofy proof

• lecture proof are usually very scant of the third-level details
• you should think about how to fill in the details!

methods of proof

• construction
• contradiction
• induction / strong induction
• most powerful type of proof—reductions, connecting problems together

interactive proof systems

We have two parties of a game, the proves and verifier. Something is a well-formed proof system IF BOTH: