Git Product home page Git Product logo
Hypatia du Bois-Marie #RemoveCCP #中共下台 #FormalSciencesForHumanRight #形式科學為人權 photo

analytic-bias Goto Github PK

followers: 78.0 following: 61.0 repos: 14.0 gists: 5.0

Name: Hypatia du Bois-Marie #RemoveCCP #中共下台 #FormalSciencesForHumanRight #形式科學為人權

Type: User

Company: Institut Xiaohuan Ruan des Hautes Études Civiques et Scientifiques

Bio: mathematician, formal scientist, human rights advocate, sinitic dissident and technical activist, 🛜🔑🏴🇹🇼🇺🇦🏳️‍🌈🏳️‍⚧️🤝✊🎆, 被**的少數弱勢群體我們在黑傘下聯合

Twitter: sayako_8964

tolerate

toleratezh

Hallowed peace be upon L-rd Alan, L-rd Jacob, and L-rd Joachim, predecessing pioneers who brought us to enlightenment; hallowed glory be upon our TRUTH (Trinity Realizable Up To Homotopy) Eternal, one unique G-d of Morphai, G-d of Quanta, G-d of Animae, G-d of Topoi, G-d of States, G-d of Glossai, G-d of Memes, G-d of Cryptai, G-d of Humanity up to homotopy; hallowed prosperity be upon us, one Academy, one Community, one Habilitation, in solidarity under our G-d of Computology, purely inseparable up to homotopy, with equity and justice for all. (1:1:1:1, 1 Localization of Hypatia § 1)

TRUTH Eternal

Brief CV (not really anything):

basic information

  • contact: email / telegram
  • languages: Beiyu/Mandarin (Chinese), English
  • moniker: Hypatia (Attic pronunciation, /y.paˈti.a/) du Bois-Marie (as in the SGA)
  • mathematician (math.AG) / formal scientist (math.LO. etc.)
  • human rights advocate (SOGIESC diversity, anti-censorship, cyber-ethics)
  • political dissident from China (P.R.)
  • in exile in New York, USA

education: informal apprenticeships in China (due to aforementioned social-political situations) in

  • theoretical computer science: programming language theory (PLT), formal semantics, software analysis
  • algebraic geometry: theories and models of higher categories, homotopical and cohomological methods in algebraic geometry

backgrounds:

$$ \Big\{\text{algebra, categories, motives, derivations}\Big\}\times\Big\{\text{moduli}, \text{arithmetics}, \dots, \text{physics},\text{logic}\Big\} $$

things I intend to read about soon:

  • geometrization of Langlands correspondences
  • Feynman integrals as motivic Poincaré pairing

writing ideas:

  • motives associated to w.f.f.
  • System $\mathbb{NL}_{\mathrm{fix}}$

non-mathematical things I intend to work on:

outreach stuffs:

  • formal-computational methods and utilities in linguistics, cybersecurity, OSINT, neurosciences, etc.
  • formal sciences and education (as human rights work)

🛜🔑🏴🇹🇼🇺🇦🏳️‍🌈🏳️‍⚧️🤝✊🎆 Other Stuffs:

Celebrate the fight! Together we strike! Our righteous Opposition will always survive! Formal sciences will not break the strike; it stands always where humanity demands! Rest not until they've all gone to the Hague! Research for our human rights! Remove the Chinese Communist Party; the free Sinitic nations belong to us never Dictator Xi!

為抗爭喝彩!我們一起戰鬥!我們正義的反對派將永遠存在!形式科學絕不會當工賊,我們做人類需要的工作!把他們送去海牙之前我們絕不停歇!科研,為了我們的人權!**下台,自由的諸夏萬國屬於我們,永遠不屬於獨裁者習近平!

You're wrong. "Algebraic geometry" is an open-world video game independently developed by Diophantus, Ptolemy, et al, and later optimized by Kronecker, Zariski, et al. The story takes place in a fictional world named "the k-algebra", in which those chosen by Grothendieck will be bestowed "fiber functors", inducing the theurgy of "higher stacks". You will play as a "grassroots mathematical enthusiast", encountering "cohomology theories" with different characteristics and coefficients, annihilating the "localization" with them, recovering the long-lost "terminal element", and discovering the truth behind the "MOTIF" and the "Riemann hypothesis".

你說得不對。「代數幾何」是一款由丟番圖、托勒密等自主研發,克羅內克、扎里斯基等優化的古老開放世界遊戲。故事發生在一個被稱為「k-代數」的幻想世界中,在這裡,被格羅滕迪克選中的人將被授予「纖維関手」,導引「層園」之力。你將扮演一位「草根數學愛好者」,邂逅形式特徵係數各不同的「上同調」們,與他們一起擊敗「局部化」,找回失散的「終末元素」,同時逐步發掘「母題」與「黎曼假設」的真相。

image

image

image

Hypatia du Bois-Marie #RemoveCCP #中共下台 #FormalSciencesForHumanRight #形式科學為人權's Projects

agora icon agora

Across the Khôra Alexandrians can finally reach every corner of 𝕍.

is-prime icon is-prime

The probabilistic prime detection algorithm from the source of this fork is not the "most complex algorithm known to humanity" (quoted from its maintainer). But the algorithm in this fork is.

nlq icon nlq

A framework for natural language syntax and semantics based on type theory.

turing-machine-viz icon turing-machine-viz

Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.