Skip to content
Merged

feat #47

Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,11 @@

[点击有惊喜](https://www.bohrium.com) 不要点击


## Principles and Mechanisms

Imagine you are a master chef translating an abstract recipe idea—say, "a savory and bright seafood dish"—into a concrete series of steps for your kitchen staff. You wouldn't just hand them a list of ingredients; you would give them a sequence of precise instructions: "First, sear the scallops; while they rest, deglaze the pan with wine..." The order, timing, and choice of technique are everything. A compiler, at its core, is this master chef. Its task is to translate the abstract logic of your program into a concrete sequence of instructions that a processor can execute. The "recipe" is an [intermediate representation](@entry_id:750746) (IR) of your code, and the process of choosing the best sequence of machine operations is called **[instruction selection](@entry_id:750687)**.

## Principles and Mechanisms

Imagine you are a master chef translating an abstract recipe idea—say, "a savory and bright seafood dish"—into a concrete series of steps for your kitchen staff. You wouldn't just hand them a list of ingredients; you would give them a sequence of precise instructions: "First, sear the scallops; while they rest, deglaze the pan with wine..." The order, timing, and choice of technique are everything. A compiler, at its core, is this master chef. Its task is to translate the abstract logic of your program into a concrete sequence of instructions that a processor can execute. The "recipe" is an [intermediate representation](@entry_id:750746) (IR) of your code, and the process of choosing the best sequence of machine operations is called **[instruction selection](@entry_id:750687)**.
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -3,6 +3,10 @@

本文旨在通俗地介绍这个迷人的理论对象,它已成为弦论、量子引力及凝聚态物理学中不可或缺的工具。我们将探讨从点粒子到弦的转变所带来的知识鸿沟,以及 [2-形式](@article_id:367145)场如何优雅地填补它。在接下来的章节中,您将发现该场的核心原理和机制,了解它如何将[电磁学](@article_id:363853)定律推广到更高维度的情境。然后,我们将踏上一段旅程,探索其最深刻的应用和跨学科联系,揭示 [2-形式](@article_id:367145)场如何确保弦论的自洽性,如何与[轴子](@article_id:316914)等神秘粒子相关联,甚至如何为实验室中奇异的新[物态](@article_id:299884)提供蓝图。

## Principles and Mechanisms

You know, one of the best ways to discover new laws of nature is to take a law you already know and love, and ask a simple, almost childish question about it. Let’s take electromagnetism. At its heart, it’s a story about point-like charges, like electrons, moving through spacetime. Their paths, their **worldlines**, act as sources for a field, the [electromagnetic potential](@article_id:264322), which is described with a mathematical object called a **1-form**, $A_\mu$. This field, in turn, tells other charges how to move. It's a beautiful, self-contained story.

## 原理与机制

你知道,发现自然界新定律的最佳方法之一,就是选取一个你已经熟知并喜爱的定律,然后对它提出一个简单、甚至近乎天真的问题。让我们以[电磁学](@article_id:363853)为例。其核心是关于像电子这样的点状荷在时[空中运动](@article_id:351682)的故事。它们的路径,即它们的**[世界线](@article_id:324131)**,充当一个场的源,这个场就是[电磁势](@article_id:311220),我们物理学家用一个称为 **1-形式** 的数学对象 $A_\mu$ 来描述它。这个场反过来又告诉其他[电荷](@article_id:339187)如何运动。这是一个优美且自洽的故事。
Expand Down