tonextpage @2nextpage

INTP | 전자음악 청취 & 알코올 섭취 중독 | CS & MAS | Cytus II | OW2 Brigitte Main Joined April 2024

Tweets

43
Followers

1
Following

82
Likes

42

Rotaeno公式 @rotaenojp

3 weeks ago

【RTキャンペーン開催！特殊パイロット NEKO#ΦωΦ を無料でゲット】コラボイベントをお祝いに、NEKOがメーカーさんと交渉してたら、超お得なプレゼント企画がまさに登場~σΦ∀Φ)σ この投稿が全プラットフォームで合計2222RTを超えたら、NEKOの特殊パイロットを無料でゲットできるよ！…

8 1K 2K 125K 120

Download Image

Some theorems @CihanPostsThms

3 years ago

In ZF the following are equivalent: (1) ℕ is a Lindelöf space. (2) ℚ is a Lindelöf space. (3) ℝ is a Lindelöf space. (4) The axiom of countable choice holds for subsets of ℝ.

1 12 90 0 11

sakiw3 @saki_w33

a month ago

Tiger on the loose(´･Д･)」 #Overwatch #dva

5 861 5K 98K 526

Download Image

Some theorems @CihanPostsThms

2 months ago

Let Fₙ be the free group on n generators. Theorem. Given an integer n≥0, TFAE: (1) Out(Out(Fₙ)) = 1. (2) n ≠ 2.

2 7 82 6K 15

A topological space X is said to have *countable cellularity* if the size of any collection of disjoint open subsets of X is (at most) countable. Theorem: The statement "If X,Y have countable cellularity, then so does X x Y." is independent of ZFC.

7 23 195 23K 25

豊穣ミノリ🍀🍊 豊穣折紙 / VTuber @hojo_origami

2 months ago

微分音音楽の新曲投稿しました！！！！ P`rismatic fut`URE 【13限界純正律 / 13-limit JI】 youtu.be/xSIS2lobkTk

5 19 49 9K 10

🖤🌹♡𝐍𝐚𝐲𝐨𝐦𝐢♡🌹🖤 @Nayomi_Arts

2 months ago

Brigitte dokiwatch🎀💛 #Overwatch2fanart #Brigitte

0 115 718 10K 39

Download Image

Fermat's Library @fermatslibrary

2 months ago

The fifth hyperfactorial: 5⁵ × 4⁴ × 3³ × 2² × 1¹ = 86400000 milliseconds is exactly 1 day!

28 162 964 62K 193

Download Image

モリモリあつし🦋🥛 @ats024

3 months ago

『　蝶は人を引き裂く　』 PUPA (xi Remix) youtu.be/FiCYNl2pBAA Music：モリモリあつし ( @ats024 ) Remix：xi ( @com_giko_31 )

9 826 3K 107K 265

Download Video

MathMatize Memes @MathMatize

3 months ago

Not a great definition of a vector space

40 185 3K 51K 161

Download Image

Cytus / CytusⅡ【公式】 @CytusRayark

3 months ago

Cytus II v5.2.6 アップデート ➤ 新曲パック「Stream Palette Selection」を追加。以下の人気楽曲5曲を収録： Bring Me Back Cloud Rider Fracture (Cytus II Edit) Keep Trying (Cytus II Edit) Control ➤ 無料の新曲2曲を追加： Showcase digitAl pun[K]

0 130 551 512K 29

Download Image

The Math Flow @TheMathFlow

3 months ago

One of the most delightful theorems of plane geometry was discovered fairly recently, a little over a hundred years ago, that's Morley’s Theorem(In any triangle, the three points of intersection of adjacent angle trisectors are the vertices of an equilateral triangle).

3 27 152 4K 41

Download Image

Mathieu @miniapeur

3 months ago

5 118 767 39K 178

Download Image

Abakcus @abakcus

3 months ago

The beautiful proof of why √2 ∉ Q 😲

11 96 617 35K 206

Download Image

Cytus / CytusⅡ【公式】 @CytusRayark

3 months ago

Cytus II v5.2.6 Trailer 「ROBO_Head」に新たに2曲の楽曲を追加： ➤ Showcase ➤ digitAl pun[K] Black Market に楽曲パック「Stream Palette Selection」が追加： ➤ Bring Me Back ➤ Cloud Rider ➤ Fracture (Cytus II Edit) ➤ Keep Trying (Cytus II Edit) ➤ Control Coming on 2025.07.16

2 148 498 67K 28

Download Video

Math Lady Hazel 🇦🇷 @mathladyhazel

3 months ago

The mean value theorem on a bridge in China.

22 145 1K 47K 116

Download Image

지수 @nong2gh

3 months ago

#Brigitte

2 273 2K 35K 189

Download Image

지수 @nong2gh

3 months ago

#brigitte #brigitteLindholm

18 570 5K 72K 697

Download Image

Abakcus @abakcus

3 months ago

If you write the numbers from 82 to 1 in descending order, you will get a 155-digit prime number. 😮

4 56 267 14K 49

Download Image

Lean @leanprover

3 months ago

📣 We're excited to share the new lean-lang.org! Relaunching our website was a key deliverable in our Year 2 roadmap to provide "improved navigation and access to valuable content, resources, and tools." We hope you like it! #LeanLang #LeanProver