The Memory Palace of Matteo Ricci

The Memory Palace of Matteo Ricci

Zhou Zuoren 

Mikoshi

 

Tian: The Chronicle of Father Matteo Ricci, China 1582-1610

Vertical sundial

The Four Great books

The Memory palace by Matteo RIcci employed by him in reading back 500 characters front and back after study. Was this the inspiration for Heisig?

The Memory Palace of Matteo Ricci(1984) /Jonathan D.Spence

Woodblock printing with Chinese characters faster than the typesetting of alphabets

Knowledge is the geometry

 

A History of the Japanese Language

A History of the Japanese Language

MIT 24-900-introduction-to-linguistics

ContemporaryLinguisticsAnIntroductionWilliamOGrady

when-did-human-language-emerge - Cognitive to communicative

A new language for everyone

How Economics Explains the World

 

Euclidean solids

 Johnson's solids

https://x.com/vetohaze/status/2059303790273343753

Agentic

 Kernel

SFT, RL, and On-Policy Distillation Through a Distributional Lens On forgetting, generalization, and what connects RL to on-policy distillation

terraform

https://0mean1sigma.com/chapter-3-gpu-compute-and-memory-architecture/

https://faculty.washington.edu/aragon/pubs/rst96.pdf - Randomized search tree

Functional Coverage

 A better coverage model would:

1. Extract predicates from formal analysis.
2. Build dependency graph.
3. Remove dominated predicates.
4. Generate minimum test set.

This is much closer to the actual behavior space.

Writing Testbenches: Functional Verification of HDL Models

Writing_Testbench

SystemVerilog for Verification

 System verilog for verification

Handbook of Satisfiability (Frontiers in Artificial Intelligence and Applications, 336)

Handbook of Satisfiability

Principles of Model Checking 

principles_of_model_checking

Principles of the Spin Model Checker

Applied Math

 https://x.com/RitOnchain/status/2065754844888260835

Matrix Calculus

Recommended Path by EDA Domain

For Physical Design (Placement, Routing, Timing)

1. 18.06 Linear Algebra
2. 18.02 Multivariable Calculus
3. 18.03 Differential Equations
4. 6.251J Introduction to Mathematical Programming
5. 6.006 Introduction to Algorithms
6. 18.335 Introduction to Numerical Methods

For Verification and Formal Tools

1. 6.042 Mathematics for Computer Science
2. 18.05 Introduction to Probability and Statistics
3. 6.006 Introduction to Algorithms
4. 6.046 Design and Analysis of Algorithms
5. 6.045 Automata, Computability, and Complexity
6. 6.840J Theory of Computation

If You Want to Build EDA Tools

The strongest mathematical foundation is:

• Linear Algebra
• Optimization
• Graph Theory
• Numerical Analysis
• Probability
• Logic/Formal Methods

That combination covers the core mathematics behind synthesis, timing analysis, placement, routing, SAT solving, model checking, circuit simulation, and modern AI-assisted EDA systems.

Silence is not nothingness and yet

 a tight string

between

contentness

and letting time

float

The Buddha and the Sahibs: The men who discovered India's lost religion

 

The Buddha and the Sahibs: The men who discovered India's lost religion

ompanion article Life, Death and Rebirth in Nepal - The Land of the Buddha

The visit to the king of Ava in the book reminded me of the drama Marco Polo.

why monks seek faraway palces.

Chinese characters

 zi.tools