nill0

nill0 on Hacker News

KITP Program: Intermediate-Scale AI for Physics

Posted by nill0 on Monday November 02, 2026 @06:19AM
from the online.kitp.ucsb.edu dept.

https://online.kitp.ucsb.edu/online/physicsai-m26/welcome/rm/jwvideo.html

( Read More... | no comments | on HN )

More than Infinitesimal: What is dx?(2014)

Posted by nill0 on Monday November 02, 2026 @01:56AM
from the math.blogoverflow.com dept.

https://math.blogoverflow.com/2014/11/03/more-than-infinitesimal-what-is-dx/

( Read More... | no comments | on HN )

ETH False Lecture – Ryan O'Donnell [video]

Posted by nill0 on Sunday November 01, 2026 @03:48AM
from the youtube.com dept.

https://www.youtube.com/watch?v=_HlQGMcQWhA

( Read More... | no comments | 2 points | on HN )

Early Career Researcher Responses to AI in Math

Posted by nill0 on Sunday November 01, 2026 @03:47AM
from the arxiv.org dept.

https://arxiv.org/abs/2610.40584

( Read More... | no comments | 2 points | on HN )

More Math, Less Ego – Erik Demaine [video]

Posted by nill0 on Wednesday October 28, 2026 @09:46PM
from the youtube.com dept.

https://www.youtube.com/watch?v=Gdc1yll04qI

( Read More... | no comments | 3 points | on HN )

Two Types of Empiriological People(2019) [pdf]

Posted by nill0 on Sunday October 25, 2026 @04:32AM
from the iapweb.org dept.

https://iapweb.org/articles/Two%20Types%20of%20Empiriological%20People%20Nov2019-IAPmagazine.pdf

( Read More... | no comments | on HN )

A visual introduction to information theory

Posted by nill0 on Friday October 23, 2026 @09:38PM
from the arxiv.org dept.

https://arxiv.org/abs/2206.07867

( Read More... | 1 comment | 2 points | on HN )

Integrals and Shapes

Posted by nill0 on Sunday October 18, 2026 @02:55AM
from the hidden-phenomena.com dept.

https://hidden-phenomena.com/articles/fourier

( Read More... | no comments | on HN )

MSC 2020 - Mathematics Subject Classification System [pdf]

Posted by nill0 on Thursday October 08, 2026 @07:22AM
from the msc2020.org dept.

https://msc2020.org/MSC_2020.pdf

( Read More... | no comments | on HN )

Navier–Stokes Lost in Translation

Posted by nill0 on Wednesday October 07, 2026 @11:24AM
from the arxiv.org dept.

https://arxiv.org/abs/2610.08144

( Read More... | 238 comments | 11 points | on HN )

Trefoil Knots in Algebraic Geometry

Posted by nill0 on Sunday October 04, 2026 @07:18AM
from the hidden-phenomena.com dept.

https://hidden-phenomena.com/articles/trefoil

( Read More... | no comments | on HN )

Programming the ENIAC(2011)

Posted by nill0 on Thursday October 01, 2026 @02:46AM
from the columbia.edu dept.

https://www.columbia.edu/cu/computinghistory/eniac.html

( Read More... | no comments | 2 points | on HN )

Los Alamos Bets on Eniac: Nuclear Monte Carlo Simulations, 1947–1948 [pdf]

Posted by nill0 on Wednesday September 30, 2026 @09:53AM
from the tomandmaria.com dept.

https://www.tomandmaria.com/Tom/Writing/LosAlamosBetsOnENIAC.pdf

( Read More... | 2 comments | 2 points | on HN )

Lean formalization of the Hamilton-Perelman proof of the Poincaré conjecture

Posted by nill0 on Monday September 28, 2026 @07:14AM
from the github.com dept.

https://github.com/qinz1yang/differential-geometry

( Read More... | 1 comment | on HN )

