Messages by Date
-
2024/04/15
Re: TODO list
Jay Belanger
-
2024/04/15
Re: TODO list
Svjatoslav Agejenko
-
2024/04/14
TODO list
Jay Belanger
-
2024/03/25
Can I install Axiom on Windows 7?
PaulKC Lee
-
2023/08/19
Conway's Law, Axiom, and Axiom SANE
Tim Daly
-
2023/06/30
TLA+ mini-course
Tim Daly
-
2023/04/03
Re: Literate Programming, Axiom, and Physically Based Rendering
Tim Daly
-
2023/04/03
Re: Literate Programming, Axiom, and Physically Based Rendering
Johann 'Myrkraverk' Oskarsson
-
2023/04/02
Re: Literate Programming, Axiom, and Physically Based Rendering
Tim Daly
-
2023/04/02
Re: Literate Programming, Axiom, and Physically Based Rendering
Tim Daly
-
2023/04/01
Re: Literate Programming, Axiom, and Physically Based Rendering
Johann 'Myrkraverk' Oskarsson
-
2023/04/01
Re: Literate Programming, Axiom, and Physically Based Rendering
Svjatoslav Agejenko
-
2023/03/31
Literate Programming, Axiom, and Physically Based Rendering
Tim Daly
-
2023/03/07
Re: Axiom git
Svjatoslav Agejenko
-
2023/03/06
Re: Axiom git
Tim Daly
-
2023/03/06
Re: Axiom git
Svjatoslav Agejenko
-
2023/02/26
Riding the research waves
Tim Daly
-
2023/02/14
Re: Axiom git
Tim Daly
-
2023/02/14
Re: Axiom git
Svjatoslav Agejenko
-
2023/02/14
Re: Axiom git
Camm Maguire
-
2023/02/13
Re: Axiom git
Tim Daly
-
2023/02/13
Re: needing an fpga...
Camm Maguire
-
2023/02/13
Axiom git
Camm Maguire
-
2023/01/21
Scratchpad in BYTE magazine
Tim Daly
-
2022/12/04
Re: Literate Executables
Tim Daly
-
2022/12/03
Re: Literate Executables
Tim Daly
-
2022/12/02
Re: Literate Executables
Terence Kelly
-
2022/12/02
Re: Literate Executables
Tim Daly
-
2022/12/02
Re: Solve system of equations over finite field?
Ralf Hemmecke
-
2022/12/02
Solve system of equations over finite field?
Savva Voloshin
-
2022/12/02
Re: Literate Executables
Terence Kelly
-
2022/11/30
Literate Executables
Tim Daly
-
2022/07/19
Re: Literate programming
Svjatoslav Agejenko
-
2022/07/19
Re: Literate programming
Svjatoslav Agejenko
-
2022/07/19
Re: Literate programming
Tim Daly
-
2022/07/19
Re: Literate programming
Svjatoslav Agejenko
-
2022/07/19
Re: Literate programming
Tim Daly
-
2022/07/19
Re: Literate programming
Tim Daly
-
2022/07/19
Re: Literate programming
Clifford Yapp
-
2022/07/18
Re: Literate programming
Svjatoslav Agejenko
-
2022/07/18
Literate programming
Tim Daly
-
2022/06/06
Axiom musings ... proof specificity
Tim Daly
-
2022/05/30
Re: Axiom musings ... runtime computation of first-class dependent types
Martin Baker
-
2022/05/29
Re: Axiom musings ... runtime computation of first-class dependent types
Tim Daly
-
2022/05/29
Re: Axiom musings ... runtime computation of first-class dependent types
Martin Baker
-
2022/05/29
Axiom musings ... runtime computation of first-class dependent types
Tim Daly
-
2022/05/25
Axiom musings ... SANE and long term viability
Tim Daly
-
2022/05/05
Re: Axiom musings ... Hamming and SANE
Tim Daly
-
2022/04/27
Axiom musings ... Hamming and SANE
Tim Daly
-
2022/02/05
Locked out of github
Tim Daly
-
2022/01/10
Re: A NN Solves and Generates Math Problems
Tim Daly
-
2022/01/09
Re: A NN Solves and Generates Math Problems
Tim Daly
-
2022/01/09
Re: A NN Solves and Generates Math Problems
Jeremy Avigad
-
2022/01/06
A NN Solves and Generates Math Problems
Tim Daly
-
2022/01/06
A NN Solves and Generates Math Problems
Tim Daly
-
2021/12/03
Re: Lean4 and dependent type theory
Jeremy Avigad
-
2021/12/03
Lean4 and dependent type theory
Tim Daly
-
2021/11/13
Re: Axiom musings...
Tim Daly
-
2021/10/25
Re: Axiom musings...
Tim Daly
-
2021/10/21
Re: Axiom musings...
Tim Daly
-
2021/10/17
Re: Axiom musings...
Tim Daly
-
2021/10/10
Re: Axiom musings...
Tim Daly
-
2021/09/27
Re: Axiom musings...
Tim Daly
-
2021/09/27
Re: Axiom musings...
Tim Daly
-
2021/09/26
Re: Axiom musings...
Tim Daly
-
2021/09/26
Re: Axiom musings...
Tim Daly
-
2021/08/18
Re: Axiom musings...
Tim Daly
-
2021/08/13
Re: Axiom musings...
Tim Daly
-
2021/06/29
Re: Axiom musings...
Tim Daly
-
2021/06/27
Re: Andrej Bauer gave an extraordinarilly clear talk
Tim Daly
-
2021/06/26
Re: Andrej Bauer gave an extraordinarilly clear talk
Tim Daly
-
2021/06/18
Re: needing an fpga...
Camm Maguire
-
2021/06/17
Re: needing an fpga...
Tim Daly
-
2021/06/17
Re: needing an fpga...
Tim Daly
-
2021/06/17
Re: needing an fpga...
Camm Maguire
-
2021/06/15
Information request
Alfonso Parra
-
2021/06/14
Re: needing an fpga...
Jeff Scheel
-
2021/06/14
Re: needing an fpga...
Tim Daly
-
2021/06/04
Re: Axiom musings...
Tim Daly
-
2021/05/29
Symbiflow and Axiom
Tim Daly
-
2021/05/26
Down to the metal...
Tim Daly
-
2021/05/05
axiom installation failed
tws
-
2021/05/04
Re: Axiom musings...
Tim Daly
-
2021/05/03
Re: trivial calculator problem
Arthur Norman
-
2021/05/02
Re: trivial calculator problem
Ralf Hemmecke
-
2021/05/02
trivial calculator problem
Svjatoslav Agejenko
-
2021/04/09
Trouble getting Axiom to run with Docker in macOS
Johan Øverbye
-
2021/02/27
Re: Axiom musings...
Tim Daly
-
2021/02/18
Re: Axiom musings...
Tim Daly
-
2021/02/05
Re: Axiom musings...
Tim Daly
-
2021/01/19
Re: Axiom musings...
Tim Daly
-
2021/01/19
Re: Axiom musings...
Tim Daly
-
2021/01/01
Re: Axiom musings...
Tim Daly
-
2021/01/01
Re: Axiom musings...
Tim Daly
-
2020/12/31
Re: Axiom musings...
Tim Daly
-
2020/12/21
Re: [EXTERNAL] Re: Axiom musings...
Tim Daly
-
2020/12/18
Re: [EXTERNAL] Re: Axiom musings...
Tim Daly
-
2020/12/18
Re: [EXTERNAL] Re: Axiom musings...
Tim Daly
-
2020/12/09
Re: Axiom musings...
Tim Daly
-
2020/12/04
Re: GCL failure to build
Camm Maguire
-
2020/12/02
Re: Axiom musings...
Tim Daly
-
2020/12/02
Re: Axiom musings...
Tim Daly
-
2020/11/29
Proving Theorems with Computers
Tim Daly
-
2020/11/28
Re: Axiom musings...
Tim Daly
-
2020/11/27
Re: Axiom musings...
Tim Daly
-
2020/11/09
Re: Axiom musings...
Tim Daly
-
2020/10/09
Re: Axiom musings...
Tim Daly
-
2020/10/07
Re: Axiom musings...
Tim Daly
-
2020/10/03
Re: Axiom musings...
Tim Daly
-
2020/10/02
GCL failure to build
Tim Daly
-
2020/10/01
Re: Axiom musings...
Tim Daly
-
2020/09/28
Re: Axiom musings...
Tim Daly
-
2020/09/28
Axiom musings...
Tim Daly
-
2020/09/25
Re: [EXTERNAL] Re: Axiom musings...
Tim Daly
-
2020/09/25
Re: [EXTERNAL] Re: Axiom musings...
William Sit
-
2020/09/24
Re: Axiom musings...
Tim Daly
-
2020/09/24
Re: Axiom musings...
Tim Daly
-
2020/09/23
Re: Axiom musings...
Ricardo Corral C.
-
2020/09/23
Re: Axiom musings...
Tim Daly
-
2020/09/22
Re: Axiom musings...
Tim Daly
-
2020/09/04
Re: Axiom musings...
Tim Daly
-
2020/09/04
Re: Axiom musings...
Tim Daly
-
2020/08/21
Re: Axiom musings...
Tim Daly
-
2020/08/08
Re: Axiom musings...
Tim Daly
-
2020/08/07
Provisos
Tim Daly
-
2020/08/05
Re: Permission to quote
Tim Daly
-
2020/07/30
Deep Learning for Symbolic Mathematics
Tim Daly
-
2020/07/30
Re: Axiom musings...
Tim Daly
-
2020/07/26
Re: [EXTERNAL] Re: Axiom musings...
William Sit
-
2020/07/25
Re: [EXTERNAL] Re: Axiom musings...
Tim Daly
-
2020/07/21
Re: [EXTERNAL] Re: Axiom musings...
Tim Daly
-
2020/07/21
Re: [EXTERNAL] Re: Axiom musings...
William Sit
-
2020/07/20
Re: [EXTERNAL] Re: Axiom musings...
Tim Daly
-
2020/07/20
Re: [EXTERNAL] Re: Axiom musings...
William Sit
-
2020/07/19
Re: [EXTERNAL] Re: Axiom musings...
Tim Daly
-
2020/07/19
Re: [EXTERNAL] Re: Axiom musings...
William Sit
-
2020/07/18
Re: Axiom musings...
Tim Daly
-
2020/07/02
Re: Foundations post
Tim Daly
-
2020/07/02
Re: Axiom musings...
Tim Daly
-
2020/06/20
Foundations
Eugene Surowitz
-
2020/06/16
Re: Axiom musings...
Tim Daly
-
2020/03/24
Re: Axiom musings...
Tim Daly
-
2020/03/07
Re: Axiom musings...
Tim Daly
-
2020/02/06
Re: Axiom musings...
Tim Daly
-
2020/01/09
Re: Axiom musings...
Tim Daly
-
2020/01/09
Re: Axiom musings...
Tim Daly
-
2020/01/02
Re: Axiom musings...
Tim Daly
-
2019/12/21
Re: New Release
Camm Maguire
-
2019/12/16
Re: Axiom musings...
Martin Baker
-
2019/12/15
Re: Axiom musings...
Tim Daly
-
2019/12/11
Re: Axiom musings...
Tim Daly
-
2019/12/09
Re: New Release
Camm Maguire
-
2019/12/08
Re: Axiom musings...
Tim Daly
-
2019/12/08
New Release
Tim Daly
-
2019/12/05
Neural Net outperforms MMA on integration?
Tim Daly
-
2019/11/28
Re: Axiom musings...
Jacques Carette
-
2019/11/27
Re: Axiom musings...
Tim Daly
-
2019/11/27
Re: Axiom musings...
Tim Daly
-
2019/11/26
Re: Axiom musings...
Tim Daly
-
2019/11/26
Axiom musings...
Tim Daly
-
2019/11/11
Axiom musings....
Tim Daly
-
2019/10/12
[Axiom-developer] Latest Axiom update pushed... Volume 15 included
Tim Daly
-
2019/09/25
Re: [Axiom-developer] Axiom Sane musings (SEL4)
Tim Daly
-
2019/09/24
Re: [Axiom-developer] Axiom Sane musings (SEL4)
Veer Singh
-
2019/09/22
Re: [Axiom-developer] Axiom Sane musings (SEL4)
Tim Daly
-
2019/09/22
Re: [Axiom-developer] Axiom Sane musings (SEL4)
Martin Baker
-
2019/09/21
Re: [Axiom-developer] Axiom Sane musings (SEL4)
Tim Daly
-
2019/09/21
Re: [Axiom-developer] Axiom Sane musings (SEL4)
Martin Baker
-
2019/09/21
Re: [Axiom-developer] Axiom Sane musings (SEL4)
Henri Tuhola
-
2019/09/21
Re: [Axiom-developer] Axiom Sane musings (SEL4)
Martin Baker
-
2019/09/20
Re: [Axiom-developer] Axiom Sane musings (SEL4)
Tim Daly
-
2019/09/20
Re: [Axiom-developer] Axiom Sane musings (SEL4)
Henri Tuhola
-
2019/09/20
Re: [Axiom-developer] Axiom Sane musings (SEL4)
Tim Daly
-
2019/09/20
Re: [Axiom-developer] Axiom Sane musings (SEL4)
Henri Tuhola
-
2019/09/19
[Axiom-developer] Axiom Sane musings (SEL4)
Tim Daly
-
2019/08/23
Re: [Axiom-developer] Minor insight
Tim Daly
-
2019/08/20
Re: [Axiom-developer] Axiom musings...
Tim Daly
-
2019/08/19
Re: [Axiom-developer] Axiom musings...
Tim Daly
-
2019/08/18
Re: [Axiom-developer] Axiom musings...
Clifford Yapp
-
2019/08/18
Re: [Axiom-developer] Axiom musings...
Tim Daly
-
2019/08/04
[Axiom-developer] Axiom musings...
Tim Daly
-
2019/07/27
[Axiom-developer] Axiom runs on the new Raspberry Pi 4
Tim Daly
-
2019/07/21
Re: [Axiom-developer] AI is coming for my job!
Frank Pfenning
-
2019/07/21
[Axiom-developer] AI is coming for my job!
Tim Daly
-
2019/07/20
Re: [Axiom-developer] Axiom's Sane redesign musings
Tim Daly
-
2019/07/20
[Axiom-developer] Axiom's Sane redesign musings
Tim Daly
-
2019/07/15
[Axiom-developer] Fwd: [software-design-book] A Philosophy of Software Design
Tim Daly
-
2019/07/15
[Axiom-developer] Fwd: [software-design-book] A Philosophy of Software Design
Tim Daly
-
2019/07/15
[Axiom-developer] Fwd: [software-design-book] A Philosophy of Software Design
Tim Daly
-
2019/07/15
[Axiom-developer] Fwd: A Philosophy of Software Design
Tim Daly
-
2019/07/15
[Axiom-developer] Fwd: [software-design-book] A Philosophy of Software Design
Tim Daly
-
2019/07/12
Re: [Axiom-developer] [EXTERNAL] Re: Axiom's Sane redesign musings
Tim Daly
-
2019/07/12
Re: [Axiom-developer] [EXTERNAL] Re: Axiom's Sane redesign musings
William Sit
-
2019/07/12
Re: [Axiom-developer] [EXTERNAL] Re: Axiom's Sane redesign musings
Tim Daly
-
2019/07/09
[Axiom-developer] Fwd: [EXTERNAL] Re: Axiom's Sane redesign musings
Tim Daly
-
2019/06/30
Re: [Axiom-developer] [EXTERNAL] Re: Axiom's Sane redesign musings
Clifford Yapp
-
2019/06/30
Re: [Axiom-developer] [EXTERNAL] Re: Axiom's Sane redesign musings
Tim Daly
-
2019/06/30
Re: [Axiom-developer] [EXTERNAL] Re: Axiom's Sane redesign musings
Martin Baker
-
2019/06/29
Re: [Axiom-developer] [EXTERNAL] Re: Axiom's Sane redesign musings
Tim Daly
-
2019/06/27
Re: [Axiom-developer] [EXTERNAL] Re: Axiom's Sane redesign musings
Tim Daly