Jean Abou Samra

@jeanas.bsky.social

137 Followers 13 Following

PhD student in theoretical computer science at Eötvös Loránd University in Budapest. Mainly here to chat about TCS/math.

Une du journal « Le Figaro » en ligne le 22 novembre 2025 : « Philippe de Villiers et Éric Zemmour : quand deux figures politiques cherchent dans l'histoire des civilisations l'antidote à la décadence » Chapeau de l'article : « ANALYSE - Le remède à la crise présente est-il à chercher dans le passé ? Philippe de Villiers et Éric Zemmour y puisent, chacun à sa manière, pour porter un diagnostic et appeler à un sursaut vital. »
A long and complicated list of declarations in Agda notation style, describing the notion of a category with families as a generalized algebraic theory.
An excerpt from Henk Barendregt's book "The λ-calculus. Its syntax and semantics", reading: DEFINITION. A set 𝒜 ⊆ Λ is closed under equality if M ∈ 𝒜, M = N ⇒ N ∈ 𝒜
A math formula: x^m binom(x, n) = sum(j from 0 to m) falling(n+j, j) (sum(i from 0 to m) stirling2(m-i, j) binom(m, i) n^i) binom(x, n+j) = sum(i from 0 to m) sum(j from 0 to m) (sum(k from 0 to i) stirling1(j+1, i-k+1) stirling2(m-k, j) binom(m, k)) n^i binom(x, n+j) where falling(a, b) = a(a-1)⋯(a-b+1) is the falling factorial, binom is a binomial coefficient, and stirling1, stirling2 are Stirling numbers of the first and second kind, respectively.
Pablo Picasso's painting "Flayed head of a sheep"
A commutative diagram with hundreds of objects and arrows, so cluttered and with so much overlap between labels that it is undecipherable.
Three passengers in a train or plane. Woman — So, what do you guys do? First man — I'm a racist, sexist, fascist, homophobic, anti-semite who enjoys bringing frivolous lawsuits against struggling single moms, and also I kick puppies and eat babies. Woman — And you? Second man — I'm a math teacher. Woman — Oh my God, I haaaaaated math class.
A Google search for "(-2)-categories" showing an AI answer according to which a (-2)-category is a set, a (-1)-category is a groupoid, a 0-category is a category and a 1-category is a 2-category.
Screenshot of a Twitter reply that reads “I'm on Bluesky as well, FWIW” (by @gro_tsen). The Twitter interface marks this reply as “probable spam”.
Article à la une sur le site Web du journal Le Monde : Mark Zuckerberg veut plus d'« énergie masculine » et moins de politique de diversité Après avoir limité la modération des contenus, le fondateur de Meta a expliqué, dans le podcast de Joe Rogan, partisan assumé de Donald Trump, pourquoi il mettait fin à sa politique d'inclusion.
A cartoon where a man, opening the door of a room full of monkeys, says: “No Shakespeare yet, but here's another copy of ‘Art of the Deal’.”
Equation: lim_(n→+∞) (√n ≤ 2^(√(log(n)))) = False + i True
Image de la console à distance d'une machine virtuelle, qui est un terminal fourni par l'hébergeur dans le navigateur Web. Un menu contient un bouton « Download screenshot ».