dlab IRC 2017 November 8th

← 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)
[00:00:18Z] Just vague thoughts...
joeytwiddle (usually joeytwiddle^snr) (Joey Clark)
[00:57:44Z] 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://github.com/joeytwiddle/code/blob/master/haskell/maths/maths.hs
[01:01:28Z] Here is the output: https://gist.github.com/joeytwiddle/87b0829526c16adba72ec4ad38bf48ae Actually one of my rules is wrong. The +/- when you sqrt() something is missing!

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.