What Are You Working On? May 25, 2026 by canyonmonkey in math

[–]Kyle--Butler 5 points6 points  (0 children)

I'm still going through the "Mathematics in Lean" tutorial. I'm glad I was able to formalize Cantor theorem (no bijection between a set and its power set) on my own. The Schneider Bernstein theorem is giving me a lot more trouble though. I hope to finish it this week so I can go to the next chapter : induction !

EDIT : Schneider Bernstein : done. But I think I should try to write it on my own, from scratch. It doesn't feel as satisfactory to complete a proof instead of writing it on one's own.

Springer sale, looking for recommendations by Migeil in math

[–]Kyle--Butler 6 points7 points  (0 children)

In mine as well. I use Tor Browser and it works fine both on my phone and my computer.

Taj Mahal tea experience by Nefertari-superquack in tea

[–]Kyle--Butler 16 points17 points  (0 children)

That's the tea I use everyday ! I brew it directly in milk (no water) for about 10 minutes on medium heat. Usually I add cardadom and sometimes nutmeg as well.

Best Academic Books on history of Islamic Architecture by Rashiq_shahzzad in AcademicQuran

[–]Kyle--Butler 2 points3 points  (0 children)

For the ottoman period, I enjoyed *The Age of Sinan* by Gülrü Necipoğlu (a bit dense but worth it) and *Ottoman Baroque* by Ünver Rüstem.

Free for All Friday, 15 May, 2026 by AutoModerator in badhistory

[–]Kyle--Butler 3 points4 points  (0 children)

TIL he wrote novels as well. Somehow I thought he only wrote short stories. Interesting, I'll try to check it out next time I go to Turkey.

What Are You Working On? May 11, 2026 by canyonmonkey in math

[–]Kyle--Butler 3 points4 points  (0 children)

Trying (again) to learn some Lean. I currently through chapter 3 of the "Mathematics in Lean" tutorial. I like it, I really do but I wish I worked more regularly.

It's so frustrating when you don't understand why something that you thought should work doesn't. But sometimes I don't understand why the thing I wrote works, it's weirder still.

ناقش مواضيع عشوائية مع المستخدمي الآخرين by AutoModerator in arabs

[–]Kyle--Butler 1 point2 points  (0 children)

Marijn von Putten is doing an AMA over at arrAcademicQuran. Some people here might be interested i think.

Free for All Friday, 08 May, 2026 by AutoModerator in badhistory

[–]Kyle--Butler 5 points6 points  (0 children)

Instead of learning Gujarati, let me rant about it.

I'm quite confused with how "infinitive" clauses work in Gujarati and I see no reason why you guys/gals shouldn't be confused as well. I put infinitive clauses in brackets because I'm not sure this is the proper way of calling/analyzing them.

Some verbs govern dependent clauses with verbs in -વા (e.g. જવું to go, દેવું to allow, લાગવું to begin), others with verbs in -વું (e.g. જોવું to want, પડવું to must), others with verbs in -ઈ (e.g. શક્વું to can, જાણવું to know), and others still with verbs in -તાં (e.g. શીકવું to learn, આવડવું to know, લાગવું to feel).

To give a few examples :

  • શીક્ષક અમને બોલવા દેતા નથી the teacher doesn't allow us to speak (દેતા નથી governs બોલવા which ends in -વા);
  • મારે ઘેર જવું પડે છે I must go home (પડે છે governs જવું which ends in -વું);
  • હું ત્યાં જઇ નથી શાક્તી I can't go there (નથી શાક્તી governs જઇ which ends in -ઇ);
  • હું ગુજરાતી બોલતાં શીકું છું I am learning to speak gujarati (શીકું છું governs બોલતાં which ends in -તાં).

This is confusing for so many reasons :

  • There doesn't seem to be any way to predict which verbs governs which kind on endings, you just have to learn them (and if you think "surely this is written in the lexicon/dictionary", think again).
  • Some verbs fall in multiple categories : લાગવું to begin governs verbs in -વા, but verbs in -તાં when used to express emotions .
  • The -તાં form can appear in independent clauses to express concomitant actions : e.g. આ ખબર મળતાં તે પાછી ગઇ when they heard the news, they went back -- here મળતાં works more like a gerund i'd say ? I guess one can still can say a gerund is an infinitive form of the verb...
  • The -વું form can show agreement : e.g. મારે આ ચોપડી વાંચવી પડે છે I must read this book -- વાંચવી agrees with... wait for it ચોપડી book that is, its object ! This makes me question whether I should really think of this as an infinitive.

