Newest at the top
| 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) () |
| 2026-01-21 16:14:18 +0100 | vidak | (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) vidak |
| 2026-01-21 16:07:49 +0100 | Digit | (~user@user/digit) (Ping timeout: 264 seconds) |
| 2026-01-21 16:07:08 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2026-01-21 16:05:58 +0100 | Inline | (~User@2001-4dd6-dd24-0-41c1-f819-9bd9-d884.ipv6dyn.netcologne.de) Inline |
| 2026-01-21 16:05:19 +0100 | CiaoSen | (~Jura@ipservice-092-208-107-195.092.208.pools.vodafone-ip.de) (Ping timeout: 260 seconds) |
| 2026-01-21 16:04:28 +0100 | Inline | (~User@2001-4dd6-dd24-0-5fac-f4ca-3e2c-ca4.ipv6dyn.netcologne.de) (Quit: KVIrc 5.2.6 Quasar http://www.kvirc.net/) |
| 2026-01-21 16:03:38 +0100 | raym | (~ray@user/raym) raym |
| 2026-01-21 16:01:03 +0100 | DetourNe- | DetourNetworkUK |
| 2026-01-21 15:59:41 +0100 | DetourNetworkUK | (DetourNetw@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2026-01-21 15:58:46 +0100 | DetourNe- | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |