Logs: liberachat/#haskell
| 2021-05-28 10:40:03 | × | ddellacosta quits (~ddellacos@89.46.62.69) (Ping timeout: 272 seconds) |
| 2021-05-28 10:40:53 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2021-05-28 10:41:37 | → | satai joins (~satai@ip-37-188-160-241.eurotel.cz) |
| 2021-05-28 10:41:56 | <river> | hey |
| 2021-05-28 10:41:59 | <river> | i just realized something |
| 2021-05-28 10:42:04 | <river> | you lot helped me understand yoneda lemma |
| 2021-05-28 10:42:11 | <river> | but there was absolutely nothing about ^op in it |
| 2021-05-28 10:42:23 | <river> | the real lemma has this difficult stuff about stuff being opposite |
| 2021-05-28 10:42:31 | <river> | how was it possible to avoid all tht? |
| 2021-05-28 10:42:51 | ← | hpd[m] parts (~hpdhpdeif@2001:470:69fc:105::230) () |
| 2021-05-28 10:43:11 | <snan> | ski: is this what you were thinking of? https://raw.githubusercontent.com/arcfide/riastradh/master/foof-loop/foof-loop.txt that's interesting. Scheme is more familiar ground for me |
| 2021-05-28 10:43:23 | → | dunham joins (~dunham@97-113-35-16.tukw.qwest.net) |
| 2021-05-28 10:44:44 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-05-28 10:45:08 | × | hexfive quits (~eric@50.35.83.177) (Quit: WeeChat 3.0) |
| 2021-05-28 10:45:59 | <dminuoso> | river: You have to be a bit more explicit about "stuff being opposite" |
| 2021-05-28 10:47:02 | × | Mark_ quits (uid14803@user/mark/x-9597255) (Quit: Connection closed for inactivity) |
| 2021-05-28 10:47:37 | → | nsilv-phone-1 joins (~nsilv-pho@host-82-50-119-12.retail.telecomitalia.it) |
| 2021-05-28 10:47:42 | × | dunham quits (~dunham@97-113-35-16.tukw.qwest.net) (Ping timeout: 248 seconds) |
| 2021-05-28 10:48:55 | × | holy_ quits (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Ping timeout: 272 seconds) |
| 2021-05-28 10:49:18 | × | nsilv-phone quits (~nsilv-pho@37.163.1.234) (Ping timeout: 248 seconds) |
| 2021-05-28 10:49:24 | → | tose joins (~tose@ip-85-160-8-1.eurotel.cz) |
| 2021-05-28 10:50:08 | → | holy_ joins (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) |
| 2021-05-28 10:50:53 | × | tose quits (~tose@ip-85-160-8-1.eurotel.cz) (Remote host closed the connection) |
| 2021-05-28 10:51:14 | → | tose joins (~tose@ip-85-160-8-1.eurotel.cz) |
| 2021-05-28 10:51:50 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-05-28 10:52:07 | × | holy_ quits (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Remote host closed the connection) |
| 2021-05-28 10:52:23 | → | holy_ joins (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) |
| 2021-05-28 10:52:40 | × | sa1 quits (uid7690@id-7690.charlton.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-05-28 10:52:56 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-28 10:53:12 | → | maralorn[m] joins (~maralornm@2001:470:69fc:105::251) |
| 2021-05-28 10:53:46 | → | Sinbad joins (~Sinbad@user/sinbad) |
| 2021-05-28 10:54:13 | × | nerdy quits (znc@152.67.162.71) (Changing host) |
| 2021-05-28 10:54:13 | → | nerdy joins (znc@user/nerdypepper) |
| 2021-05-28 10:54:15 | nerdy | is now known as np |
| 2021-05-28 10:55:15 | × | tose quits (~tose@ip-85-160-8-1.eurotel.cz) (Remote host closed the connection) |
| 2021-05-28 10:55:43 | → | Robin_Jadoul joins (~Robin_Jad@152.67.64.160) |
| 2021-05-28 10:56:20 | → | ksqsf joins (~textual@67.209.186.120.16clouds.com) |
| 2021-05-28 10:56:30 | × | Sinbad quits (~Sinbad@user/sinbad) (Quit: WeeChat 3.1) |
| 2021-05-28 10:58:22 | × | ksqsf quits (~textual@67.209.186.120.16clouds.com) (Remote host closed the connection) |
| 2021-05-28 10:58:28 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-05-28 10:58:41 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-28 10:58:53 | → | ksqsf joins (~textual@67.209.186.120.16clouds.com) |
| 2021-05-28 10:59:20 | × | nf quits (~n@monade.li) (Remote host closed the connection) |
| 2021-05-28 10:59:38 | → | nf joins (~n@monade.li) |
| 2021-05-28 11:01:34 | × | holy_ quits (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Ping timeout: 248 seconds) |
| 2021-05-28 11:02:28 | → | Lycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-05-28 11:02:38 | → | holy_ joins (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) |
| 2021-05-28 11:03:52 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-05-28 11:04:08 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-28 11:04:23 | → | Sinbad joins (~Sinbad@user/sinbad) |
| 2021-05-28 11:05:42 | × | maralorn[m] quits (~maralornm@2001:470:69fc:105::251) (Quit: node-irc says goodbye) |
| 2021-05-28 11:05:57 | → | maralorn[m] joins (~maralorn@2001:470:69fc:105::251) |
| 2021-05-28 11:06:25 | → | dustingetz joins (~textual@pool-173-49-123-198.phlapa.fios.verizon.net) |
| 2021-05-28 11:06:29 | → | ccntrq joins (~ccntrq@business-90-187-183-141.pool2.vodafone-ip.de) |
| 2021-05-28 11:06:32 | ← | GOD parts (~mad@user/god) () |
| 2021-05-28 11:06:32 | <ski> | snan : rather <https://mumble.net/~campbell/scheme/foof-loop.txt>,<https://mumble.net/~campbell/scheme/foof-loop.scm> |
| 2021-05-28 11:07:28 | <ski> | snan : #haskell-se finns, oxå |
| 2021-05-28 11:07:45 | → | tose joins (~tose@ip-85-160-8-1.eurotel.cz) |
| 2021-05-28 11:09:04 | × | ksqsf quits (~textual@67.209.186.120.16clouds.com) (Remote host closed the connection) |
| 2021-05-28 11:09:09 | × | maralorn[m] quits (~maralorn@2001:470:69fc:105::251) (Client Quit) |
| 2021-05-28 11:09:16 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-05-28 11:09:28 | → | maralorn[m] joins (~maralorn@2001:470:69fc:105::251) |
| 2021-05-28 11:09:44 | → | waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-05-28 11:10:31 | × | holy_ quits (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Remote host closed the connection) |
| 2021-05-28 11:10:38 | → | spirgel_ joins (spirgel@gateway/vpn/protonvpn/spirgel) |
| 2021-05-28 11:11:01 | → | holy_ joins (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) |
| 2021-05-28 11:11:06 | × | maralorn[m] quits (~maralorn@2001:470:69fc:105::251) (Client Quit) |
| 2021-05-28 11:11:21 | → | maralorn[m] joins (~maralorn@2001:470:69fc:105::251) |
| 2021-05-28 11:11:36 | → | ksqsf joins (~textual@67.209.186.120.16clouds.com) |
| 2021-05-28 11:12:37 | × | ksqsf quits (~textual@67.209.186.120.16clouds.com) (Remote host closed the connection) |
| 2021-05-28 11:12:58 | × | Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-05-28 11:13:50 | × | spirgel quits (spirgel@gateway/vpn/protonvpn/spirgel) (Ping timeout: 248 seconds) |
| 2021-05-28 11:14:09 | → | ksqsf joins (~textual@67.209.186.120.16clouds.com) |
| 2021-05-28 11:14:30 | × | a6a45081-2b83 quits (~aditya@106.212.79.20) (Quit: Konversation terminated!) |
| 2021-05-28 11:15:06 | → | Guest31_ joins (~textual@cpc146410-hari22-2-0-cust124.20-2.cable.virginm.net) |
| 2021-05-28 11:15:18 | × | waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 264 seconds) |
| 2021-05-28 11:15:32 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-28 11:16:34 | × | holy_ quits (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Remote host closed the connection) |
| 2021-05-28 11:17:03 | × | chddr quits (~Thunderbi@31.148.23.125) (Ping timeout: 244 seconds) |
| 2021-05-28 11:17:06 | → | waleee joins (~waleee@h-98-128-228-119.NA.cust.bahnhof.se) |
| 2021-05-28 11:17:07 | → | boxscape joins (~boxscape@user/boxscape) |
| 2021-05-28 11:17:09 | → | ubert joins (~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233) |
| 2021-05-28 11:17:46 | → | holy_ joins (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) |
| 2021-05-28 11:19:17 | × | ryantrinkle quits (~ryan@2600:1017:b40b:f05b:897c:6b76:a986:fb80) (Read error: Connection reset by peer) |
| 2021-05-28 11:19:57 | × | holy_ quits (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Remote host closed the connection) |
| 2021-05-28 11:20:33 | → | holy_ joins (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) |
| 2021-05-28 11:20:46 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 248 seconds) |
| 2021-05-28 11:21:27 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-28 11:22:06 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-05-28 11:22:22 | × | pe200012 quits (~pe200012@119.131.208.84) (Ping timeout: 248 seconds) |
| 2021-05-28 11:22:42 | → | pe200012 joins (~pe200012@119.131.208.84) |
| 2021-05-28 11:24:17 | × | ksqsf quits (~textual@67.209.186.120.16clouds.com) (Remote host closed the connection) |
| 2021-05-28 11:24:23 | <jackdk> | int-e: any chance we can get a lambdabot in #bfpg? |
| 2021-05-28 11:24:50 | × | Tomurb quits (~tom@158.194.92.121) (Ping timeout: 264 seconds) |
| 2021-05-28 11:28:32 | → | ksqsf joins (~textual@67.209.186.120.16clouds.com) |
| 2021-05-28 11:29:33 | × | ksqsf quits (~textual@67.209.186.120.16clouds.com) (Remote host closed the connection) |
| 2021-05-28 11:30:55 | × | holy_ quits (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Remote host closed the connection) |
| 2021-05-28 11:31:20 | → | ksqsf joins (~textual@67.209.186.120.16clouds.com) |
| 2021-05-28 11:31:34 | × | python476 quits (~user@88.160.31.174) (Read error: Connection reset by peer) |
| 2021-05-28 11:31:58 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
All times are in UTC.