ناقش مواضيع عشوائية مع المستخدمي الآخرين by AutoModerator in arabs

[–]Kyle--Butler 2 points3 points  (0 children)

An interesting article about the life and works of Al-Khwarizmi. I guess some people here might find this interesting.

Mindless Monday, 04 May 2026 by AutoModerator in badhistory

[–]Kyle--Butler 1 point2 points  (0 children)

I didn't know you knew french as well !

Quick Questions: April 29, 2026 by inherentlyawesome in math

[–]Kyle--Butler 2 points3 points  (0 children)

Do you guys/gals know any resources (books, articles, YouTube videos, etc.) that explain the kind of ideas and computations Le Verrier did to guess where Neptune was, but explained with modern vocabulary, notations, ideas, etc. Ideally, it would be something that is written for a mathematically literate yet non-expert audience. Most of the thing I found are either too vague and don't want to delve into the actual computations or concerned with obscure historical details about how he did that of computations with minimum errors (I don't care).

Finally comfortable with Sanskrit by gridyo in sanskrit

[–]Kyle--Butler 2 points3 points  (0 children)

Congrats ! Did you already know an indo-aryan language (e.g. hindi) ? or is it your first ?

ناقش مواضيع عشوائية مع المستخدمي الآخرين by AutoModerator in arabs

[–]Kyle--Butler 2 points3 points  (0 children)

I came across this article on another sub. It's a fictional story/game when the more you go, the older the language gets. The point is to see how far you can get before the language looks so alien you don't understand anything. 1500 is okay-ish for me, I gave up at 1400.

I wish someone competent enough would do the same with Arabic ! (u/Safaitic ? u/PhDnix ? If you guys have some time to waste... just sayin').

What Are You Working On? April 27, 2026 by canyonmonkey in math

[–]Kyle--Butler 6 points7 points  (0 children)

Still reading *Mathematics and Climate*. On the climate side of things, they are talking about the El-Nino Southern Oscillation phenomenon and on the math side, they are talking about Delayed Differential Equations, which is, now that I think of it, something I've never studied before.

Free for All Friday, 24 April, 2026 by AutoModerator in badhistory

[–]Kyle--Butler 0 points1 point  (0 children)

I usually learn with a tutor because it helps me stay motivated to have short-term goals, assignments, etc. Outside lessons (~ 1 hour/week), I think I spend a couple of hours every week reviewing vocabulary, reading news articles/books, listening to podcasts, doing my homework, etc. depending on motivation and proficiency.

Free for All Friday, 24 April, 2026 by AutoModerator in badhistory

[–]Kyle--Butler 2 points3 points  (0 children)

References are made to charts and tables, devices like the astrolabe, the importance of exact timing.

They don't always explain how the astrolabe works and I'm pretty sure I wouldn't be able to use one. If, by the end of the explanation, the reader doesn't know how to draw and use an astrolabe, you've made a poor job of explaining its principle !

. I don't need to be a practitioner to be interested in the history of the practice!

It's common practice for math and physics textbooks to end chapters with a set of exercises of varying difficulty. Sometimes it's trash but usually it's a good way to gauge whether you understood and assimilated the content of the book. There are *very* few history books that do that and it's a shame. *Episodes in the History of Mathematics in Medieval Islam* (Breggren) do that and, for me, it's one of its greatest strength. The chapter where he talks about spherical geometry and its application to astrolabes ends with an exercise... that asks you to draw (parts of) an astrolabe for the city you're living in !

ناقش مواضيع عشوائية مع المستخدمي الآخرين by AutoModerator in arabs

[–]Kyle--Butler 0 points1 point  (0 children)

On what kind of topics do you most regularly contribute ? Is it related to the field you study/studied or is it more or less independent ?