Logs: liberachat/#haskell
| 2026-04-23 15:37:39 | → | tnt1 joins (~Thunderbi@user/tnt1) |
| 2026-04-23 16:02:25 | <humasect> | continuation style passing ..? |
| 2026-04-23 16:03:48 | <comerijn> | humasect: Communicating Sequential Processes |
| 2026-04-23 16:03:54 | <humasect> | ooh, k |
| 2026-04-23 16:04:22 | <comerijn> | https://en.wikipedia.org/wiki/Communicating_sequential_processes |
| 2026-04-23 16:09:20 | × | comerijn quits (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 2026-04-23 16:14:48 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2026-04-23 16:24:48 | gAy_Dragon | is now known as Ay_Dragong |
| 2026-04-23 16:31:27 | × | acarrico quits (~acarrico@2606:1440:605:2500:8a8c:d9b8:d955:c630) (Ping timeout: 246 seconds) |
| 2026-04-23 16:33:20 | × | m quits (~travltux@user/travltux) (Quit: WeeChat 4.7.2) |
| 2026-04-23 16:35:54 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:c1ac:b3ea:4d5f:1cb) |
| 2026-04-23 16:35:54 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:c1ac:b3ea:4d5f:1cb) (Changing host) |
| 2026-04-23 16:35:54 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-04-23 16:37:02 | × | kuribas quits (~user@2a02:1808:51:6776:c5ce:b7ef:828f:40c5) (Quit: /qui) |
| 2026-04-23 16:37:53 | Ay_Dragong | is now known as gAy_Dragon |
| 2026-04-23 16:40:52 | × | bggd__ quits (~bgg@2a01:e0a:fd5:f510:a8fb:b82b:2a5:62ab) (Remote host closed the connection) |
| 2026-04-23 16:44:22 | → | acarrico joins (~acarrico@2606:1440:605:2500:d46:9e23:1112:52ce) |
| 2026-04-23 16:53:34 | → | m joins (~travltux@user/travltux) |
| 2026-04-23 17:01:50 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-23 17:06:09 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-23 17:09:31 | → | Pixi` joins (~Pixi@user/pixi) |
| 2026-04-23 17:12:07 | × | tusko quits (~uwu@user/tusko) (Ping timeout: 265 seconds) |
| 2026-04-23 17:12:24 | × | Pixi quits (~Pixi@user/pixi) (Ping timeout: 246 seconds) |
| 2026-04-23 17:17:13 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-23 17:18:40 | → | tusko joins (~uwu@user/tusko) |
| 2026-04-23 17:19:50 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-04-23 17:21:59 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-23 17:22:17 | → | ft joins (~ft@p508db287.dip0.t-ipconnect.de) |
| 2026-04-23 17:30:17 | × | tusko quits (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-04-23 17:30:18 | → | ephapticpulse joins (~user@user/ephapticpulse) |
| 2026-04-23 17:30:22 | → | tusko_ joins (~uwu@user/tusko) |
| 2026-04-23 17:30:39 | → | gf31 joins (~gf3@user/gf3) |
| 2026-04-23 17:33:00 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-23 17:35:07 | × | tnt1 quits (~Thunderbi@user/tnt1) (Quit: tnt1) |
| 2026-04-23 17:39:29 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-23 17:42:10 | × | ouilemur quits (~jgmerritt@user/ouilemur) (Ping timeout: 248 seconds) |
| 2026-04-23 17:43:16 | → | ouilemur joins (~jgmerritt@user/ouilemur) |
| 2026-04-23 17:47:04 | × | gf31 quits (~gf3@user/gf3) (Quit: bye bye bye) |
| 2026-04-23 17:47:32 | → | gf31 joins (~gf3@user/gf3) |
| 2026-04-23 17:51:03 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-23 17:55:09 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2026-04-23 17:56:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-23 17:56:35 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 265 seconds) |
| 2026-04-23 17:58:07 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 2026-04-23 18:03:26 | <gentauro> | CSP from Tony Hoare |
| 2026-04-23 18:03:31 | <gentauro> | oh the uni memories :) |
| 2026-04-23 18:03:56 | gentauro | writing a CSP lib in OCaml for Andrzej Filinski |
| 2026-04-23 18:04:03 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 255 seconds) |
| 2026-04-23 18:05:31 | × | tusko_ quits (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-04-23 18:06:31 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-23 18:08:42 | × | ouilemur quits (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.9.0) |
| 2026-04-23 18:09:23 | → | Comstar joins (~Comstar@user/Comstar) |
| 2026-04-23 18:10:25 | <gentauro> | comerijn: I still have a copy of Filinskis «“CSP theory” track» if interested |
| 2026-04-23 18:11:22 | × | accountant quits (~accountan@2600:1702:5b61:8b40:955:b655:442f:e301) (Quit: Client closed) |
| 2026-04-23 18:11:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-23 18:14:26 | <gentauro> | Oh, the fun times when CPH Uni had a system for studens called … «Remember: HW1 due just before the lecture. (Electronically via ISIS: must be logged in to see submit button!)». Then when requesting "clearence" and authorities: "Ehhh, when we Google you, it states something about ISIS" xD |
| 2026-04-23 18:17:33 | <monochrom> | A couple of Egypt cuisine restaurants called Isis had to change their name for that. |
| 2026-04-23 18:18:33 | <gentauro> | :( |
| 2026-04-23 18:19:01 | <EvanR> | obama would speak of ISIL instead |
| 2026-04-23 18:19:05 | <EvanR> | thanks obama |
| 2026-04-23 18:20:11 | <Comstar> | Daesh |
| 2026-04-23 18:20:21 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 2026-04-23 18:21:30 | → | tusko joins (~uwu@user/tusko) |
| 2026-04-23 18:21:32 | gentauro | 2009-q1_csp-theory-track.zip -> https://hushfile.it/9fff5be8df2f4#B7U1Bi_qtVCOc4UHQWtrYT-ler61JKZIohFM81Yd (the HushFile service is provided by one of the Co-Founders of BornHack.dk) |
| 2026-04-23 18:22:18 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-23 18:27:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
All times are in UTC.