noperts: Reproducible proofs of non-Rupert polyhedra via @fanf https://lobste.rs/s/gfviyc #math #vibecoding
https://github.com/tom7/noperts
math
Meet Alice. Alice is impatient https://lobste.rs/s/dswkwr #math #performance
https://brooker.co.za/blog/2026/06/19/waiting.html
The cube, the epicycles and the human face https://lobste.rs/s/mh9czn #math
https://www.andreinc.net/2026/06/15/the-cube-the-epicycles-and-the-human-face/
From AFSK to Goertzel https://lobste.rs/s/vqivdq #math #programming
https://uart.cz/2959/from-afsk-to-goertzel/
Network Science (2017) https://lobste.rs/s/gkip8r #book #math
https://networksciencebook.com/
What does it mean to be a mathematician when AI does the math? https://lobste.rs/s/hvd5hk #ai #math
https://spectrum.ieee.org/ai-in-mathematics
Should you normalize RGB values by 255 or 256? via @lesley https://lobste.rs/s/uuvuhv #graphics #math
https://30fps.net/pages/255-vs-256-division/
How hackers reverse Math.random() via @confusedalex https://lobste.rs/s/kzw3rt #video #math
https://www.youtube.com/watch?v=XDsYPXRCXAs
Diagrams for Penrose Tiles https://lobste.rs/s/rrtmck #haskell #math
https://readerunner.wordpress.com/2021/09/13/diagrams-for-penrose-tiles/
Proving the Fundamental Theorem of Arithmetic in Agda via @abnv https://lobste.rs/s/s61wns #formalmethods #math
https://byorgey.github.io/blog/posts/2026/06/26/FTA.lagda.html
Doing a bit of conjuring today
scala> type Something = Nothing => Nothing#dev #tech #software #math #scala #TypeTheory
// defined alias type Something = Nothing => Nothing
scala> summon[Something =:= Nothing]
-- [E172] Type Error: ----------------------------------------------------------
1 |summon[Something =:= Nothing]
| ^
| Cannot prove that Something =:= Nothing.
1 error found
Mathematics Teaching 300 now available online https://atm.org.uk/Mathematics-Teaching-Journal-Archive/177735
A special edition celebrating 300 issues with a self-referential cover, like MT 150 (https://en.wikipedia.org/wiki/Droste_effect)
Design by me
Five free articles for non-members:
Understanding geometry proof what do students say to AI feedback? https://atm.org.uk/write/MediaUploads/Journals/MT300/06.pdf
Yuqian (Linda) Wang and Hanmin Song explore whether personalised AI feedback can support students’ understanding of geometry proof tasks.
An appreciation of Alison Parish (1951–2026) https://atm.org.uk/write/MediaUploads/Journals/MT300/07.pdf
Can pedagogy for problem solving promote equity in the classroom? https://atm.org.uk/write/MediaUploads/Journals/MT300/10.pdf
Laura King reflects on pedagogies to support equity in primary mathematics when teaching problem solving
Number a disinformation timeline https://atm.org.uk/write/MediaUploads/Journals/MT300/16.pdf
Micheál Ó Dúill traces history and cultures to argue for teaching zero to nine instead of one to ten.
If it hadn’t been for Dave… https://atm.org.uk/write/MediaUploads/Journals/MT300/18.pdf
Barbara Binns reflects on Dave Wilson (1947–2026) with contributions from Geoff Faux and Tony Brown.
#MathematicsTeaching #iTeachMath #MathEd #MathsEd #Math #Mathematics #teaching #pedagogy #didactics #education #design #GraphicDesign #AMiE #MT #MT300 #recursion #DrosteEffect #number
A primer on automatic differentiation (2015) https://lobste.rs/s/jhhba2 #pdf #math
https://pizzaseminar.speicherleck.de/automatic-differentiation/notes.pdf
Banning noise will be a disaster for statistical data products https://lobste.rs/s/jcpzqt #math #privacy
https://desfontain.es/blog/banning-noise.html
Markets are competitive if and only if P != NP https://lobste.rs/s/cpzsag #finance #math
https://arxiv.org/abs/2602.20415
A Counterexample to Wegner's Conjecture for Axis-Parallel Rectangles https://lobste.rs/s/07ka0h #math
https://arxiv.org/abs/2606.17854
Intermediate Floating-Point Precision https://lobste.rs/s/t22s5a #games #math
https://randomascii.wordpress.com/2012/03/21/intermediate-floating-point-precision/
Connections in Math: the two kinds of random https://lobste.rs/s/k4sprp #compsci #math
https://stillthinking.net/posts/connections-in-math-two-kinds-of-random/
Computational Balloon Twisting: The Theory of Balloon Polyhedra (2008) via @fanf https://lobste.rs/s/44nzhz #pdf #math
https://cccg.ca/proceedings/2008/paper34full.pdf
Palomar – a registry of Lean verified mathematics https://lobste.rs/s/rjxezi #formalmethods #math
https://terrytao.wordpress.com/2026/08/18/palomar-a-registry-of-lean-verified-mathematics/
Jacobian Conjecture from Wolfram MathWorld https://lobste.rs/s/so9azo #math #vibecoding
https://mathworld.wolfram.com/JacobianConjecture.html