#math
230 posts · Last used 2h
How to Believe a Machine-Checked Proof (1997) https://lobste.rs/s/8nfjfc #pdf #formalmethods #math
https://www.brics.dk/RS/97/18/BRICS-RS-97-18.pdf
Impossibility Proof for Instant 8-tuple Piston Extenders https://lobste.rs/s/r07fdn #video #formalmethods #games #math #reversing
https://www.youtube.com/watch?v=I-MMyRzmqFI
Boosted by @kcarruthers@infosec.exchange
"What’s missing is understanding, the currency that mathematicians trade in"
Is AI the End of Math As We Know It? | Quanta Magazine
https://www.quantamagazine.org/is-ai-the-end-of-math-as-we-know-it-20261005/
#AI #Math
OpenAI shares mathematics research catalogue https://lobste.rs/s/z0lxub #ai #math
https://github.com/openai/math
Boosted by @fedicat@pc.cafe
Mathstodon.xyz is a Mastodon server for people who love maths. We have LaTeX rendering in the web interface! We hope there’ll be lots of maths chat, but any topic following the code of conduct is OK.
This server has a post size of up to 1729 characters.
https://mathstodon.xyz
You can find out more at https://mathstodon.xyz/about or contact the admin account @christianp@mathstodon.xyz#FeaturedServer #Mathematics #Maths #Math #LaTeX #Mastodon #Fediverse #FreeFediverse
Boosted by @gvenema@fairmove.net
#mathober is starting today – one math prompt per day to express yourself in some way! https://www.fractalkitty.com/mathober-2026-prompts/
Day 1: "Perimeter of an Ellipse"
Calculating the perimeter requires elliptic integrals. But I learned about a pretty efficient method to approximate it, which uses the arithmetic-geometric mean!
In my drawing, all ellipses have the same perimeter! Imagine squishing and stretching a piece of wire. Coded in #p5js, then drawn using #krita.
#math #mathober2026
this is the back of one of my new Mandelbrot knit sweaters https://knityak.com/collections/antenna-crown in shades of blue. these ship with the code in Python to generate your specific spot on the Mandelbrot fractal with these same four colors and dithering. these are made with a new on demand manufacturer and are pixel native from my code: one pixel equals one knit stitch.
#math #knit #computationallyfabulous #fractal #mathart #algorithmicart
Adding Floating-Point Decimals for Fun and Profit via @abnv@fantastic.earth https://lobste.rs/s/bm2juk #math
https://blog.vero.site/post/float
five different unique one off 1D CA one-dimensional cellular automata sweaters in rule 90. https://knityak.com/collections/voltage if you were to use a generating row with just one pixel with rule 90 you get Sierpinski triangles. i have new ledger code helping me to keep track of generating rows i already sold: so once someone gets one, no one else gets the same one. also i made new three color dithered backgrounds so these are four color knits.
#math #Sierpiński #knit #1dca #cellularautomata #rule90
Theorem of the Day (September 28, 2026) : Benford’s Law
Source : Theorem of the Day / Robin Whitty
pdf : https://www.theoremoftheday.org/Statistics/Benford/TotDBenford.pdf
notes : https://www.theoremoftheday.org/Resources/TheoremNotes.htm#31#mathematics #maths #math #theorem @Theoremoftheday@mathstodon.xyz
Solving Math's Greatest Problems Was an Art Form. Then Came AI
https://www.wired.com/story/solving-maths-greatest-problems-was-an-art-form-until-ai/
#AI #Math #Science
Going on a Tangent with the Intel 8087's Hybrid CORDIC Algorithm
https://hackaday.com/2026/09/27/going-on-a-tangent-with-the-intel-8087s-hybrid-cordic-algorithm/
#Hardware #Retrocomputing #Math
many of the sweaters and blankets on the new https://knityak.com are now knit in four colors. i've done new custom dithered colors for the edges of the mandelbrot set and new custom fade backgrounds for mac rom sweaters. they are pixel native code generated designs where one pixel equals one knit stitch. for many designs i ship the source code for your spot on the mandelbrot set and your mac boot rom. the seams are linked, not cut and sewn. #math #knit #computationallyfabulous
Fourier Analysis: Drawing Llamas with Circles
https://adekau.github.io/posts/2020/llamas.html
#HackerNews #Tech #Math
We're gonna need a lot more mathematicians
https://terrytao.wordpress.com/2026/09/24/were-gonna-need-a-lot-more-mathematicians/
#Math #Science #Education
We’re gonna need a lot more mathematicians https://lobste.rs/s/gt2jle #math
https://terrytao.wordpress.com/2026/09/24/were-gonna-need-a-lot-more-mathematicians/
Five #Math #Discoveries That Continue To #Surprise And #Delight : Medium
What Can We #Gain by Losing #Infinity? : Quanta Mag
How #Animals #Build a #Sense of #Direction : Quanta Mag
Latest #KnowledgeLinks
https://knowledgezone.co.in/resources/bookmarks










