Mathematics

\[\int_a^b f'(x)\; dx = f(b) - f(a),\quad\quad\quad\frac{d}{dx}\left(\int_a^x f(t)\; dt\right)=f(x)\]

The integration on forms concept is of fundamental importance in differential topology, geometry, and physics, and also yields one of the most important examples of cohomology, namely de Rahm cohomology, which (roughly speaking) measures precisely the extend to which the fundamental theorem of calculus fails in higher and on general manifolds.

Terrence Tao, Differential Forms and Integration
  • One-form
    Category:
    Date: 2025-08-27 00:00:00 +0000
    Tags: 1-form,integral,FTC

Cryptography

\[c = \operatorname{Enc}_k(m),\quad m = \operatorname{Dec}_k(c),\qquad \Pr[M = m \mid C = c] = \Pr[M = m]\]

"The enemy knows the system."

Claude Shannon, Communication Theory of Secrecy Systems
  • Cryptography Title Category:
    Date: 2025-06-15 00:00:00 +0000
    Tags: neonprogrammingtechniques

Programming

\[\text{Program} = \text{Algorithms} + \text{Data Structures}\]

"Programs must be written for people to read, and only incidentally for machines to execute."

Harold Abelson, Structure and Interpretation of Computer Programs
  • Neon Programming Category:
    Date: 2025-06-15 00:00:00 +0000
    Tags: neonprogrammingtechniques