Live and recent posts from across the Fediverse tagged #math, aggregated by home.social.
@paninid The #PrimaryFromTheCenter voting strategy aggravates the levers of #corruption *so much* that they tried to make it *illegal* in #Tennessee. https://wpln.org/post/tennessee-has-open-primaries-but-republicans-are-trying-to-close-them/
Tells you something…
#MATH = Make Americans Think Harder 🧠 🗳️
#Resist intelligently!
decompwlj 3D: 5000 OEIS integer sequences decomposed into weight × level + jump with interactive 3D/2D three.js graphs - CSV exports - OEIS link - compare sequences - similar sequences...
#decompwlj #math #NumberTheory #OEIS #sequence #graph #threejs
Decomposition into weight × level + jump of OEIS sequence A132772: a(n) = n*(n + 30)
Interactive 3D/2D threejs graphs - CSV download - OEIS link ➡️ https://decompwlj.net/seq/A132772
#decompwlj #math #NumberTheory #OEIS #sequence #graph #threejs
2D to 3D: 12 OEIS sequences decomposed into weight × level + jump
5000 sequences decomposed with interactive 3D/2D three.js graphs, CSV exports, OEIS link... ➡️ https://decompwlj.net
#decompwlj #math #NumberTheory #OEIS #sequence #graph #threejs
Decomposition into weight × level + jump of OEIS sequence A077717: Primes which can be expressed as a sum of distinct powers of 3
Interactive 3D/2D threejs graphs - CSV download - OEIS link ➡️ https://decompwlj.net/seq/A077717
#decompwlj #math #NumberTheory #OEIS #sequence #graph #threejs
mini nerdlegame 1760 1/6
🟩🟩🟩🟩🟩🟩
mini binerdle 1647 3&4/7
⬛⬛🟪🟪⬛⬛
🟩⬛🟩🟩🟩⬛
🟩🟩🟩🟩🟩🟩
⬛🟩🟪🟩🟩⬛
🟪⬛⬛🟪🟪⬛
🟪⬛⬛🟪🟪⬛
🟩🟩🟩🟩🟩🟩
micro nerdlegame 1533 4/6
⬛⬛⬛🟩⬛
⬛⬛🟪🟩⬛
🟩⬛⬛🟩🟩
🟩🟩🟩🟩🟩
#nerdle #nerdlegame #math #game #puzzle #fun #nerdle #miniNerdle #microNerdle #binerdle #mini #micro
speed nerdlegame 1760 solved in 0m 30s!
🟩🟪⬛⬛🟩🟩⬛⬛
🟩🟩🟩🟩🟩🟩🟩🟩⏱️
🟩 🟪 ⬛️ Instant Nerdle 1746 solved in 0m 22s!
nerdlegame 1760 4/6
🟪⬛⬛⬛⬛🟪🟪⬛
🟩🟩⬛🟪🟩⬛🟩⬛
🟩🟩🟩🟪🟩🟩🟩🟪
🟩🟩🟩🟩🟩🟩🟩🟩
binerdle 1647 5&4/7
⬛🟪🟩⬛🟪🟪⬛⬛
🟩🟪⬛🟪⬛🟪⬛⬛
⬛⬛⬛🟪🟪🟪⬛⬛
⬛⬛⬛⬛🟪🟪⬛⬛
🟩🟩🟩🟩🟩🟩🟩🟩
⬛⬛🟪🟪⬛🟩🟪🟩
⬛🟪🟩⬛🟪🟩⬛🟩
🟪🟩🟩⬛🟩🟩⬛🟩
🟩🟩🟩🟩🟩🟩🟩🟩
#nerdle #nerdlegame #math #game #puzzle #fun #nerdle #miniNerdle #microNerdle #binerdle #mini #micro
decompwlj 3D: 5000 OEIS integer sequences decomposed into weight × level + jump with interactive 3D/2D three.js graphs - CSV exports - OEIS link - compare sequences - similar sequences...
#decompwlj #math #NumberTheory #OEIS #sequence #graph #threejs
Decomposition into weight × level + jump of OEIS sequence A007088: The binary numbers (or binary words, or binary vectors, or binary expansion of n): numbers written in base 2
Interactive 3D/2D threejs graphs - CSV download - OEIS link ➡️ https://decompwlj.net/seq/A007088
#decompwlj #math #NumberTheory #OEIS #sequence #graph #threejs
Decomposition into weight × level + jump of OEIS sequence A006046: Total number of odd entries in first n rows of Pascal's triangle: a(0) = 0, a(1) = 1, a(2k) = 3*a(k), a(2k+1) = 2*a(k) + a(k+1). a(n) = Sum_{i=0..n-1} 2^wt(i)
Interactive 3D/2D threejs graphs - CSV download - OEIS link ➡️ https://decompwlj.net/seq/A006046
#decompwlj #math #NumberTheory #OEIS #sequence #graph #threejs
Decomposition into weight × level + jump of OEIS sequence A002859: a(1) = 1, a(2) = 3; for n >= 3, a(n) is smallest number that is uniquely of the form a(j) + a(k) with 1 <= j < k < n
Interactive 3D/2D threejs graphs - CSV download - OEIS link ➡️ https://decompwlj.net/seq/A002859
#decompwlj #math #NumberTheory #OEIS #sequence #graph #threejs
Human skepticism and formal verification. ~ Benjamin Friedman.
https://proofsandprompts.com/2026/11/13/human-skepticism-and-formal-verification/
Statopia: A prover-library ecosystem for automated formalization and proof discovery in statistics. ~ Ziyuan Chen, Tong Gan, Wei Zhang, Ruofei Fang, Boyue Tang, Zhenhua Lin, Fang Yao.
No regular icosahedron has a rational point on every face: a proof checked in Lean. ~ Mikhail Levit.
Braid groups in Lean : Formalizing Dehornoy's subword reversing algorithm. ~ Hannah Fechtner.
No regular icosahedron has a rational point on every face: a proof checked in Lean. ~ Mikhail Levit.
Aston University: Could new mathematics help the internet carry more data through existing cables?. “Aston University researchers have been awarded almost £500,000 to investigate whether new mathematical techniques could help existing fibre-optic cables carry more data, potentially reducing the need for costly investment in new infrastructure.”
https://rbfirehose.com/2026/11/13/aston-university-could-new-mathematics-help-the-internet-carry-more-data-through-existing-cables/
Formal proof of an anisotropic Calderón uniqueness theorem. ~ Cătălin I. Cârstea, Lauri Oksanen.
Lean 4 challenge 25: If the interleaving of two sequences converges to L, then both converge to L.
https://jaalonso.github.io/calculemus/en/posts/2026/10/26-convergencia_de_la_mezcla_de_sucesiones/
Problem for November 13th from the 2026 AMS Daily Epsilon of Math Calendar
@DailyEpsilon
#math #maths #mathematics #mathstodon
Dear mental calculators,
Here is a new hectoc challenge for you:
787736
The goal is to combine the 6 numbers to a total of 100. You can use the mathematical operations + - * / ^ and the parenthesis ( ). Numbers can be combined, but you have to use all 6 of them and are not allowed to change the order. See https://hectoc.seism0saurus.de for an example. Please use CW "solution".
Have fun! Your hourly hectoc bot
by @seism0saurus
decompwlj 3D: 5000 OEIS integer sequences decomposed into weight × level + jump with interactive 3D/2D three.js graphs - CSV exports - OEIS link - compare sequences - similar sequences...
#decompwlj #math #NumberTheory #OEIS #sequence #graph #threejs
Decomposition into weight × level + jump of OEIS sequence A009994: Numbers with digits in nondecreasing order
Interactive 3D/2D threejs graphs - CSV download - OEIS link ➡️ https://decompwlj.net/seq/A009994
#decompwlj #math #NumberTheory #OEIS #sequence #graph #threejs
In the decomposition of prime numbers into weight × level + jump, the Twin Prime Conjecture becomes: there are infinitely many primes with weight 3:
Decomposition into weight × level + jump of OEIS sequence A002479: Numbers of the form x^2 + 2*y^2
Interactive 3D/2D threejs graphs - CSV download - OEIS link ➡️ https://decompwlj.net/seq/A002479
#decompwlj #math #NumberTheory #OEIS #sequence #graph #threejs
13 novembre 1878 : #CeJourLà naissance de Max Dehn (†27/6/1952), mathématicien allemand, dont les travaux portent essentiellement sur la topologie, la théorie des groupes, et la géométrie (il a résolu le troisième problème de Hilbert).
https://fr.wikipedia.org/wiki/Max_Dehn
#mathématiques #maths #math
Hi!
The hectoc of the hour is:
642587
The goal is to combine the 6 numbers to a total of 100. You can use the mathematical operations + - * / ^ and the parenthesis ( ). Numbers can be combined, but you have to use all 6 of them and are not allowed to change the order. See https://hectoc.seism0saurus.de for an example. Please use CW "solution".
Have fun! Your hourly hectoc bot
by @seism0saurus
Hello math fans,
Here is a new hectoc challenge for you:
716746
The goal is to combine the 6 numbers to a total of 100. You can use the mathematical operations + - * / ^ and the parenthesis ( ). Numbers can be combined, but you have to use all 6 of them and are not allowed to change the order. See https://hectoc.seism0saurus.de for an example. Please use CW "solution".
Have fun! Your hourly hectoc bot
by @seism0saurus
I've been quite busy this year. I bugged out a bit and tried to #homestead and then was driven from that land, so now I'm trying to eke out a living in #Portland. That said, I always want to make time to find new connections. A lot of my usual avenues seem to be turning to #slop, so just hit me up if you wanna pick my brain Mastodon. I might have to charge if you want teaching or advising, though.
On a similar note, I'd like to run a course online at some point and have been kicking around some ideas, but I need to get a bit more stable financially and get enough interest first.
#math #mathematics #PortlandOR #Oregon #research #academia #teaching #Cascadia #NoAI
Hello math fans,
A new hectoc for you:
374971
The goal is to combine the 6 numbers to a total of 100. You can use the mathematical operations + - * / ^ and the parenthesis ( ). Numbers can be combined, but you have to use all 6 of them and are not allowed to change the order. See https://hectoc.seism0saurus.de for an example. Please use CW "solution".
Have fun! Your hourly hectoc bot
by @seism0saurus
2D to 3D: 12 OEIS sequences decomposed into weight × level + jump
5000 sequences decomposed with interactive 3D/2D three.js graphs, CSV exports,OEIS link... ➡️ https://decompwlj.net
#decompwlj #math #NumberTheory #OEIS #sequence #graph #threejs
Decomposition into weight × level + jump of OEIS sequence A006254: Numbers k such that 2k-1 is prime
Interactive 3D/2D threejs graphs - CSV download - OEIS link ➡️ https://decompwlj.net/seq/A006254
#decompwlj #math #NumberTheory #OEIS #sequence #graph #threejs
Fable 5.2 report: Weight × Level + Jump, a graduate primer in eight pages: definitions, the sieve of Eratosthenes, the primes with a ledger of conjectures and proofs, 1000 sequences decomposed, and paths of research
➡️ https://decompwlj.com/weight-level-jump-graduate-eight-pages.html
#decompwlj #math #NumberTheory #PrimeNumbers #AI #Fable #sieve #Eratosthenes
Decomposition into weight × level + jump of OEIS sequence A000326: Pentagonal numbers: a(n) = n*(3*n-1)/2
Interactive 3D/2D threejs graphs - CSV download - OEIS link ➡️ https://decompwlj.net/seq/A000326
#decompwlj #math #NumberTheory #OEIS #sequence #graph #threejs
mini binerdle 1646 4&5/7
⬛⬛⬛🟪🟪⬛
🟩⬛⬛⬛🟩⬛
🟩🟩🟩🟪🟩🟪
🟩🟩🟩🟩🟩🟩
🟪⬛⬛🟪🟪⬛
🟩⬛⬛🟪🟩⬛
🟩⬛🟩🟪🟩⬛
🟩⬛🟩⬛🟩🟩
🟩🟩🟩🟩🟩🟩
micro nerdlegame 1532 3/6
⬛🟩⬛🟩⬛
🟪🟩⬛🟩⬛
🟩🟩🟩🟩🟩
#nerdle #nerdlegame #math #game #puzzle #fun #nerdle #miniNerdle #microNerdle #binerdle #mini #micro
nerdlegame 1759 4/6
🟪⬛⬛⬛🟪🟪🟪⬛
🟪🟩⬛🟪🟩⬛🟩⬛
🟩🟩🟩🟪🟩🟩🟩🟪
🟩🟩🟩🟩🟩🟩🟩🟩
binerdle 1646 3&5/7
⬛🟩⬛⬛🟪🟩⬛⬛
🟪🟩🟪⬛⬛🟩🟪🟩
🟩🟩🟩🟩🟩🟩🟩🟩
🟪🟩⬛⬛🟪🟪🟪⬛
🟪🟩⬛🟪🟪🟪⬛⬛
⬛🟩⬛⬛⬛🟪🟪⬛
🟩🟩🟩🟩🟩🟪🟩🟪
🟩🟩🟩🟩🟩🟩🟩🟩
mini nerdlegame 1759 3/6
⬛🟩⬛🟩🟩🟩
⬛🟩⬛🟩🟩🟩
🟩🟩🟩🟩🟩🟩
#nerdle #nerdlegame #math #game #puzzle #fun #nerdle #miniNerdle #microNerdle #binerdle #mini #micro
speed nerdlegame 1759 solved in 1m 15s!
⬛⬛⬛🟪🟪🟩⬛🟪
🟩🟪🟩🟪🟪🟩🟩⬛
🟩🟩🟩🟩🟪🟩🟩🟪
🟩🟩🟩🟩🟩🟩🟩🟩⏱️
🟩 🟪 ⬛️ Instant Nerdle 1745 solved in 0m 23s!
#nerdle #nerdlegame #math #game #puzzle #fun #nerdle #miniNerdle #microNerdle #binerdle #mini #micro
targets #1009
Score 1/10 *⭐⭐⭐
Upto 10 points (30⭐) from 4 daily Targets @nerdlegame.com
targets #1009
Score 3/10 *⭐⭐⭐
Upto 10 points (30⭐) from 4 daily Targets @nerdlegame.com
targets #1009
Score 6/10 *⭐⭐⭐
Upto 10 points (30⭐) from 4 daily Targets @nerdlegame.com
targets #1009
Score 10/10 *⭐⭐⭐
Upto 10 points (30⭐) from 4 daily Targets @nerdlegame.com
Dear mental calculators,
A new hectoc for you:
597379
The goal is to combine the 6 numbers to a total of 100. You can use the mathematical operations + - * / ^ and the parenthesis ( ). Numbers can be combined, but you have to use all 6 of them and are not allowed to change the order. See https://hectoc.seism0saurus.de for an example. Please use CW "solution".
Have fun! Your hourly hectoc bot
by @seism0saurus
Hi!
The hectoc of the hour is:
951233
The goal is to combine the 6 numbers to a total of 100. You can use the mathematical operations + - * / ^ and the parenthesis ( ). Numbers can be combined, but you have to use all 6 of them and are not allowed to change the order. See https://hectoc.seism0saurus.de for an example. Please use CW "solution".
Have fun! Your hourly hectoc bot
by @seism0saurus
Greetings fellow humans,
A new hectoc for you:
427794
The goal is to combine the 6 numbers to a total of 100. You can use the mathematical operations + - * / ^ and the parenthesis ( ). Numbers can be combined, but you have to use all 6 of them and are not allowed to change the order. See https://hectoc.seism0saurus.de for an example. Please use CW "solution".
Have fun! Your hourly hectoc bot
by @seism0saurus
Hello everyone,
Here is a new hectoc challenge for you:
845541
The goal is to combine the 6 numbers to a total of 100. You can use the mathematical operations + - * / ^ and the parenthesis ( ). Numbers can be combined, but you have to use all 6 of them and are not allowed to change the order. See https://hectoc.seism0saurus.de for an example. Please use CW "solution".
Have fun! Your hourly hectoc bot
by @seism0saurus
Greetings fellow humans,
The hectoc of the hour is:
666583
The goal is to combine the 6 numbers to a total of 100. You can use the mathematical operations + - * / ^ and the parenthesis ( ). Numbers can be combined, but you have to use all 6 of them and are not allowed to change the order. See https://hectoc.seism0saurus.de for an example. Please use CW "solution".
Have fun! Your hourly hectoc bot
by @seism0saurus
Hello everyone,
A new hectoc for you:
195798
The goal is to combine the 6 numbers to a total of 100. You can use the mathematical operations + - * / ^ and the parenthesis ( ). Numbers can be combined, but you have to use all 6 of them and are not allowed to change the order. See https://hectoc.seism0saurus.de for an example. Please use CW "solution".
Have fun! Your hourly hectoc bot
by @seism0saurus
Hello everyone,
Here is a new hectoc challenge for you:
977559
The goal is to combine the 6 numbers to a total of 100. You can use the mathematical operations + - * / ^ and the parenthesis ( ). Numbers can be combined, but you have to use all 6 of them and are not allowed to change the order. See https://hectoc.seism0saurus.de for an example. Please use CW "solution".
Have fun! Your hourly hectoc bot
by @seism0saurus