Logs: liberachat/#haskell
| 2021-06-12 13:20:19 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2021-06-12 13:21:21 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-12 13:21:51 | × | fizbin_ quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 244 seconds) |
| 2021-06-12 13:22:53 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-06-12 13:25:32 | → | leah2 joins (~leah@vuxu.org) |
| 2021-06-12 13:25:45 | → | alx741 joins (~alx741@186.178.108.59) |
| 2021-06-12 13:26:05 | → | hrdl joins (~hrdl@mail.hrdl.eu) |
| 2021-06-12 13:26:15 | → | bontaq joins (~user@ool-18e47f8d.dyn.optonline.net) |
| 2021-06-12 13:26:24 | → | edwtjo joins (~edwtjo@h-109-228-137-133.A213.priv.bahnhof.se) |
| 2021-06-12 13:26:24 | × | edwtjo quits (~edwtjo@h-109-228-137-133.A213.priv.bahnhof.se) (Changing host) |
| 2021-06-12 13:26:24 | → | edwtjo joins (~edwtjo@user/edwtjo) |
| 2021-06-12 13:26:38 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-06-12 13:26:51 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-06-12 13:27:16 | → | derelict joins (~derelict@user/derelict) |
| 2021-06-12 13:27:35 | → | geekosaur joins (~geekosaur@069-135-003-034.biz.spectrum.com) |
| 2021-06-12 13:28:04 | → | dunkeln joins (~dunkeln@94.129.65.28) |
| 2021-06-12 13:28:30 | × | Guest9 quits (~Guest9@43.250.157.5) (Ping timeout: 264 seconds) |
| 2021-06-12 13:36:59 | → | kuribas joins (~user@ptr-25vy0i8qzjio5c5v059.18120a2.ip6.access.telenet.be) |
| 2021-06-12 13:37:04 | → | Feuermagier joins (~Feuermagi@user/feuermagier) |
| 2021-06-12 13:39:41 | → | bb010g joins (~bb010gmat@2001:470:69fc:105::9a5) |
| 2021-06-12 13:40:35 | <nilof> | c_wraith : huh that is a really cool use of a priority queue, I had missed that |
| 2021-06-12 13:41:29 | × | dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 265 seconds) |
| 2021-06-12 13:41:56 | <nilof> | Oh yeah btw, are any of the tree-based priority queues stable? |
| 2021-06-12 13:42:20 | <nilof> | i.e. if they act as a queue when everything you insert has the same priority |
| 2021-06-12 13:44:09 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-12 13:44:19 | → | da39a3ee5e6b4b0d joins (~textual@2403:6200:8876:2955:f1c5:68ee:212f:e12f) |
| 2021-06-12 13:44:23 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-12 13:45:21 | × | da39a3ee_ quits (~textual@67.23.55.162) (Ping timeout: 265 seconds) |
| 2021-06-12 13:45:37 | <nilof> | not necessarily that heapsorting with it becomes a stable sort, though that is technically nice too |
| 2021-06-12 13:46:44 | <nilof> | That's trivially doable with sorted RRB-vectors or finger trees ofc |
| 2021-06-12 13:50:20 | → | gehmehgeh_ joins (~user@user/gehmehgeh) |
| 2021-06-12 13:51:07 | × | gehmehgeh quits (~user@user/gehmehgeh) (Ping timeout: 252 seconds) |
| 2021-06-12 13:51:18 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 252 seconds) |
| 2021-06-12 13:51:29 | → | amahl joins (~amahl@87-95-128-122.bb.dnainternet.fi) |
| 2021-06-12 13:51:33 | → | teaSlurper joins (~chris@81.96.113.213) |
| 2021-06-12 13:51:51 | × | schuelermine quits (~anselmsch@user/schuelermine) (Quit: WeeChat 3.1) |
| 2021-06-12 13:52:33 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-12 13:54:08 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-12 13:55:57 | × | ubert quits (~Thunderbi@p200300ecdf259ddf6d4493bcfbeaba19.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2021-06-12 13:57:06 | → | oxide joins (~lambda@user/oxide) |
| 2021-06-12 13:57:34 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-12 13:57:42 | × | stefan-_ quits (~cri@42dots.de) (Ping timeout: 244 seconds) |
| 2021-06-12 13:58:30 | × | jespada quits (~jespada@90.254.242.55) (Ping timeout: 264 seconds) |
| 2021-06-12 13:59:39 | → | jespada joins (~jespada@90.254.242.55) |
| 2021-06-12 14:01:58 | → | stefan-_ joins (~cri@42dots.de) |
| 2021-06-12 14:11:04 | × | teaSlurper quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-06-12 14:15:55 | → | teaSlurper joins (~chris@81.96.113.213) |
| 2021-06-12 14:17:33 | → | dunkeln joins (~dunkeln@94.129.65.28) |
| 2021-06-12 14:18:03 | → | shapr joins (~user@pool-108-28-144-11.washdc.fios.verizon.net) |
| 2021-06-12 14:19:28 | → | polux0 joins (~polux@51.15.169.172) |
| 2021-06-12 14:19:55 | × | shailangsa quits (~shailangs@host86-186-177-181.range86-186.btcentralplus.com) (Ping timeout: 252 seconds) |
| 2021-06-12 14:20:27 | × | teaSlurper quits (~chris@81.96.113.213) (Ping timeout: 252 seconds) |
| 2021-06-12 14:20:35 | <DigitalKiwi> | parse sea or par seck |
| 2021-06-12 14:20:36 | → | connrs_ joins (~connrs@user/connrs) |
| 2021-06-12 14:21:01 | × | connrs quits (~connrs@user/connrs) (Ping timeout: 252 seconds) |
| 2021-06-12 14:21:01 | connrs_ | is now known as connrs |
| 2021-06-12 14:21:16 | <DigitalKiwi> | pairseq |
| 2021-06-12 14:21:23 | <DigitalKiwi> | pear |
| 2021-06-12 14:21:33 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 252 seconds) |
| 2021-06-12 14:21:34 | × | polux quits (~polux@51.15.169.172) (Ping timeout: 252 seconds) |
| 2021-06-12 14:21:34 | polux0 | is now known as polux |
| 2021-06-12 14:22:06 | × | pe200012_ quits (~pe200012@120.236.161.38) (Ping timeout: 252 seconds) |
| 2021-06-12 14:22:16 | × | reumeth quits (~reumeth@user/reumeth) (Remote host closed the connection) |
| 2021-06-12 14:22:18 | → | pe200012_ joins (~pe200012@183.63.73.36) |
| 2021-06-12 14:22:34 | → | ubikium joins (~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net) |
| 2021-06-12 14:23:12 | × | Square quits (~a@178.62.91.8) (Ping timeout: 252 seconds) |
| 2021-06-12 14:23:21 | → | oxide joins (~lambda@user/oxide) |
| 2021-06-12 14:25:45 | → | slowButPresent joins (~slowButPr@user/slowbutpresent) |
| 2021-06-12 14:26:45 | × | peterhil quits (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 264 seconds) |
| 2021-06-12 14:27:24 | → | Square joins (~a@178.62.91.8) |
| 2021-06-12 14:30:03 | × | xff0x quits (~xff0x@2001:1a81:5382:9400:de6:80d2:c3d3:91ab) (Ping timeout: 244 seconds) |
| 2021-06-12 14:30:23 | mniip_ | is now known as mniip |
| 2021-06-12 14:31:01 | → | xff0x joins (~xff0x@2001:1a81:5382:9400:396b:8b84:7b33:5a72) |
| 2021-06-12 14:31:27 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-06-12 14:31:43 | × | zebrag quits (~chris@user/zebrag) (Remote host closed the connection) |
| 2021-06-12 14:35:29 | × | dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 272 seconds) |
| 2021-06-12 14:36:56 | × | zeenk quits (~zeenk@2a02:2f04:a310:b600:b098:bf18:df4d:4c41) (Quit: Konversation terminated!) |
| 2021-06-12 14:37:29 | → | aerona joins (~aerona@2600:6c54:4600:f300:6de7:8f27:ad87:4107) |
| 2021-06-12 14:38:03 | → | waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-06-12 14:38:06 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:4587:6292:4bfd:4d24) |
| 2021-06-12 14:38:40 | → | peterhil joins (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 2021-06-12 14:38:41 | → | teaSlurper joins (~chris@81.96.113.213) |
| 2021-06-12 14:41:19 | → | dunkeln joins (~dunkeln@94.129.65.28) |
| 2021-06-12 14:42:39 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:4587:6292:4bfd:4d24) (Ping timeout: 272 seconds) |
| 2021-06-12 14:42:41 | → | Henson joins (~kvirc@23-233-1-122.cpe.pppoe.ca) |
| 2021-06-12 14:42:44 | → | zebrag joins (~chris@user/zebrag) |
| 2021-06-12 14:44:00 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 2021-06-12 14:44:45 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 264 seconds) |
| 2021-06-12 14:47:10 | → | shailangsa joins (~shailangs@host86-186-177-181.range86-186.btcentralplus.com) |
| 2021-06-12 14:47:51 | → | reumeth joins (~reumeth@user/reumeth) |
| 2021-06-12 14:48:38 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-06-12 14:50:28 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.2-rc1) |
| 2021-06-12 14:57:21 | × | nilof quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 264 seconds) |
| 2021-06-12 14:57:57 | × | zebrag quits (~chris@user/zebrag) (Remote host closed the connection) |
| 2021-06-12 14:58:15 | → | Scotty_Trees joins (~Scotty_Tr@162-234-179-169.lightspeed.brhmal.sbcglobal.net) |
| 2021-06-12 14:58:30 | × | killsushi quits (~killsushi@user/killsushi) (Ping timeout: 264 seconds) |
| 2021-06-12 15:00:31 | <kuribas> | How do you handle conflicting fields for RecordWildCards? |
| 2021-06-12 15:00:40 | → | oxide joins (~lambda@user/oxide) |
| 2021-06-12 15:02:15 | <kuribas> | I have a lot of records with identical fields which I want to ignore. |
| 2021-06-12 15:02:52 | × | waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 268 seconds) |
All times are in UTC.