Messages by Thread
-
TODO list
Jay Belanger
-
Can I install Axiom on Windows 7?
PaulKC Lee
-
Conway's Law, Axiom, and Axiom SANE
Tim Daly
-
TLA+ mini-course
Tim Daly
-
Literate Programming, Axiom, and Physically Based Rendering
Tim Daly
-
Re: Literate Programming, Axiom, and Physically Based Rendering
Svjatoslav Agejenko
-
Re: Literate Programming, Axiom, and Physically Based Rendering
Tim Daly
-
Re: Literate Programming, Axiom, and Physically Based Rendering
Johann 'Myrkraverk' Oskarsson
-
Re: Literate Programming, Axiom, and Physically Based Rendering
Tim Daly
-
Re: Literate Programming, Axiom, and Physically Based Rendering
Johann 'Myrkraverk' Oskarsson
-
Re: Literate Programming, Axiom, and Physically Based Rendering
Tim Daly
-
Riding the research waves
Tim Daly
-
Scratchpad in BYTE magazine
Tim Daly
-
Solve system of equations over finite field?
Savva Voloshin
-
Literate Executables
Tim Daly
-
Literate programming
Tim Daly
-
Axiom musings ... proof specificity
Tim Daly
-
Axiom musings ... runtime computation of first-class dependent types
Tim Daly
-
Axiom musings ... SANE and long term viability
Tim Daly
-
Axiom musings ... Hamming and SANE
Tim Daly
-
Locked out of github
Tim Daly
-
A NN Solves and Generates Math Problems
Tim Daly
-
Lean4 and dependent type theory
Tim Daly
-
Re: Andrej Bauer gave an extraordinarilly clear talk
Tim Daly
-
Information request
Alfonso Parra
-
Re: needing an fpga...
Tim Daly
-
Symbiflow and Axiom
Tim Daly
-
Down to the metal...
Tim Daly
-
axiom installation failed
tws
-
trivial calculator problem
Svjatoslav Agejenko
-
Trouble getting Axiom to run with Docker in macOS
Johan Øverbye
-
Proving Theorems with Computers
Tim Daly
-
GCL failure to build
Tim Daly
-
Provisos
Tim Daly
-
Re: Permission to quote
Tim Daly
-
Deep Learning for Symbolic Mathematics
Tim Daly
-
Re: Foundations post
Tim Daly
-
Foundations
Eugene Surowitz
-
New Release
Tim Daly
-
Neural Net outperforms MMA on integration?
Tim Daly
-
Axiom musings...
Tim Daly
-
Axiom musings....
Tim Daly
-
[Axiom-developer] Latest Axiom update pushed... Volume 15 included
Tim Daly
-
[Axiom-developer] Axiom Sane musings (SEL4)
Tim Daly
-
Re: [Axiom-developer] Minor insight
Tim Daly
-
[Axiom-developer] Axiom musings...
Tim Daly
-
[Axiom-developer] Axiom runs on the new Raspberry Pi 4
Tim Daly
-
[Axiom-developer] AI is coming for my job!
Tim Daly
-
[Axiom-developer] Fwd: A Philosophy of Software Design
Tim Daly
-
[Axiom-developer] Fwd: [software-design-book] A Philosophy of Software Design
Tim Daly
-
[Axiom-developer] Axiom's Sane redesign musings
Tim Daly