finally, the actual message display block.
(sry i actually defined 3 blocks.)

• flash [message] for 0.5 seconds
displays the message for 0.3s and clears the speech bubble for 0.2s.
this makes the message appear to flash.

⬆️ countdown block.
loops 3 times. decreases by 1. period.

⬇️ random number display block.
accumulates the sum in the variable `correct answer`.

lemme explain the source code.
the main flow is:
1) counts down 3, 2, 1.
2) displays 10 numbers.
3) asks the user to enter the answer.

i defined 2 functions ("blocks").
• say countdown
• flash random numbers

I created a Mental Addition game.

To answer the sum of 10 numbers that are flashed very fast.
https://scratch.mit.edu/projects/930715752/

I created a Scratch account yuuki29.
I'm yuuki29 on Scratch.
https://scratch.mit.edu/users/yuuki29/

slept 9

im reading the standard english style guide on the following page.
https://en.wikipedia.org/wiki/Wikipedia:Manual_of_Style

mega evolvable pokemon i don't have a hundo.
i also don't have a Diancie.

js received my online grocery order.
pls keep track of what's in my house.

if you are not my mutual and really want to contact me, please dm or write to me at yuuki@yuukikonno.com if you are a single woman.

i'm currently following the most intellectual people such as studytwt folks, harvard students, or mensa members.

so i never comment on youtube or tiktok.

i aim to live without talking to anyone but my twitter mutuals.

this is to avoid this.
https://xkcd.com/386/

breakfast affogato

shopped for 7 hrs at home

8:30 slept 15:30 up

boutta go to bed with bear

i tm'd frustration away the other day, but can't evolve it till Earth Power* comes back, so:

my happiness
just about average
my poke
⸻Kobayashi Issa

i used the hashtag "want to connect with unschoolers".
#不登校さんと繋がりたい

no corresponding subtwt in english fsr.
#unschoolers #unschooling #homeschoolers #homeschooling #schoolrefusal #schoolavoidance #schoolanxiety

- hobbies: shogi/programming/math/english
- stan of: nothing
- fav game: pokemon go
- comments:
never drink or smoke / never get my driver's license / never fall in love or get married

- what's the acc for?: lifestreaming
- mainly tweet: my thoughts
- twitter stance: anything is OK
- what kind of ppl do u want to connect with?: ppl who share my hobbies
- free space:
5th grade~ unschooler / lives alone in late grandma's house / receives $700 a month from parents

my profile says 29age/male/NEET.

my pinned says:
lf friends

