Last 10 notes on Dan s 數位🪴園
驗證 dif compose dif = 0。令 omega = alpha^I dif x^I 為一 k-form，可知 dif(dif omega) = dif((diff alpha^I)/(diff x^j) dif x^j and dif x^I) = (diff^2 alpha^I)/(diff x^k diff x^j) dif x^k and dif x^j and dif x^I 由於 (diff^2 alpha^I)/(diff x^k diff x^j) = (diff^2 alpha^I)/(diff x^j diff x^k) 令 C := (diff^2 alpha...
數位雜草園 posts notes linkgithub@dannypsnlblogdannypsnl.srht.site/.
&r_theta : S^2 -> S^2 \ &r_theta (x, y, z) = (x cos theta - y sin theta, x sin theta + y cos theta, z) is a diffeomorphism.
Homology TypeApplicabilityComputationSingular HomologyAll topological spacesHard to computeSimplicial HomologyOnly triangulable spaces (i.e.
The 3D Shape with 1 Side - Klein Bottles youtu.be/gjbJB-YM7Rg .
misc module agda.PER where open import Level open import Data.Product open import Relation.Binary.Core variable a ℓ : Level record PartialEquivalenceRel {A : Set a} (_~_ : Rel A ℓ) : Set (a ⊔ ℓ) where constructor PER field sym : {a b : A} → a ~ b → b ~ a trans : {a b c : A} → a ~ b → b ~ c → a ~ c ...
The multiplication mu : M compose M -> M of a monad M : cal(C) -> cal(C) allows one to compose f : A -> M B and g : B -> M C via #import "@preview/fletcher:0.5.4" as fletcher: diagram, node, edge #diagram(cell-size: 15mm, $ A edge(f, ->) & M B edge(M g, ->) & M (M...
NOTE for harper.blog/2025/02/16/my-llm-codegen-workflow-atm/ 生成專案規格書 prompt Ask me one question at a time so we can develop a thorough, step-by-step spec for this idea.
Below typed/racket program will produce flo (define-type K (U Number Float)) (define n : K 1.2) (cond [(flonum? n) flo] [(number? n) num]) but if I change the order of clauses? (cond [(number? n) num] [(flonum? n) flo]) The result now is num.
(ql:quickload "cl-project") (cl-project:make-project #P"./path-to-project/root/") It will create a directory with structure: .