← Previous day: 2017-11-07 · Next day: 2017-11-09 →
#dlab logs for 2017-11-08
- Current topic
- A distributed laboratory. Everything which appears here is logged at https://rawl.es/dlab/irc/2017/
- rawles (Simon Rawles)
Just vague thoughts...
- joeytwiddle (usually joeytwiddle^snr) (Joey Clark)
I was once interested in getting computers to do what mathematicians do, i.e. prove one thing from other things. I wrote a simple program which, if you call 'go', will use a set of rules to re-arrange an equation:
- https://gist.github.com/joeytwiddle/87b0829526c16adba72ec4ad38bf48ae Actually one of my rules is wrong. The +/- when you sqrt() something is missing!
Here is the output:
All timestamps are in UTC.
If you want to join in, channel information is available.
This page is generated from raw logfile dlab-2017-10-31-134844.txt.