(2nd pic, made with https://prfmaker.com/m/479)
- name: yuuki
- tw id: @yuuki170
- account age: 2023~
- active hours: non-24-hour sleep-wake disorder
https://x.com/i/status/1727315152121610747

wanted an ai pfp but no different than me irl

cr: https://www.pixiv.net/artworks/110547305

started using my jpn acc.
i quote n translate some tweets on this acc smtm.
maybe once a month.
@yuuki170
https://x.com/i/user/1672629051419410435

i decided to put my blog's source on Gist.
still under maintenance.
https://gist.github.com/yuuki15/6f4dd4a6ce7f5b23cd06f86394d17269

I've uploaded some of my videos etc to archive.org.
hope they will remain until a future where youtube is gone.
https://archive.org/search?query=creator%3A%22yuuki+%E3%82%86%E3%81%86%E3%81%8D%28%E9%87%91%E9%87%8E%E8%A3%95%E5%B8%8C%29%22

¹ this indicates "direct implications or relative consistency implications", tho.
(e.g., huge < supercompact)

in order of both size and strength:
• inaccessible < measurable < huge < rank-into-rank < 0=1

in the large picture,
• the size of a number
is proportional to
• how many numbers it can prove to be consistent.

the largest number proves the consistency of all numbers, including itself.
by Gödel's theorem, it is a "contradiction".

let us write Fin + Inf as ZFC.

similarly, if we add "a large cardinal exists", then we can prove the consistency of ZFC.
• ZFC + LC ⊢ Con(ZFC)

by Gödel's second incompleteness theorem, the axioms "finite numbers exist" can't prove their own consistency.
• Fin ⊬ Con(Fin)

now if we add "ℵ₀ exists", then we can prove the consistency of finite numbers.
• Fin + Inf ⊢ Con(Fin)

this shows Fin + Inf > Fin.

so the Q is, what tf is the largest infinite number.
n it's a "contradiction" (aka 0=1).
as drawn in this pic.¹

let me explain from scratch.

actually, large cardinals refer to large ♾ with specific properties.

(the successor of an inaccessible cardinal is not inaccessible by definition.)

¹ it is shown
• ℶ₁ ≠ ℵ₀ (Cantor)
• ℶ₁ ≠ ℵ_ω etc. (König's theorem)
tho.

infinities are written
• ℵ₀, ℵ₁, ℵ₂, …, ℵ_ω, …
in order from smallest to largest.

for the number of reals ℶ₁,
• ℶ₁ = ℵ_?
is not provable from the standard axioms of mathematics.¹

the ℶ₁ = ℵ₁ conjecture is called the
• continuum hypothesis (CH).

actually, there's infinitely many infinite numbers.

¹ already known to the Jains of India (400 BC), tho.
but they made mistakes such as the number of points on a line |ℝ| and a plane |ℝ²| are not equal. (both are 2^ℵ₀.)

actually, the number of natural, integer, and rational numbers are all the same.

that infinite number is called ℵ₀ (aleph zero) or ℶ₀ (beth zero).

Cantor (1874) proved that the number of reals is larger than that.¹
that is called 𝔠 = 2^ℵ₀ = ℶ₁ (beth one).

the idea that having the same number is the same as having a 1-1 correspondence is called
• Hume's principle.¹

¹ neither Hume nor Galileo thought it applied to ♾, tho (unlike Cantor).

have a look at this strange pic.
there's 2 circles.
a big one and a small one.

however, both circles consist of the same number of dots.
(there's a 1-1 correspondence.)
https://blog.wolframalpha.com/2010/09/10/transfinite-cardinal-arithmetic-with-wolframalpha/

♾ is such a strange thing.
the whole and part can be the same size.¹
cf.
• Galileo's paradox.

¹ contrary to Euclid's 5th Common Notion (300 BC).
although some say that some CNs are by, e.g., Theon of Alexandria (4c).

mathematically, the answer is A✔
they're the same.
(even tho evens are part of integers.)

this is bc one integer corresponds to one even.
1 ↦ 2
2 ↦ 4
3 ↦ 6
4 ↦ 8
5 ↦ 10
︙
n ↦ 2n
︙

A) same bc they're infinite
B) infinity can't be compared
C) integers ofc bc evens are only half of them

let me explain from scratch.

Q: which is greater,
• the number of all integers
• the number of all even numbers

both are infinite.
there's many ways to think abt it.

mathematicians consider infinity a number.

this is bc in the 19c, a man named Cantor found that there are "multiple infinities".
i.e., infinity 1, infinity 2, infinity 3, ….

just like 1, 2, 3, ….
can also do arithmetic with ♾.

im summarizing my tweets here rn
https://min.togetter.com/kb628xT

The largest number is a "contradiction".
let me explain this.

u may be reminded of a googolplex or graham's number.
the problem is: graham's number+1 is larger.

they're still finite.

i forgot dominoes

what's tricky is numbers go on forever.
1, 2, 3, 4, … is only the beginning.
large numbers beyond graham's number are still "natural numbers".

(ultrafinitists deny the existence of numbers that are too large.)

note commutativity, distributivity etc can be proved by a method called induction (other than using lego).

philosophically, there can be 2 ways of thinking:
• numbers are such code in reality
• no, such code are just a miniature model of numbers

i stand with the former,
but on 2nd thought the latter may be more rational.

sounds like there's a kinda programming language within math.
numbers can be programmed/coded with it.

there could also be implementations on a computer, such as Lean.

just as atoms are made of elementary particles, it seems that numbers can be made from sets, functions (church encoding), or categories (or topoi).

as sets:
0 = {}
1 = {{}}
2 = {{}, {{}}}
3 = {{}, {{}}, {{}, {{}}}}

there's a definition of numbers called
• Peano axioms.
i haven't figured it out yet.

when we ask smtg like "why does 1+1=2?", it is said that we face the so-called
• Münchhausen trilemma.

marbles, number lines, or areas of figures can be used as well.
i suspect one aspect of these is the "unary numeral system".

like
3 + 4
= 111 + 1111
= 1111111
= 7.

cr: https://www.resolve.edu.au/algebra-odds-and-evens https://commons.wikimedia.org/wiki/File:Square_number_16_as_sum_of_gnomons.svg

Lego bricks can be used for visualizing numbers.

parity arithmetic:
even + even = even
even + odd = odd
odd + odd = even

sum of odd numbers:
1 + 3 + 5 + … + (2n - 1) = n²

it has limitations and it's hard to believe that lego is the nature of numbers.

• What are numbers?
i mean,
• What is the nature of natural numbers?

Conclusion: it's hard.

it's a fundamental question, but not an easy one to answer.
it's better to pretend to know such "obvious" things and move on.

0:00 js woke up.
same breakfast every day.
coffee, persimmon, muesli, yogurt

a peggy grammar i wrote 4 months ago.
idk how to make it so that we can add an = at the end, like 1+1=
https://github.com/yuuki15/calculator/blob/main/src/grammar.pegjs

My calculator uses a thing called Peggy (formerly PEG.js) parser generator.
it can calculate 1+1.
i want it to be able to handle polynomials like (a+b)^2 => a^2 + 2ab + b^2.
https://calculator-online.github.io/

(repo) https://github.com/yuuki15/calculator

i updated my pokemon list.
Mega Garchomp will be out on Nov 11.
https://www.pokebattler.com/profiles/1124360
https://www.pokebattler.com/profiles/1124361

(repo) https://gist.github.com/yuuki15/ed4e4a08eb56881fb20bdcd7c5bb5882

My paper showing that shogi is not a second player win.
no errors found yet, but it's possible that the assumptions are not true.
https://en.wikiversity.org/wiki/User:Yuuki_(Wikimedian)/Blog/Shogi_is_a_first-player_win_or_draw_under_reasonable_assumptions

13:00 slept 20:00 woke up 7 in bed

bad. tasteless. (i don't have a plate.)
mango may be too sweet for the mild roux. too much.

added 100g of water bc the water was low.
then i put in 3 cubes (out of 6).

my strategy: minimum water first, add as needed later.

mango chutney paste, House "the curry" mild cubes

the paste should've been added with water.
there was a bouillon paste packet in the box but i don't use it

300g onion, 30g vegetable oil, 200g pork, 200g water
sautéd then added water.
idk why it has to be sautéd first.

i use a scale for everything n never use measuring cups or spoons.

making curry today

i don't subscribe to gas.
i use this poor portable induction cooktop.

Breaking: Othello (aka Reversi) is weakly solved.
it is a draw.
(not yet peer reviewed.)
it was said to be a draw.
https://arxiv.org/abs/2310.19387

i subscribe to:
• electricity $120
• water $25
• wastewater $12
• kerosene $20
• fiber optic $50
• SIM $6
sum: $233 per month.
(converted ¥100 to $1)

I'm currently using SBI Sumishin Net Bank as my main.
bc of 5 free transfers/mo.
(rarely use it tho.)

i also use Japan Post Bank.
that's the only way to pay water bills in my town.

js found a thing called Piped.
https://piped.video/playlist?list=PLeGD69-sgIimXRiP_ZuoNTVv1QqOAhp3Y

revised my paper on the shogi game against chatgpt
https://en.wikiversity.org/wiki/User:Yuuki_(Wikimedian)/Blog/ChatGPT_versus_yuuki

the water office, surprisingly, recos not drinking the first 10 liters of water in the morning.
i’ve also noticed the very first water is bad.
https://www.city.oshu.iwate.jp/suido/kurashi_suido/1/4394.html

i drink tap water every day.
used to hate it tho.
to save money n for SDG.

∠A = arccos(4/5) = arcsin(3/5) = 36.86989764…°
∠B = 90° - ∠A = 53.13010235…°
according to wolfram alpha.

it’s obvious that these numbers are irrational by Niven’s theorem and transcendental by the Lindemann–Weierstrass theorem.

the area is 4*3/2 = 6.
ppl seem confused by the hypotenuse drawn on the bottom.

such integer sided right triangles are called pythagorean triangles.

since CH : CA = BC : BA
or CH : 4 = 3 : 5,
CH = 12/5.
BH is found by the pythagorean theorem and so is HA.

A quiz to find the area of the triangle, which only 55.4% of 6th graders in japan got right.
i did some research on this.
https://president.jp/articles/-/54306

I currently have 2 credit cards.
- Amazon MasterCard
- Rakuten Pink Card (Amex)
i use the former as my main bc amazon is internationally recognized. the latter is only for rakuten.

won’t buy a new macbook pro, am afraid it’s a minor update with no face id or titanium body.

i moved my twitter card to linkedin.
https://www.linkedin.com/in/yuukikonno/

converted pdf to png with imagemagick:
% convert -density 300 -background white -alpha remove Profile.pdf Profile.png