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

Epistemic Orientation

 Chatgpt -- many fictional characters embody exactly this impulse: compulsive decoding, orienting themselves through clues, languages, symbols, maps, and hidden systems. Some are detectives, but others are wanderers, archivists, scholars, or anxious observers trying to make the world legible.

A few especially close to what you described:

• Sherlock Holmes
  Notices tiny environmental clues constantly: mud, handwriting, accents, cigarette ash, train schedules, regional details. The world is readable if one pays attention.
• Robert Langdon
  Almost entirely driven by semiotics — symbols, architecture, scripts, hidden meanings, historical layering. A very “everything is a clue” mindset.
• Lisbeth Salander
  Hypervigilant pattern assembler. Information gathering is both power and emotional regulation.
• Adrian Monk
  A more anxiety-centered version of this. Disorder and uncertainty create distress; observation and categorization restore calm.
• Hermione Granger
  Uses knowledge acquisition as stabilization. When confronted with uncertainty, she researches compulsively.
• The Doctor
  Reads cultures, scripts, technologies, histories instantly; curiosity and orientation are inseparable.
• Spock
  Processes unfamiliar environments by systematic classification and linguistic decoding.
• Hari Seldon
  Treats civilization itself as something legible through patterns.
• Aomame and many protagonists from Haruki Murakami novels
  Exist in states of estrangement where tiny signs and details become psychologically charged clues.

There are also characters whose relationship to language itself resembles what you said:

• Arrival's Louise Banks
  Language learning becomes a way of restructuring reality and reducing alienness.
• Professor Henry Higgins
  Identifies people through accent and linguistic detail instantly.
• Milo Thatch
  Driven by scripts, lost languages, translation, and the desire to decode forgotten worlds.
• Indiana Jones
  Archaeological clue-chasing mixed with linguistic and symbolic interpretation.

A particularly close match to your description may actually be characters from works about archives, maps, and interpretation rather than classic detectives:

• The Name of the Rose
  A whole world where manuscripts, symbols, languages, and tiny clues create psychological orientation.
• Foucault's Pendulum
  About the intoxicating tendency to connect everything into hidden systems.
• The Rings of Saturn
  A wandering associative consciousness where every object triggers historical and linguistic excavation.
• Invisible Cities
  Cities become semiotic puzzles and emotional maps.

What you describe also resembles a certain kind of “scholar-adventurer” archetype:

• someone uncomfortable with opacity,
• compelled to annotate the world,
• using language and clues to domesticate strangeness.

In fiction, this trait often overlaps with:

• detectives,
• archivists,
• codebreakers,
• anthropologists,
• librarians,
• cartographers,
• conspiracy theorists,
• translators.

Because all of them transform uncertainty into interpretable structure.

Index making

 20 types of index in Chinese and Kanji

Have never thought of the index making process, of writing in small index cards.

Intrepid Indexing