How hackers reverse Math.random() via @confusedalex https://lobste.rs/s/kzw3rt #video #math
https://www.youtube.com/watch?v=XDsYPXRCXAs
math
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
// 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
Human mathematicians are being outcounterexampled https://lobste.rs/s/wfmpqr #math
https://xenaproject.wordpress.com/2026/07/20/human-mathematicians-are-being-outcounterexampled/
Fast Synthesis of Basic Oscillators https://lobste.rs/s/wj5bs5 #math
https://artemis.sh/2026/07/23/fast-synthesis-basic-oscillators.html
log is non-monotonous in PHP and Lua via @goldstein https://lobste.rs/s/pa54mh #lua #math #php
https://purplesyringa.moe/blog/log-is-non-monotonous-in-php-and-lua/
Understanding and implementing a simple big unsigned integer library (2020) via @abnv https://lobste.rs/s/cay2b2 #math #programming
https://www.sunshine2k.de/articles/coding/biguint/bigunsignedint.html
The mathematical beauty of hyperbezier curves https://lobste.rs/s/dd80wh #math #visualization
https://linebender.org/blog/hyperbezier/
Finite-time blowup with smooth forcing for 3D incompressible Euler, Boussinesq, and IPM https://lobste.rs/s/ki3ylq #math #vibecoding
https://mastodon.social/@tristanbuckmaster/117233413705701198
Moving integer division to floating-point is trivial via @PolyWolf https://lobste.rs/s/nvmbfe #math
http://marc-b-reynolds.github.io/math/2026/08/10/IntDivByFP.html
FPTalks 2026 — Thu Aug 6, free, online https://lobste.rs/s/ma6jft #event #math
https://fptalks.org/talks/fptalks26.html