Newest at the top
| 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 |
| 2026-01-21 15:55:27 +0100 | <danza> | those were tough times for haskellers :) |
| 2026-01-21 15:54:25 +0100 | <danza> | ^^; |
| 2026-01-21 15:53:50 +0100 | <haskellbridge> | <loonycyborg> since what exactly it takes and returns isn't fixed in types entire thing could go out of sync very easily |
| 2026-01-21 15:53:22 +0100 | <haskellbridge> | <loonycyborg> ye it takes list of inputs and returns list of outputs |
| 2026-01-21 15:53:02 +0100 | tremon | (~tremon@83.80.159.219) tremon |
| 2026-01-21 15:52:43 +0100 | <lortabac> | it was a while ago so I may be misremembering something, but I think this Zurihac talk is relevant: https://youtu.be/Xnvj61qkg7c?si=ieVmvSgUoPJsh63J |
| 2026-01-21 15:52:29 +0100 | <dutchie> | is that the thing where you do main :: [InputStuff] -> [OutputStuff] |
| 2026-01-21 15:49:57 +0100 | trickard_ | (~trickard@cpe-93-98-47-163.wireline.com.au) |
| 2026-01-21 15:49:34 +0100 | trickard_ | (~trickard@cpe-93-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 2026-01-21 15:48:50 +0100 | <danza> | continuations would make sense. Not familiar with dialogues |
| 2026-01-21 15:46:52 +0100 | <haskellbridge> | <loonycyborg> iirc before monads it could use either dialogues or continuations. |
| 2026-01-21 15:45:03 +0100 | Milan_Vanca | (~milan@user/Milan-Vanca:32634) Milan_Vanca |
| 2026-01-21 15:42:51 +0100 | danza | (~danza@user/danza) danza |
| 2026-01-21 15:42:36 +0100 | danz66945 | (~danza@user/danza) (Remote host closed the connection) |
| 2026-01-21 15:42:32 +0100 | Enrico63 | (~Enrico63@host-79-42-228-73.retail.telecomitalia.it) Enrico63 |