Logs: liberachat/#haskell
| 2025-10-07 11:34:38 | Googulator22 | is now known as Googulator |
| 2025-10-07 11:35:49 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2025-10-07 11:39:59 | yegor_ | is now known as yegor |
| 2025-10-07 11:41:22 | × | synchromesh quits (~john@2406:5a00:2412:2c00:14af:5217:695d:a2e) (Read error: Connection reset by peer) |
| 2025-10-07 11:42:00 | → | synchromesh joins (~john@2406:5a00:2412:2c00:39fd:af6c:a9e5:b1c5) |
| 2025-10-07 11:44:41 | → | bcksl joins (~bcksl@user/bcksl) |
| 2025-10-07 11:45:07 | <zfnmxt> | bwe No, they aren't. There are lecture "notes" in the form of .hs files under each of the weeklies (last year's edition will probably be better in this regard: https://github.com/diku-dk/ap-e2024-pub)---each lecture was taught writing these files during the lecture. But I don't know if they're such a good resource if you weren't present; I'd stick to just reading the notes and doing the exercises and assignments. |
| 2025-10-07 11:45:31 | × | Googulator quits (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-07 11:45:40 | → | Googulator joins (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-07 11:47:13 | → | qqe joins (~qqq@185.54.23.200) |
| 2025-10-07 11:51:41 | → | end joins (~end@user/end/x-0094621) |
| 2025-10-07 11:55:01 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-10-07 11:55:15 | → | divlamir joins (~divlamir@user/divlamir) |
| 2025-10-07 11:57:33 | → | craunts795 joins (~craunts@136.158.7.194) |
| 2025-10-07 12:00:25 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-10-07 12:10:16 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 246 seconds) |
| 2025-10-07 12:15:40 | × | Googulator quits (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-07 12:15:45 | → | Googulator24 joins (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-07 12:19:25 | → | MelodyOwO joins (~MelodyOwO@user/MelodyOwO) |
| 2025-10-07 12:22:05 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-10-07 12:25:54 | × | Googulator24 quits (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-07 12:26:00 | → | Googulator36 joins (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-07 12:26:53 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 250 seconds) |
| 2025-10-07 12:30:36 | → | Googulator8 joins (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-07 12:30:37 | × | Googulator36 quits (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Client Quit) |
| 2025-10-07 12:35:44 | → | Googulator69 joins (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-07 12:35:44 | × | Googulator8 quits (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-07 12:37:08 | → | dostoevsky_ joins (~dostoevsk@user/dostoevsky) |
| 2025-10-07 12:38:36 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-10-07 12:38:51 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-10-07 12:38:57 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2025-10-07 12:43:16 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2025-10-07 12:49:06 | × | Katarushisu quits (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2025-10-07 12:49:15 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-10-07 12:52:46 | → | Katarushisu joins (~Katarushi@81.99.103.8) |
| 2025-10-07 12:53:10 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-10-07 12:53:58 | × | Profpatsch quits (~Profpatsc@user/Profpatsch) (Quit: WeeChat 4.4.3) |
| 2025-10-07 12:55:12 | × | Square3 quits (~Square4@user/square) (Quit: Leaving) |
| 2025-10-07 13:08:04 | Googulator69 | is now known as Googulator |
| 2025-10-07 13:20:30 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-10-07 13:26:30 | × | finsternis quits (~X@23.226.237.192) (Read error: Connection reset by peer) |
| 2025-10-07 13:29:10 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2025-10-07 13:31:06 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-10-07 13:36:01 | → | Googulator69 joins (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-07 13:36:22 | × | Googulator quits (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-07 13:49:12 | → | Square joins (~Square4@user/square) |
| 2025-10-07 13:51:24 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 2025-10-07 13:51:45 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-10-07 13:52:08 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2025-10-07 13:54:47 | → | comerijn joins (~merijn@77.242.116.146) |
| 2025-10-07 13:57:00 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 2025-10-07 14:08:43 | × | comerijn quits (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-10-07 14:11:29 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-10-07 14:24:40 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 265 seconds) |
| 2025-10-07 14:27:29 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 2025-10-07 14:36:35 | × | fp quits (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 245 seconds) |
| 2025-10-07 14:37:49 | → | poscat0x04 joins (~poscat@user/poscat) |
| 2025-10-07 14:39:36 | × | poscat quits (~poscat@user/poscat) (Ping timeout: 256 seconds) |
| 2025-10-07 14:42:25 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:7834:9502:5b66:1133) |
| 2025-10-07 14:42:25 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:7834:9502:5b66:1133) (Changing host) |
| 2025-10-07 14:42:25 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-10-07 14:45:25 | × | Enrico63 quits (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-10-07 14:54:00 | → | SlackCoder joins (~SlackCode@64-94-63-8.ip.weststar.net.ky) |
| 2025-10-07 14:55:45 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 256 seconds) |
| 2025-10-07 15:03:08 | → | dostoevsky__ joins (~dostoevsk@user/dostoevsky) |
| 2025-10-07 15:03:10 | × | dostoevsky_ quits (~dostoevsk@user/dostoevsky) (Remote host closed the connection) |
| 2025-10-07 15:03:25 | → | Enrico63 joins (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) |
| 2025-10-07 15:05:03 | × | infinity0 quits (~infinity0@pwned.gg) (Ping timeout: 250 seconds) |
| 2025-10-07 15:07:26 | → | dostoevsky_ joins (~dostoevsk@user/dostoevsky) |
| 2025-10-07 15:07:31 | × | dostoevsky__ quits (~dostoevsk@user/dostoevsky) (Remote host closed the connection) |
| 2025-10-07 15:08:24 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2025-10-07 15:09:26 | → | dostoevsky__ joins (~dostoevsk@user/dostoevsky) |
| 2025-10-07 15:09:31 | × | dostoevsky_ quits (~dostoevsk@user/dostoevsky) (Remote host closed the connection) |
| 2025-10-07 15:20:23 | × | dostoevsky__ quits (~dostoevsk@user/dostoevsky) (Remote host closed the connection) |
| 2025-10-07 15:24:39 | → | infinity0 joins (~infinity0@pwned.gg) |
| 2025-10-07 15:25:13 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 246 seconds) |
| 2025-10-07 15:30:44 | × | JSharp quits (sid4580@user/JSharp) (Ping timeout: 260 seconds) |
| 2025-10-07 15:31:19 | × | buhman quits (sid411355@user/buhman) (Ping timeout: 260 seconds) |
| 2025-10-07 15:31:52 | → | JSharp joins (sid4580@user/JSharp) |
| 2025-10-07 15:31:54 | × | unlucy quits (sid572875@user/unlucy) (Ping timeout: 260 seconds) |
| 2025-10-07 15:32:13 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:7834:9502:5b66:1133) |
| 2025-10-07 15:32:13 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:7834:9502:5b66:1133) (Changing host) |
| 2025-10-07 15:32:13 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-10-07 15:32:29 | × | edwardk quits (sid47016@haskell/developer/edwardk) (Ping timeout: 260 seconds) |
| 2025-10-07 15:33:04 | × | alanz quits (sid110616@id-110616.uxbridge.irccloud.com) (Ping timeout: 260 seconds) |
| 2025-10-07 15:33:27 | → | edwardk joins (sid47016@haskell/developer/edwardk) |
| 2025-10-07 15:35:16 | → | buhman joins (sid411355@user/buhman) |
| 2025-10-07 15:35:25 | → | unlucy joins (sid572875@user/unlucy) |
| 2025-10-07 15:35:35 | → | alanz joins (sid110616@id-110616.uxbridge.irccloud.com) |
| 2025-10-07 15:41:20 | × | Enrico63 quits (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-10-07 15:52:08 | → | smeik5005 joins (~smeik5005@185.66.194.65) |
| 2025-10-07 15:53:47 | × | smeik5005 quits (~smeik5005@185.66.194.65) (Client Quit) |
| 2025-10-07 15:56:25 | → | ystael joins (~ystael@user/ystael) |
| 2025-10-07 15:56:42 | × | Googulator69 quits (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-07 15:56:52 | → | Googulator69 joins (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-07 15:58:43 | → | Square2 joins (~Square@user/square) |
| 2025-10-07 16:02:25 | × | Square quits (~Square4@user/square) (Ping timeout: 245 seconds) |
| 2025-10-07 16:08:50 | Googulator69 | is now known as Googulator |
| 2025-10-07 16:10:11 | × | ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-10-07 16:15:42 | → | gorignak joins (~gorignak@user/gorignak) |
All times are in UTC.