Recent submissions

Comment · 26 days ago
As a mathematician, I am looking forward to the day when nearly all of undergraduate mathematics and many of the lower level grad school math books are encoded in Lean (a proof checking language). Often I find that theorems are not stated precisely enough and I have trouble finding the exact statement of a theorem without digging through math books in my library. It would be nice if we put the physics and chemistry books into Lean also.

Simplifying all of math is another endeavor, but I imagine that you could have a bunch of LLMs trying to shorten existing Lean proofs.

Comment · 1 month ago
Comment · 2 months ago
Here is another list of ideas in math made by a lesser math person. (top 100 most useful)

counting zero integer decimal positional notation 100, 1000, … the four arithmetic operations + – * / fractions decimal notation 0.1, 0.01, … basic propositional logic (Modus ponens, contrapositive, If-then, and, or, nand, …) negative numbers equivalence classes equality & substitution basic algebra – idea of variables, equations, … the idea of probability commutative and associative properties distributive property powers (squared, cubed,…), – compound interest (miracle of) scientific notation 1.3e6 = 1,300,000 polynomials first order predicate logic infinity irrational numbers De Morgan’s laws statistical independence the notion of a function square root (cube root, …) inequalities (list of inequalities) power laws (i.e. abac=ab+c ) Cartesian coordinate plane basic set theory random variable probability distribution histogram the mean, expected value & strong law of large numbers the graph of a function standard deviation Pythagorean theorem vectors and vector spaces limits real numbers as limits of fractions, the least upper bound continuity Rn, Euclidean Space, and Hilbert spaces (inner or dot product) derivative correlation central limit theorem, Gaussian Distribution, Properties of Guassains. integrals chain rule modular arithmetic sine cosine tangent π, circumference, area, and volume formulas for circles, rectangles, parallelograms, triangles, spheres, cones,… linear regression Taylor’s theorem the number e and the exponential function Rolle’s theorem, Karush–Kuhn–Tucker conditions, derivative is zero at the maximum the notion of linearity Big O notation injective (one-to-one) / surjective (onto) functions imaginary numbers symmetry Euler’s Formula eiπ+1=0 Fourier transform, convolution in time domain is the product in the frequency domain (& vice versa), the FFT fundamental theorem of calculus logarithms matrices conic sections Boolean algebra Cauchy–Schwarz inequality binomial theorem – Pascal’s triangle the determinant ordinary differential equation (ODE) mode (maximum likelihood estimator) cosine law prime numbers linear independence Jacobian fundamental theorem of arithmetic duality – (polyhedron faces & points, geometry lines and points, Dual Linear Program, dual space, …) intermediate value theorem eigenvalues median entropy KL distance binomial distribution Bayes’ theorem 210≈1000 compactness, Heine – Borel theorem metric space, Triangle Inequality Projections, Best Approximation 1/(1−X)=1+X+X2+… partial differential equations quadratic formula Reisz representation theorem Fubini’s theorem the ideas of groups, semigroups, monoids, rings, … Singular Value Decomposition numeric integration – trapezoidal rule, Simpson’s rule, … mutual information Plancherel’s theorem matrix condition number integration by parts Euler’s method for numerical integration of ODEs (and improved Euler & Runge–Kutta) pigeon hole principle

mathematical used less often: Baire category theorem, Banach Spaces, Brouwer Fixed Point Theorem, Carathéodory’s Theorem, Category Theory, Cauchy integral formula, calculus of variations, closed graph theorem, Chinese remainder theorem, Clifford algebra (quaternions), Context Free Grammars, countable vs uncountable infinity, Cramer’s Rule, cohomology, Euclidean algorithm, fundamental group, Gauss’ Law, Grassmannian algebra , Graph Theory, Hahn-Banach Theorem, homology, Hairy Ball Theorem, Hölder’s inequality, inclusion-exclusion, Jordan Decomposition, Kalman Filters, Markov Chains (Hidden Markov Models), modules, non-associative algebras, Picard’s Great Theorem, Platonic/Euclidean solids, Principle of Induction, Probabilistic Graphical Models (Bayesian Networks, Markov Random Fields), Pontryagin duality, Quaternions, Spectral Theorem, Sylow p subgroup, repeating decimals equal a fraction, ring ideals, sine law, tensors, tessellation, transcendental numbers, Uniform Boundedness Theorem, Weierstrass approximation theorem. From http://artent.net/2012/11/27/100-most-useful-theorems-and-id...

