Newest at the top
| 2026-01-21 18:05:28 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 252 seconds) |
| 2026-01-21 18:04:24 +0100 | dolio | (~dolio@130.44.140.168) dolio |
| 2026-01-21 18:04:24 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2026-01-21 18:04:09 +0100 | spew | (~spew@user/spew) (Quit: nyaa~) |
| 2026-01-21 18:03:18 +0100 | comerijn | (~merijn@77.242.116.146) merijn |
| 2026-01-21 18:01:48 +0100 | jmcantrell_ | jmcantrell |
| 2026-01-21 18:01:43 +0100 | Gestodia | (~Gestodia@2404:8000:1005:448:c320:aee4:d56b:2627) (Quit: Client closed) |
| 2026-01-21 18:00:44 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-01-21 18:00:07 +0100 | Googulator | (~Googulato@2a01:36d:106:29ac:8d41:f550:2a4f:1a91) |
| 2026-01-21 17:59:37 +0100 | Googulator | (~Googulato@2a01:36d:106:29ac:8d41:f550:2a4f:1a91) (Quit: Client closed) |
| 2026-01-21 17:53:18 +0100 | dolio | (~dolio@130.44.140.168) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-01-21 17:41:34 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 260 seconds) |
| 2026-01-21 17:36:52 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-01-21 17:36:38 +0100 | <EvanR> | and more obvious |
| 2026-01-21 17:36:33 +0100 | <EvanR> | just like ruleology is easier to say |
| 2026-01-21 17:36:14 +0100 | <EvanR> | ruliology... ok you can invent whatever you want but |
| 2026-01-21 17:35:20 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2026-01-21 17:32:00 +0100 | <lortabac> | thanks |
| 2026-01-21 17:31:38 +0100 | <gentauro> | lortabac: https://writings.stephenwolfram.com/2026/01/what-is-ruliology/ ;) |
| 2026-01-21 17:31:15 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-01-21 17:30:34 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2026-01-21 17:29:32 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 252 seconds) |
| 2026-01-21 17:27:15 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-01-21 17:27:12 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2026-01-21 17:18:10 +0100 | Digitteknohippie | Digit |
| 2026-01-21 17:16:42 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2026-01-21 17:16:42 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2026-01-21 17:16:42 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2026-01-21 17:16:30 +0100 | trickard_ | (~trickard@cpe-93-98-47-163.wireline.com.au) |
| 2026-01-21 17:16:16 +0100 | trickard_ | (~trickard@cpe-93-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-21 17:12:17 +0100 | fp | (~Thunderbi@wireless-86-50-141-134.open.aalto.fi) (Ping timeout: 244 seconds) |
| 2026-01-21 17:02:37 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-01-21 17:01:56 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2026-01-21 17:01:55 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-01-21 17:01:29 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2026-01-21 17:00:23 +0100 | housemate | (~housemate@202.7.248.67) housemate |
| 2026-01-21 16:58:10 +0100 | <__monty__> | Looks like it's the study of abstract rules. Which makes sense to me coming from someone who started out looking at cellular automata. |
| 2026-01-21 16:51:05 +0100 | housemate | (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-01-21 16:49:24 +0100 | <int-e> | wolfram is the best crank |
| 2026-01-21 16:43:49 +0100 | <lortabac> | I don't know what "ruliology" means, but this looks both scary and fascinating at the same time |
| 2026-01-21 16:38:49 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-01-21 16:35:05 +0100 | <gentauro> | «Note added September 18, 2025: I thank John Tromp for suggesting several significant improvements to the original version of this» -> https://writings.stephenwolfram.com/2025/09/the-ruliology-of-lambdas/ |
| 2026-01-21 16:34:03 +0100 | <gentauro> | blc (binary lambda calculus) from John Tromp is also very very simplistic xD |
| 2026-01-21 16:33:16 +0100 | <lortabac> | that being said, Prolog doesn't have local predicates either. It's slightly inconvenient but not a showstopper |
| 2026-01-21 16:29:05 +0100 | <lortabac> | I need to watch that talk again |
| 2026-01-21 16:28:48 +0100 | <lortabac> | wow |
| 2026-01-21 16:27:11 +0100 | <gentauro> | lortabac: no lambda and no let :o https://youtu.be/Xnvj61qkg7c?t=2051 (34:11 ish) |
| 2026-01-21 16:25:13 +0100 | Googulator64 | Googulator |
| 2026-01-21 16:20:31 +0100 | danza | (~danza@user/danza) (Quit: got to go) |
| 2026-01-21 16:19:09 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |