Disposing words

 Inscribed Objects and the Development of Literature in Early Japan by Joshua Frydman (review)

Writing and Community in 300 BCE China

The Canonical Poems (Shi) at the Chu Capital of Ying

 

A Billion Voices: China's Search for a Common Language: Penguin Specials 

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

 

How Economics Explains the World

The opening in the book of how many hours of work it takes to produce a unit energy of light is interesting. Timely considering the scale/measurement with the datacenter power metrics.

At the international scale its interesting how the social capitalism and state capitalism are burgeoning.

The Age of Sail reminded me of The Age of Wood book.

The disparity of wealth in cultures with Wonders of the world level monuments. Mohenjadaro not making the cut because it was an equal society, no hoarding capital.

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