Dan's 數位🪴園

驗證 dif compose dif = 0。

數位雜草園 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.

The 3D Shape with 1 Side - Klein Bottles youtu.be/gjbJB-YM7Rg .

Homology TypeApplicabilityComputationSingular HomologyAll topological spacesHard to computeSimplicial HomologyOnly triangulable spaces (i.e.

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…

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, -…

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?

(ql:quickload "cl-project") (cl-project:make-project #P".