Comment · 2 months ago
For years I've had an idea in my head to add a Forth to the old game Master of Orion so that I could automate some of my common actions in the game. There is an open source GIThub called 1oom with source code for the game and I thought I would just write my own Forth. Well, I've recently been using AI's to code, so I asked GPT and it suggested that I use ficl rather than writing my own Forth. It helped me add ficl to 1oom. I've added Forth words to access most of the game variables and I've just begun adding forth words that can manipulate the game state. It's been fun. I had not written much, if any, Forth code in the last 30 years, so it's been a fun trip down memory lane.
Comment · 3 months ago
I remember seeing the Amiga bouncing ball demo and being amazed.

https://www.youtube.com/watch?v=-ga41edXw3A

The Amiga was the second computer that I ever owned. The first was a C64 that I bought freshman year. (My father bought a TRS-80 before that.)

Comment · 4 months ago
Certainly most universities now have a very strong liberal bias. I think most science departments were left leaning in the 1950s, but it is stronger now. (I think colleges and universities have always been more progressive than the general populous.) The administrations of universities are now very strongly Democrat leaning. I think that Trump just sees a lot of Democrat run institutions and thinks, "Why should the government support these institutions run almost entirely by Democrats."
Comment · 5 months ago
I'm retired. I hope to get a 3% per year income from my savings every year after inflation and taxes. If my state implemented a 1% wealth tax on savings each year, I would go bankrupt in 20 years. I am hoping that I will live 20 years.
Comment · 5 months ago
I also "had an Iron Man moment last week" as a mathematician. I've been doing joint math research with two friends (professors) on a project for several years. Last week, I decided to explore part of our research using chat GPT. 1) I would have a thought. 2) Present it to GPT. 3) Ask GPT to write theorems that were easy to prove and put those proofs into LaTeX. (I always have to check the proofs carefully.) 4) Then I would ask it to generate code (I mostly use Mathematica the language.) 5) Running the code would help verify the proofs. It would also inspire more thoughts and I would go back to step 2). This worked very well, but at one point I could not bound a particular expression and I was not understanding it well, so I got out the pencil and paper and redid the derivation myself which helped a lot. This whole process worked about 10 times faster than doing it without GPT. At the end of a couple of hours I had around 20 pages of correct proofs and all the code needed to do numerical simulations related to the proofs.
Comment · 6 months ago
ikrima, Do you have any links to your research or paper titles?
Comment · 7 months ago
How about:

(* Mathematica Notation, Assume x>0 ) If[ x < 10^(-10), 1+ x/2, ( order x^2 error ) If[ x> 10^10, Sqrt[x], ( order 1/Sqrt[x] error ) (else) Sqrt[x +1] ] ] ( I guess the If statements take too much time. *)

Comment · 7 months ago
Us humans do have difficulty with safety. Sometimes we are able to overcome that problem to an extent. Here are some the few examples where humans have done well with safety: FAA commercial airlines, Soyuz, ISS, Shinkansen trains, US Nuclear power post 3 mile island, Vaccines, and the Falcon 9.
Comment · 7 months ago
Comment · 7 months ago
AI makes it possible for someone who has never written code to generate a program that does what they want. One of my friends wanted to simulate a 7,9 against a dealer 10 upcard in the card game blackjack. GPT was able to write the simulation for him in javascript/html. So it took a 0.001x coder and turned him into a 0.2x coder.
Comment · 7 months ago
This morning a person posted a question to the Reddit group r/Mathematica (https://www.reddit.com/r/Mathematica/comments/1s1fin2/can_ho...).

I asked GPT to write code to address their question and the code was quite acceptable drawing the circle and finding the correct intersection point. It would have take me about 40 minutes to write the code, so I would not have done it myself.

Currently, GPT is great for writing short programs. The results often have a bug or two that is easy to fix, but it's much faster to have GPT write the code. This works fine for projects that are less than 100 lines of code where you just want something that works.

Comment · 1 year ago

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton