Net Galley Challenge
Saturday, July 4, 2026
Wisdom Sits in Places: Landscape and Language Among the Western Apache
Saturday, June 27, 2026
Independent Learners
https://carlhendrick.substack.com/p/why-you-cannot-believe-your-way-into - This is quiet a read but it might help you frame the challenges in you parent/mentor role in making independent learners. "Productive struggle" is something I have relied on but have to keep monitoring what works.
https://futureofeducation.substack.com/p/teach-your-kid-what-school-doesnt - "Become their mentor, not their drill sergeant"
See what resonates with your situation.
Wednesday, June 24, 2026
The Historical Evolution of Chinese Languages and Scripts
The Historical Evolution of Chinese Languages and Scripts
Tuesday, June 23, 2026
Monday, June 22, 2026
Sunday, June 21, 2026
Tian: The Chronicle of Father Matteo Ricci, China 1582-1610
Tian: The Chronicle of Father Matteo Ricci, China 1582-1610
Saturday, June 20, 2026
A History of the Japanese Language
A History of the Japanese Language
ContemporaryLinguisticsAnIntroductionWilliamOGrady
when-did-human-language-emerge - Cognitive to communicative
How Economics Explains the World
Wednesday, June 17, 2026
Monday, June 15, 2026
Sunday, June 14, 2026
Functional Coverage
A better coverage model would:
- Extract predicates from formal analysis.
- Build dependency graph.
- Remove dominated predicates.
- Generate minimum test set.
This is much closer to the actual behavior space.
Handbook of Satisfiability (Frontiers in Artificial Intelligence and Applications, 336)
Handbook of Satisfiability (Frontiers in Artificial Intelligence and Applications, 336)
Saturday, June 13, 2026
Applied Math
https://x.com/RitOnchain/status/2065754844888260835
Recommended Path by EDA Domain
For Physical Design (Placement, Routing, Timing)
- 18.06 Linear Algebra
- 18.02 Multivariable Calculus
- 18.03 Differential Equations
- 6.251J Introduction to Mathematical Programming
- 6.006 Introduction to Algorithms
- 18.335 Introduction to Numerical Methods
For Verification and Formal Tools
- 6.042 Mathematics for Computer Science
- 18.05 Introduction to Probability and Statistics
- 6.006 Introduction to Algorithms
- 6.046 Design and Analysis of Algorithms
- 6.045 Automata, Computability, and Complexity
- 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.
Thursday, June 4, 2026
Saturday, May 30, 2026
The Buddha and the Sahibs: The men who discovered India's lost religion