Re:Lean formalization of the Hamilton-Perelman proof of the Poincaré c... on Monday September 28, 2026 @07:14AM (#49876257)

https://x.com/ayushkhaitan343/status/2104289939840176167

Categorization and Representation Physics Problems by Experts and Novice(1981) [pdf]

Posted by nill0 on Sunday September 27, 2026 @10:51AM
from the matt.colorado.edu dept.

http://matt.colorado.edu/teaching/highcog/spr10/readings/cfg81.pdf

( Read More... | no comments | on HN )

Internal Set Theory

Posted by nill0 on Tuesday September 22, 2026 @06:49AM
from the en.wikipedia.org dept.

https://en.wikipedia.org/wiki/Internal_set_theory

( Read More... | no comments | on HN )

Algorithm = Logic and Control(1979)

Posted by nill0 on Friday September 18, 2026 @09:46AM
from the dl.acm.org dept.

https://dl.acm.org/doi/10.1145/359131.359136

( Read More... | no comments | 2 points | on HN )

Towards a Definition of an Algorithm(2010)

Posted by nill0 on Friday September 18, 2026 @09:46AM
from the arxiv.org dept.

https://arxiv.org/pdf/math/0602053

( Read More... | no comments | on HN )

Building geometry solvers for the IMO Grand Challenge(2020)

Posted by nill0 on Thursday September 17, 2026 @02:14PM
from the jesse.so dept.

https://jesse.so/blog/imo-gc-geo/

( Read More... | no comments | on HN )

Javier Gomez-Serrano – New Math, AI Developments in Fluid Mechanics [video]

Posted by nill0 on Tuesday September 15, 2026 @03:15AM
from the youtube.com dept.

https://www.youtube.com/watch?v=TcEefrWrddA

( Read More... | no comments | on HN )

The Zuiderzee Project

Posted by nill0 on Monday September 14, 2026 @11:42PM
from the lorentz.leidenuniv.nl dept.

https://lorentz.leidenuniv.nl/history/zuiderzee/zuiderzee.html

( Read More... | no comments | on HN )

Open Letter about the Mathathon

Posted by nill0 on Friday September 11, 2026 @03:11AM
from the proofsandprompts.com dept.

https://proofsandprompts.com/2026/09/10/open-letter-about-the-mathathon/

( Read More... | no comments | on HN )

Famous Unsolved Math Problems as Homework(2015)

Posted by nill0 on Tuesday September 08, 2026 @01:41AM
from the blogs.ams.org dept.

https://blogs.ams.org/matheducation/2015/05/01/famous-unsolved-math-problems-as-homework/

( Read More... | no comments | on HN )

Re:Caltech Mathathon – first hackathon ever devoted to research level ... on Tuesday September 08, 2026 @01:16AM (#49605807)

If anybody is competing in the contest, this may be helpful as a starting point!

Open Problems in Computational Geometry Listed by Erik Demaine, Joseph Mitchell, Joseph O'Rourke in 2024

https://topp.openproblem.net/

And also the popular list below, which contains some of the frontier problems and undefeated beasts that have remained unsolved for decades, some even for centuries.

https://en.wikipedia.org/wiki/List_of_unsolved_problems_in_m...

Caution: Solvability is not guaranteed!

Dissemination of IT for the Promotion of Materials Science (DoITPoMS)

Posted by nill0 on Tuesday September 01, 2026 @04:13AM
from the doitpoms.ac.uk dept.

https://www.doitpoms.ac.uk/index.php

( Read More... | no comments | on HN )

Principles and Techniques for Designing Precision Machines(1999)

Posted by nill0 on Sunday August 16, 2026 @01:11AM
from the osti.gov dept.

https://www.osti.gov/servlets/purl/8431

( Read More... | 1 comment | on HN )

Who invented the great numerical algorithms? [pdf]

Posted by nill0 on Thursday August 13, 2026 @12:33AM
from the math.pku.edu.cn dept.

https://math.pku.edu.cn/teachers/litj/notes/numer_anal/inventorstalk.pdf

( Read More... | no comments | 4 points | on HN )

Proofs and Prompts

Posted by nill0 on Wednesday August 12, 2026 @09:27PM
from the proofsandprompts.com dept.

https://proofsandprompts.com/

( Read More... | no comments | on HN )

Constructor Theory – David Deutsch(2012)

Posted by nill0 on Friday August 07, 2026 @12:13AM
from the arxiv.org dept.

https://arxiv.org/abs/1210.7439

( Read More... | no comments | 2 points | on HN )