Logs on 2026-01-21 (liberachat/#haskell)
| 00:03:03 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 00:07:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 00:07:41 | → | Tuplanolla joins (~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) |
| 00:10:00 | × | tremon quits (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 00:10:23 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 00:16:10 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 00:18:32 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 00:24:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 00:34:19 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 00:35:54 | × | Googulator quits (~Googulato@2a01-036d-0106-29ac-8d41-f550-2a4f-1a91.pool6.digikabel.hu) (Quit: Client closed) |
| 00:36:02 | → | Googulator joins (~Googulato@2a01-036d-0106-29ac-8d41-f550-2a4f-1a91.pool6.digikabel.hu) |
| 00:38:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 00:43:51 | → | deadnode666 joins (~deadnode6@user/deadnode666) |
| 00:44:23 | <jackdk> | @pl \f -> getCompose . lens (Compose . f) |
| 00:44:23 | <lambdabot> | (getCompose .) . lens . (Compose .) |
| 00:44:39 | <jackdk> | @botsnack |
| 00:44:39 | <lambdabot> | :) |
| 00:50:08 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 00:54:47 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 00:55:06 | → | zlqrvx joins (~zlqrvx@user/zlqrvx) |
| 00:55:21 | → | Psychotic1 joins (~Psychotic@2600:1007:b0a1:d86:de59:77c5:f4e1:331c) |
| 01:01:53 | × | Googulator quits (~Googulato@2a01-036d-0106-29ac-8d41-f550-2a4f-1a91.pool6.digikabel.hu) (Quit: Client closed) |
| 01:02:16 | → | Googulator joins (~Googulato@2a01-036d-0106-29ac-8d41-f550-2a4f-1a91.pool6.digikabel.hu) |
| 01:02:59 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 01:03:04 | × | xff0x quits (~xff0x@ai083101.d.east.v6connect.net) (Ping timeout: 246 seconds) |
| 01:04:46 | × | vidak quits (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) (Quit: Konversation terminated!) |
| 01:05:33 | → | vidak joins (~vidak@210.1.208.15) |
| 01:05:49 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:08:03 | × | vidak quits (~vidak@210.1.208.15) (Remote host closed the connection) |
| 01:10:42 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 01:17:39 | → | vidak joins (~vidak@210.1.208.15) |
| 01:21:35 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:22:24 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 01:26:54 | × | Tuplanolla quits (~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) (Quit: Leaving.) |
| 01:26:54 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 01:27:45 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:32:27 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 01:32:40 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 01:34:37 | → | califax joins (~califax@user/califx) |
| 01:43:26 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:44:27 | → | DetourNe- joins (~DetourNet@user/DetourNetworkUK) |
| 01:45:26 | × | DetourNetworkUK quits (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 01:46:12 | → | omidmash2 joins (~omidmash@user/omidmash) |
| 01:46:46 | DetourNe- | is now known as DetourNetworkUK |
| 01:47:58 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 01:48:32 | × | omidmash quits (~omidmash@user/omidmash) (Ping timeout: 256 seconds) |
| 01:48:32 | omidmash2 | is now known as omidmash |
| 01:48:48 | × | Googulator quits (~Googulato@2a01-036d-0106-29ac-8d41-f550-2a4f-1a91.pool6.digikabel.hu) (Quit: Client closed) |
| 01:49:08 | → | Googulator joins (~Googulato@2a01-036d-0106-29ac-8d41-f550-2a4f-1a91.pool6.digikabel.hu) |
| 01:50:10 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 01:54:37 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 244 seconds) |
| 01:58:17 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 02:01:08 | × | trickard_ quits (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 02:01:30 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:03:52 | → | trickard_ joins (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 02:04:02 | <chromoblob> | hehe, "botsnack" is neat |
| 02:06:17 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 02:11:32 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 02:11:57 | × | trickard_ quits (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 02:14:29 | → | trickard_ joins (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 02:15:02 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 02:17:16 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:19:10 | × | Googulator quits (~Googulato@2a01-036d-0106-29ac-8d41-f550-2a4f-1a91.pool6.digikabel.hu) (Quit: Client closed) |
| 02:19:34 | → | Googulator joins (~Googulato@2a01-036d-0106-29ac-8d41-f550-2a4f-1a91.pool6.digikabel.hu) |
| 02:22:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 02:22:32 | → | califax_ joins (~califax@user/califx) |
| 02:23:25 | × | califax quits (~califax@user/califx) (Quit: ZNC 1.10.1 - https://znc.in) |
| 02:23:50 | califax_ | is now known as califax |
| 02:25:37 | → | califax_ joins (~califax@user/califx) |
| 02:26:40 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 02:26:51 | califax_ | is now known as califax |
| 02:33:04 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:33:12 | → | DetourNe- joins (DetourNetw@user/DetourNetworkUK) |
| 02:33:57 | × | DetourNetworkUK quits (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 02:34:41 | × | ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 02:35:28 | DetourNe- | is now known as DetourNetworkUK |
| 02:36:09 | × | acidjnk quits (~acidjnk@p200300d6e717193125fb1aa3ce6499b2.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 02:36:37 | → | sajenim joins (~sajenim@user/sajenim) |
| 02:38:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 02:45:19 | × | sus03 quits (zero@user/zeromomentum) (Quit: the lounge - https://webirc.envs.net) |
| 02:46:48 | → | sus03 joins (zero@user/zeromomentum) |
| 02:48:49 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:49:38 | → | danz13817 joins (~danza@user/danza) |
| 02:50:22 | × | danza quits (~danza@user/danza) (Read error: Connection reset by peer) |
| 02:51:37 | × | Psychotic1 quits (~Psychotic@2600:1007:b0a1:d86:de59:77c5:f4e1:331c) (Ping timeout: 265 seconds) |
| 02:51:38 | × | sus03 quits (zero@user/zeromomentum) (Client Quit) |
| 02:53:10 | → | sus03 joins (zero@user/zeromomentum) |
| 02:53:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 02:57:20 | × | omidmash quits (~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat) |
| 02:59:28 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 255 seconds) |
| 03:00:49 | → | omidmash joins (~omidmash@user/omidmash) |
| 03:04:37 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:07:18 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 03:07:21 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 03:07:30 | → | califax joins (~califax@user/califx) |
| 03:08:28 | jmcantrell_ | is now known as jmcantrell |
| 03:09:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 03:09:29 | × | tv quits (~tv@user/tv) (Quit: derp) |
| 03:09:34 | → | weary-traveler joins (~user@user/user363627) |
| 03:10:00 | → | tv joins (~tv@user/tv) |
| 03:11:12 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 03:16:11 | → | deadnode666_ joins (~zod@user/deadnode666) |
| 03:18:01 | × | vidak quits (~vidak@210.1.208.15) (Read error: Connection reset by peer) |
| 03:18:56 | → | vidak joins (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) |
| 03:19:59 | → | housemate joins (~housemate@202.7.248.67) |
| 03:20:24 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:21:39 | × | deadnode666_ quits (~zod@user/deadnode666) (Quit: <<<<<--------!!!!!!!!!) |
| 03:24:40 | × | deadnode666 quits (~deadnode6@user/deadnode666) (Remote host closed the connection) |
| 03:25:13 | → | deadnode666 joins (~deadnode6@user/deadnode666) |
| 03:25:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 03:25:34 | × | deadnode666 quits (~deadnode6@user/deadnode666) (Client Quit) |
| 03:26:04 | → | deadnode666 joins (~deadnode6@user/deadnode666) |
| 03:26:07 | × | hellwolf quits (~user@7181-6760-b532-3f9c-0f00-4d40-07d0-2001.sta.estpak.ee) (Ping timeout: 264 seconds) |
| 03:26:15 | × | sus03 quits (zero@user/zeromomentum) (Quit: the lounge - https://webirc.envs.net) |
| 03:27:42 | → | sus03 joins (zero@user/zeromomentum) |
| 03:29:10 | → | hellwolf joins (~user@4cde-2438-8978-87b1-0f00-4d40-07d0-2001.sta.estpak.ee) |
| 03:36:11 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:40:27 | → | deadnode666_ joins (~deadnode6@user/deadnode666) |
| 03:40:32 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 03:43:39 | × | spew quits (~spew@user/spew) (Quit: nyaa~) |
| 03:44:25 | × | deadnode666 quits (~deadnode6@user/deadnode666) (Ping timeout: 246 seconds) |
| 03:44:58 | × | deadnode666_ quits (~deadnode6@user/deadnode666) (Client Quit) |
| 03:45:10 | → | deadnode666 joins (~deadnode6@user/deadnode666) |
| 03:49:27 | → | DetourNe- joins (~DetourNet@user/DetourNetworkUK) |
| 03:50:12 | × | DetourNetworkUK quits (DetourNetw@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 03:51:31 | × | deadnode666 quits (~deadnode6@user/deadnode666) (Quit: <<<<<--------!!!!!!!!!) |
| 03:51:37 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:51:40 | DetourNe- | is now known as DetourNetworkUK |
| 03:51:44 | → | deadnode666 joins (~deadnode6@user/deadnode666) |
| 03:52:19 | × | rekahsoft quits (~rekahsoft@70.51.99.245) (Remote host closed the connection) |
| 03:57:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 03:58:57 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 250 seconds) |
| 03:59:58 | × | deadnode666 quits (~deadnode6@user/deadnode666) (Quit: <<<<<--------!!!!!!!!!) |
| 04:07:13 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 264 seconds) |
| 04:07:26 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:12:03 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 04:12:23 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 250 seconds) |
| 04:20:07 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 04:23:12 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:29:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 04:41:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:46:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 04:51:49 | × | jmcantrell quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.8.1) |
| 04:54:54 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 04:57:02 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:59:41 | trickard_ | is now known as trickard |
| 05:01:21 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 05:06:51 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 05:07:32 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 05:08:55 | → | troydm joins (~troydm@user/troydm) |
| 05:10:31 | × | DetourNetworkUK quits (~DetourNet@user/DetourNetworkUK) (Ping timeout: 246 seconds) |
| 05:12:24 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:13:42 | → | DetourNetworkUK joins (~DetourNet@user/DetourNetworkUK) |
| 05:15:08 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 05:16:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 05:17:09 | × | troydm quits (~troydm@user/troydm) (Ping timeout: 244 seconds) |
| 05:21:14 | → | DetourNe- joins (DetourNetw@user/DetourNetworkUK) |
| 05:21:47 | × | DetourNetworkUK quits (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 05:23:30 | DetourNe- | is now known as DetourNetworkUK |
| 05:27:45 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:32:29 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 05:35:10 | × | vidak quits (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) (Quit: Konversation terminated!) |
| 05:40:21 | × | mange quits (~mange@user/mange) (Remote host closed the connection) |
| 05:43:18 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:48:14 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 05:49:34 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 255 seconds) |
| 05:55:44 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 05:58:44 | × | danz13817 quits (~danza@user/danza) (Ping timeout: 260 seconds) |
| 05:59:06 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:00:31 | → | Gestodia joins (~Gestodia@2404:8000:1005:448:c320:aee4:d56b:2627) |
| 06:04:02 | → | DetourNe- joins (~DetourNet@user/DetourNetworkUK) |
| 06:04:11 | × | DetourNetworkUK quits (DetourNetw@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 06:05:44 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 06:06:14 | DetourNe- | is now known as DetourNetworkUK |
| 06:07:22 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 265 seconds) |
| 06:08:38 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:10:21 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 06:12:16 | → | cupnoodle joins (~cupnoodle@223.187.116.106) |
| 06:13:53 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 06:24:47 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:29:45 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 06:30:44 | × | ft quits (~ft@p4fc2a9d7.dip0.t-ipconnect.de) (Quit: leaving) |
| 06:39:01 | × | cupnoodle quits (~cupnoodle@223.187.116.106) (Ping timeout: 264 seconds) |
| 06:40:33 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:45:36 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 06:56:22 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:01:00 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 07:05:20 | × | paddymahoney quits (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 240 seconds) |
| 07:09:38 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:11:19 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 07:12:18 | → | Enrico63 joins (~Enrico63@host-79-42-228-73.retail.telecomitalia.it) |
| 07:14:28 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 07:14:34 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 07:20:07 | → | paddymahoney joins (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
| 07:25:25 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:26:34 | × | paddymahoney quits (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Excess Flood) |
| 07:29:00 | → | paddymahoney joins (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
| 07:29:59 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 07:32:52 | → | Guest83 joins (~Guest83@161.82.235.36) |
| 07:41:01 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:42:34 | × | Guest83 quits (~Guest83@161.82.235.36) (Quit: Client closed) |
| 07:47:07 | → | lucabtz joins (~lucabtz@user/lucabtz) |
| 07:47:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 07:50:41 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 07:51:43 | × | trickard quits (~trickard@cpe-82-98-47-163.wireline.com.au) (Ping timeout: 240 seconds) |
| 07:51:57 | → | trickard_ joins (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 07:54:42 | → | DetourNe- joins (DetourNetw@user/DetourNetworkUK) |
| 07:54:59 | × | DetourNetworkUK quits (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 07:56:54 | DetourNe- | is now known as DetourNetworkUK |
| 07:57:28 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 07:57:38 | → | chele joins (~chele@user/chele) |
| 07:59:03 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 08:00:30 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 08:04:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 08:10:38 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 08:15:48 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 08:15:56 | trickard_ | is now known as trickard |
| 08:17:00 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 245 seconds) |
| 08:25:29 | → | danza joins (~danza@user/danza) |
| 08:27:55 | → | acidjnk joins (~acidjnk@p200300d6e7171963e9342c1b23054bda.dip0.t-ipconnect.de) |
| 08:36:19 | → | Square joins (~Square@user/square) |
| 08:38:56 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 08:40:08 | × | DetourNetworkUK quits (DetourNetw@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 08:40:13 | → | DetourNe- joins (DetourNetw@user/DetourNetworkUK) |
| 08:41:00 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 08:42:40 | → | DetourNetworkUK joins (~DetourNet@user/DetourNetworkUK) |
| 08:43:28 | × | DetourNe- quits (DetourNetw@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 08:45:53 | → | CloneOfNone joins (~CloneOfNo@user/CloneOfNone) |
| 08:46:39 | × | CloneOfNone_ quits (~CloneOfNo@user/CloneOfNone) (Ping timeout: 252 seconds) |
| 08:52:03 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 08:53:49 | × | hakutaku quits (~textual@chen.yukari.eu.org) (Quit: Textual IRC Client: www.textualapp.com) |
| 08:53:52 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 08:57:41 | × | danza quits (~danza@user/danza) (Remote host closed the connection) |
| 08:57:53 | → | danza joins (~danza@user/danza) |
| 09:07:03 | → | merijn joins (~merijn@77.242.116.146) |
| 09:07:36 | → | califax_ joins (~califax@user/califx) |
| 09:07:42 | × | Enrico63 quits (~Enrico63@host-79-42-228-73.retail.telecomitalia.it) (Quit: Client closed) |
| 09:08:23 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 09:08:50 | califax_ | is now known as califax |
| 09:11:05 | × | trickard quits (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 09:11:18 | → | trickard_ joins (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 09:30:49 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 09:32:13 | × | housemate quits (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 09:32:23 | × | CryptLab quits (~NSA@146.70.183.76) (Ping timeout: 244 seconds) |
| 09:33:35 | → | CryptLab joins (~NSA@2a0d:5600:6:108::2e) |
| 09:36:51 | → | ars23 joins (~user@user/ars23) |
| 09:37:59 | → | Square2 joins (~Square@user/square) |
| 09:39:44 | → | __monty__ joins (~toonn@user/toonn) |
| 09:40:59 | × | Square quits (~Square@user/square) (Ping timeout: 260 seconds) |
| 09:41:59 | → | Square3 joins (~Square4@user/square) |
| 09:44:47 | × | Square2 quits (~Square@user/square) (Ping timeout: 244 seconds) |
| 09:48:14 | → | housemate joins (~housemate@202.7.248.67) |
| 10:02:31 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 10:02:57 | trickard_ | is now known as trickard |
| 10:05:24 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 10:05:29 | → | califax_ joins (~califax@user/califx) |
| 10:06:45 | califax_ | is now known as califax |
| 10:08:24 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 260 seconds) |
| 10:11:03 | × | DetourNetworkUK quits (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 10:11:17 | → | DetourNe- joins (DetourNetw@user/DetourNetworkUK) |
| 10:13:34 | DetourNe- | is now known as DetourNetworkUK |
| 10:21:24 | × | bggd_ quits (~bgg@2a01:e0a:fd5:f510:6829:d62f:33be:1229) (Remote host closed the connection) |
| 11:02:51 | → | fp joins (~Thunderbi@wireless-86-50-141-134.open.aalto.fi) |
| 11:06:01 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 11:10:33 | × | fp quits (~Thunderbi@wireless-86-50-141-134.open.aalto.fi) (Ping timeout: 250 seconds) |
| 11:13:05 | → | xff0x joins (~xff0x@2405:6580:b080:900:20f:65cb:d0be:bc1e) |
| 11:27:34 | × | trickard quits (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 11:30:15 | → | trickard_ joins (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 11:30:32 | → | danz66945 joins (~danza@user/danza) |
| 11:30:47 | × | danza quits (~danza@user/danza) (Read error: Connection reset by peer) |
| 11:32:09 | → | fp joins (~Thunderbi@wireless-86-50-141-134.open.aalto.fi) |
| 11:35:01 | × | ars23 quits (~user@user/ars23) (Remote host closed the connection) |
| 11:37:43 | → | FloorCalc joins (~user@user/FloorCalc) |
| 11:38:39 | × | Gestodia quits (~Gestodia@2404:8000:1005:448:c320:aee4:d56b:2627) (Quit: Client closed) |
| 11:38:51 | × | Googulator quits (~Googulato@2a01-036d-0106-29ac-8d41-f550-2a4f-1a91.pool6.digikabel.hu) (Quit: Client closed) |
| 11:39:44 | → | Googulator joins (~Googulato@2a01:36d:106:29ac:8d41:f550:2a4f:1a91) |
| 11:43:16 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 255 seconds) |
| 11:44:07 | → | arandombit joins (~arandombi@user/arandombit) |
| 11:44:20 | trickard_ | is now known as trickard |
| 11:46:35 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 245 seconds) |
| 11:53:57 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
| 11:55:13 | × | trickard quits (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 11:55:25 | → | trickard joins (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 12:02:11 | × | img quits (~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in) |
| 12:03:24 | → | img joins (~img@user/img) |
| 12:07:55 | <gentauro> | Do we have a better (history/tree/timeline) than the "O'Reilly History of Programming Languages": https://www.cs.toronto.edu/~gpenn/csc324/PLhistory.pdf (I would assume that Haskell was born from Miranda) |
| 12:11:39 | × | preflex quits (~preflex@user/mauke/bot/preflex) (Ping timeout: 250 seconds) |
| 12:14:11 | → | preflex joins (~preflex@user/mauke/bot/preflex) |
| 12:18:37 | × | fp quits (~Thunderbi@wireless-86-50-141-134.open.aalto.fi) (Ping timeout: 264 seconds) |
| 12:19:27 | × | trickard quits (~trickard@cpe-82-98-47-163.wireline.com.au) (Ping timeout: 250 seconds) |
| 12:19:47 | → | trickard_ joins (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 12:20:51 | → | Googulator64 joins (~Googulato@2a01-036d-0106-29ac-8d41-f550-2a4f-1a91.pool6.digikabel.hu) |
| 12:20:51 | × | Googulator quits (~Googulato@2a01:36d:106:29ac:8d41:f550:2a4f:1a91) (Quit: Client closed) |
| 12:28:59 | × | lucabtz quits (~lucabtz@user/lucabtz) (Ping timeout: 260 seconds) |
| 12:30:19 | × | FloorCalc quits (~user@user/FloorCalc) (Ping timeout: 264 seconds) |
| 12:30:47 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 12:32:38 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 12:40:12 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 12:50:34 | → | CiaoSen joins (~Jura@ipservice-092-208-107-195.092.208.pools.vodafone-ip.de) |
| 12:50:52 | × | Googulator64 quits (~Googulato@2a01-036d-0106-29ac-8d41-f550-2a4f-1a91.pool6.digikabel.hu) (Quit: Client closed) |
| 12:51:03 | → | Googulator64 joins (~Googulato@2a01:36d:106:29ac:8d41:f550:2a4f:1a91) |
| 12:51:25 | → | merijn joins (~merijn@77.242.116.146) |
| 12:56:16 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 12:57:22 | → | fp joins (~Thunderbi@wireless-86-50-141-134.open.aalto.fi) |
| 12:58:27 | trickard_ | is now known as trickard |
| 13:07:44 | → | Enrico63 joins (~Enrico63@host-79-42-228-73.retail.telecomitalia.it) |
| 13:09:06 | → | merijn joins (~merijn@77.242.116.146) |
| 13:15:01 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds) |
| 13:15:26 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 13:15:58 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 255 seconds) |
| 13:27:58 | → | merijn joins (~merijn@77.242.116.146) |
| 13:31:39 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 13:32:38 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 13:32:44 | × | fp quits (~Thunderbi@wireless-86-50-141-134.open.aalto.fi) (Read error: Connection reset by peer) |
| 13:32:57 | → | fp1 joins (~Thunderbi@wireless-86-50-141-134.open.aalto.fi) |
| 13:35:14 | fp1 | is now known as fp |
| 13:39:39 | → | trickard__ joins (~trickard@cpe-93-98-47-163.wireline.com.au) |
| 13:40:28 | × | trickard quits (~trickard@cpe-82-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 13:45:23 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 13:52:29 | trickard__ | is now known as trickard |
| 13:56:57 | × | trickard quits (~trickard@cpe-93-98-47-163.wireline.com.au) (Ping timeout: 250 seconds) |
| 13:57:27 | → | trickard_ joins (~trickard@cpe-93-98-47-163.wireline.com.au) |
| 13:59:05 | → | spew joins (~spew@user/spew) |
| 14:07:54 | × | Enrico63 quits (~Enrico63@host-79-42-228-73.retail.telecomitalia.it) (Quit: Client closed) |
| 14:10:45 | → | Gestodia joins (~Gestodia@2404:8000:1005:448:c320:aee4:d56b:2627) |
| 14:13:36 | × | ouilemur quits (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.8.1) |
| 14:18:37 | <danz66945> | the history of Haskell is complex. Several recent episodes of the interlude treat about them |
| 14:25:45 | <haskellbridge> | <loonycyborg> It was supposed to be union of many competing pure functional languages but among them Miranda is the only one of any prominence. |
| 14:26:32 | × | raym quits (~ray@user/raym) (Ping timeout: 240 seconds) |
| 14:27:51 | <haskellbridge> | <loonycyborg> In fact the only reason it wasn't called Miranda+ or something is because Miranda's author wanted to keep control over his creation. |
| 14:37:22 | → | Everything joins (~Everythin@172-232-54-192.ip.linodeusercontent.com) |
| 14:37:49 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 264 seconds) |
| 14:40:42 | <gentauro> | danz66945: yeah, that's why I'm looking for a tree-historgram. I'm guessing that Haskell was inspired by many other PL, not just Miranda. But, some key concepts from Miranda, are intrinsic in Haskell |
| 14:41:29 | <danz66945> | not sure how miranda related to ML |
| 14:42:17 | danz66945 | also not sure how haskell looked out at the beginning, without monads |
| 14:42:32 | → | Enrico63 joins (~Enrico63@host-79-42-228-73.retail.telecomitalia.it) |
| 14:42:36 | × | danz66945 quits (~danza@user/danza) (Remote host closed the connection) |
| 14:42:51 | → | danza joins (~danza@user/danza) |
| 14:45:03 | → | Milan_Vanca joins (~milan@user/Milan-Vanca:32634) |
| 14:46:52 | <haskellbridge> | <loonycyborg> iirc before monads it could use either dialogues or continuations. |
| 14:48:50 | <danza> | continuations would make sense. Not familiar with dialogues |
| 14:49:34 | × | trickard_ quits (~trickard@cpe-93-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 14:49:57 | → | trickard_ joins (~trickard@cpe-93-98-47-163.wireline.com.au) |
| 14:52:29 | <dutchie> | is that the thing where you do main :: [InputStuff] -> [OutputStuff] |
| 14:52:43 | <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 |
| 14:53:02 | → | tremon joins (~tremon@83.80.159.219) |
| 14:53:22 | <haskellbridge> | <loonycyborg> ye it takes list of inputs and returns list of outputs |
| 14:53:50 | <haskellbridge> | <loonycyborg> since what exactly it takes and returns isn't fixed in types entire thing could go out of sync very easily |
| 14:54:25 | <danza> | ^^; |
| 14:55:27 | <danza> | those were tough times for haskellers :) |
| 14:58:46 | → | DetourNe- joins (~DetourNet@user/DetourNetworkUK) |
| 14:59:41 | × | DetourNetworkUK quits (DetourNetw@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 15:01:03 | DetourNe- | is now known as DetourNetworkUK |
| 15:03:38 | → | raym joins (~ray@user/raym) |
| 15:04:28 | × | Inline quits (~User@2001-4dd6-dd24-0-5fac-f4ca-3e2c-ca4.ipv6dyn.netcologne.de) (Quit: KVIrc 5.2.6 Quasar http://www.kvirc.net/) |
| 15:05:19 | × | CiaoSen quits (~Jura@ipservice-092-208-107-195.092.208.pools.vodafone-ip.de) (Ping timeout: 260 seconds) |
| 15:05:58 | → | Inline joins (~User@2001-4dd6-dd24-0-41c1-f819-9bd9-d884.ipv6dyn.netcologne.de) |
| 15:07:08 | → | Digitteknohippie joins (~user@user/digit) |
| 15:07:49 | × | Digit quits (~user@user/digit) (Ping timeout: 264 seconds) |
| 15:14:18 | → | vidak joins (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) |
| 15:19:09 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 15:20:31 | × | danza quits (~danza@user/danza) (Quit: got to go) |
| 15:25:13 | Googulator64 | is now known as Googulator |
| 15:27:11 | <gentauro> | lortabac: no lambda and no let :o https://youtu.be/Xnvj61qkg7c?t=2051 (34:11 ish) |
| 15:28:48 | <lortabac> | wow |
| 15:29:05 | <lortabac> | I need to watch that talk again |
| 15:33:16 | <lortabac> | that being said, Prolog doesn't have local predicates either. It's slightly inconvenient but not a showstopper |
| 15:34:03 | <gentauro> | blc (binary lambda calculus) from John Tromp is also very very simplistic xD |
| 15:35:05 | <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/ |
| 15:38:49 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 15:43:49 | <lortabac> | I don't know what "ruliology" means, but this looks both scary and fascinating at the same time |
| 15:49:24 | <int-e> | wolfram is the best crank |
| 15:51:05 | × | housemate quits (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 15:58:10 | <__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. |
| 16:00:23 | → | housemate joins (~housemate@202.7.248.67) |
| 16:01:29 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 16:01:55 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 16:01:56 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 16:02:37 | → | gmg joins (~user@user/gehmehgeh) |
| 16:12:17 | × | fp quits (~Thunderbi@wireless-86-50-141-134.open.aalto.fi) (Ping timeout: 244 seconds) |
| 16:16:16 | × | trickard_ quits (~trickard@cpe-93-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 16:16:30 | → | trickard_ joins (~trickard@cpe-93-98-47-163.wireline.com.au) |
| 16:16:42 | → | haritz joins (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 16:16:42 | × | haritz quits (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 16:16:42 | → | haritz joins (~hrtz@user/haritz) |
| 16:18:10 | Digitteknohippie | is now known as Digit |
| 16:27:12 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 16:27:15 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 16:29:32 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 252 seconds) |
| 16:30:34 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 16:31:15 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 16:31:38 | <gentauro> | lortabac: https://writings.stephenwolfram.com/2026/01/what-is-ruliology/ ;) |
| 16:32:00 | <lortabac> | thanks |
| 16:35:20 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 16:36:14 | <EvanR> | ruliology... ok you can invent whatever you want but |
| 16:36:33 | <EvanR> | just like ruleology is easier to say |
| 16:36:38 | <EvanR> | and more obvious |
| 16:36:52 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 16:41:34 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 260 seconds) |
| 16:53:18 | × | dolio quits (~dolio@130.44.140.168) (Quit: ZNC 1.10.1 - https://znc.in) |
| 16:59:37 | × | Googulator quits (~Googulato@2a01:36d:106:29ac:8d41:f550:2a4f:1a91) (Quit: Client closed) |
| 17:00:07 | → | Googulator joins (~Googulato@2a01:36d:106:29ac:8d41:f550:2a4f:1a91) |
| 17:00:44 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 17:01:43 | × | Gestodia quits (~Gestodia@2404:8000:1005:448:c320:aee4:d56b:2627) (Quit: Client closed) |
| 17:01:48 | jmcantrell_ | is now known as jmcantrell |
| 17:03:18 | → | comerijn joins (~merijn@77.242.116.146) |
| 17:04:09 | × | spew quits (~spew@user/spew) (Quit: nyaa~) |
| 17:04:24 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 17:04:24 | → | dolio joins (~dolio@130.44.140.168) |
| 17:05:28 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 252 seconds) |
| 17:05:48 | → | spew joins (~spew@user/spew) |
| 17:06:56 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 17:07:37 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 17:07:40 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 17:07:44 | × | comerijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 17:09:05 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 17:16:14 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 17:17:03 | jmcantrell_ | is now known as jmcantrell |
| 17:17:35 | × | trickard_ quits (~trickard@cpe-93-98-47-163.wireline.com.au) (Ping timeout: 250 seconds) |
| 17:17:55 | → | trickard_ joins (~trickard@cpe-93-98-47-163.wireline.com.au) |
| 17:21:37 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 17:30:24 | trickard_ | is now known as trickard |
| 17:31:27 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 250 seconds) |
| 17:38:20 | × | Googulator quits (~Googulato@2a01:36d:106:29ac:8d41:f550:2a4f:1a91) (Quit: Client closed) |
| 17:38:50 | → | Googulator joins (~Googulato@2a01:36d:106:29ac:8d41:f550:2a4f:1a91) |
| 17:42:36 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 17:45:13 | → | Googulator73 joins (~Googulato@77.234.89.65) |
| 17:45:53 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 17:48:45 | × | Googulator quits (~Googulato@2a01:36d:106:29ac:8d41:f550:2a4f:1a91) (Ping timeout: 272 seconds) |
| 18:00:10 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 18:01:40 | × | Everything quits (~Everythin@172-232-54-192.ip.linodeusercontent.com) (Quit: leaving) |
| 18:07:48 | Googulator73 | is now known as Googulator |
| 18:15:25 | → | danza joins (~danza@user/danza) |
| 18:18:41 | <probie> | Surely it'd should be kanonology |
| 18:18:48 | <probie> | s/it'd/it/ |
| 18:19:51 | <Milan_Vanca> | Hello guyz. I found another strange issue, "cabal install alex" and I can see it in user's bin dir. "cabal list --installed" and it's not there? |
| 18:21:33 | <gentauro> | Milan_Vanca: have you looked at `~/.cabal/bin`? |
| 18:21:41 | <gentauro> | they normally go there unless you provide another path |
| 18:21:59 | <danza> | they say thay can see it |
| 18:22:25 | <Milan_Vanca> | gentauro: Yes it is there.. but "cabal list --installed" does not show them, but it should as I use install so it should list installed right? |
| 18:22:42 | <danza> | maybe you changed dir Milan_Vanca? Cabal's scope varies depending on which package one is on |
| 18:22:43 | <int-e> | cabal list --installed probably only lists libraries |
| 18:22:46 | <int-e> | ? |
| 18:22:57 | <gentauro> | Milan_Vanca: if `~/.cabal/bin` is in your PATH, then you should be able to exec and do `which alex` :) |
| 18:23:28 | <Milan_Vanca> | int-e: So the problem is it is executable and not lib? |
| 18:23:57 | <int-e> | yeah, it's not a "package" (not in the package database) |
| 18:24:00 | <Milan_Vanca> | danza: No that's not it :) I am in the same dir. |
| 18:24:49 | <Milan_Vanca> | gentauro: Yes that works :) I am just confused about "cabal install" and "cabal list --installed" not be connected? |
| 18:25:02 | <int-e> | (I can see how this is confusing.) |
| 18:26:37 | <Milan_Vanca> | It looks like it shows same thing as "ghc-pkg list". Also there is "cabal register/unregister" and this goes to db in ghc-pkg? |
| 18:28:01 | <Milan_Vanca> | so "ghc-pkg list == cabal list --installed" to change this output one needs to "cabal register/unregister" instead of install |
| 18:28:03 | <int-e> | ...oh wow, v1-register is still around? |
| 18:28:07 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 18:28:17 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 18:28:22 | <danza> | you are speaking commands i rarely use, that's interesting |
| 18:28:37 | → | divlamir joins (~divlamir@user/divlamir) |
| 18:29:28 | <int-e> | Milan_Vanca: There's `cabal install --lib` but rather than adding to GHC's package database it creates an environment file. Which, annoyingly, is a feature that ghc-pkg isn't aware of. |
| 18:29:44 | <gentauro> | Milan_Vanca: I'm understanding you want to list `binaries` installed by cabal right? Why not just `ls -lh ~/.cabal/bin`? |
| 18:30:33 | <danza> | yeah int-e that's why recently i always use cabal from a dir with a .cabal file. Otherwise it gets confusing |
| 18:30:49 | <int-e> | gentauro: Because, I think, Milan_Vanca is just discovering how cabal[-install] works. |
| 18:30:54 | <Milan_Vanca> | gentauro: As I want to understand what is going on, which command does what. But as int-e pointed out the situation is more complicated |
| 18:31:04 | <Milan_Vanca> | int-e: Exactly |
| 18:31:39 | <Milan_Vanca> | int-e: So cabal install --lib uses "local package db" and ghc-pkg is not aware of that right? |
| 18:31:46 | × | danza quits (~danza@user/danza) (Quit: got to go) |
| 18:32:15 | <int-e> | Milan_Vanca: No, environment files are a third mechanic, separate from global and user package db |
| 18:32:46 | <Milan_Vanca> | int-e: "ghc-pkg --user-package-db" should be able to pick libs installed with "cabal install --lib" ? |
| 18:33:00 | <Milan_Vanca> | int-e: Aaah :D |
| 18:33:30 | <int-e> | Their purpose is to be context dependent (you can have an environment in a project directory, and ghc will pick it up unless instructed not to) |
| 18:33:44 | <int-e> | Milan_Vanca: ghc-pkg will take the user package db into account by default |
| 18:34:20 | <Milan_Vanca> | Ok so there is global package db, user package db, and project env. |
| 18:34:22 | <int-e> | It's all rather messy, for historical reasons and possibly having too many cooks. |
| 18:35:07 | <Milan_Vanca> | Ookey I should just read whole doc and then ask questions :D |
| 18:35:21 | <Milan_Vanca> | BRB.. and thank you for answers :) |
| 18:37:44 | <int-e> | Milan_Vanca: for details on environments (including where GHC looks for them), see https://downloads.haskell.org/ghc/latest/docs/users_guide/packages.html#package-environments |
| 18:38:03 | <Milan_Vanca> | thanks |
| 18:38:21 | <int-e> | Personally I use GHC_ENVIRONMENT=- which disables them (and then occasionally unset that variable) |
| 18:38:57 | <int-e> | And then do what danza said: Don't work with standalong ghc(i) at all if there are any non-standard dependencies. |
| 18:39:04 | <int-e> | *standalone |
| 18:39:31 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 18:44:37 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 18:45:04 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 18:45:10 | <Milan_Vanca> | I am not sure I uderstand.. so when project has dependencies that are not glboaly installed, then its better to "cabal repl" instead of ghci right? |
| 18:45:29 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 18:45:54 | → | redshuffle joins (~quassel@45.43.70.75) |
| 18:46:08 | <int-e> | yeah that's the idea |
| 18:47:03 | <int-e> | leave the messy bits of informing ghci about the packages to cabal |
| 18:48:01 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 18:54:44 | → | Tuplanolla joins (~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) |
| 18:59:10 | → | spew_ joins (~spew@user/spew) |
| 19:02:02 | → | spew__ joins (~spew@user/spew) |
| 19:02:27 | × | spew quits (~spew@user/spew) (Killed (NickServ (GHOST command used by spew__))) |
| 19:02:29 | spew__ | is now known as spew |
| 19:03:53 | × | spew_ quits (~spew@user/spew) (Ping timeout: 260 seconds) |
| 19:14:00 | <Milan_Vanca> | Hmmm, how should I understand "broken" package? Is it "not installed"? From ghc docs 5.9.1 "GHC only knows about packages that are installed. Installed packages live in package databases." And "Additionally, some packages may be broken: that is, they are missing from the package database, or one of their dependencies are broken" |
| 19:14:38 | <Milan_Vanca> | So "installed = in pkg db" "broken = not in pkg db".. I would say broken package is one in pkg db but somehow broken |
| 19:16:08 | <Milan_Vanca> | And also "or the version number can be omitted in which case GHC will automatically expose the latest non-broken version from the installed versions of the package." So package can be installed and broken at the same time. |
| 19:17:01 | <int-e> | Milan_Vanca: I guess that's technically correct? ghc-pkg will only list broken packages that are installed though, so you end up with packages that have a missing or broken dependency. |
| 19:17:42 | <Milan_Vanca> | Ah makes sense |
| 19:18:07 | <int-e> | Milan_Vanca: The most common way a package breaks would be by upgrading a dependency, which replaces the dependency by a newer version (which is a different package). |
| 19:18:40 | <int-e> | Also, this mostly happened with older cabal-install (1.x) |
| 19:19:30 | <Milan_Vanca> | Okey this makes sense.. :) Thank you |
| 19:19:33 | × | Enrico63 quits (~Enrico63@host-79-42-228-73.retail.telecomitalia.it) (Quit: Client closed) |
| 19:24:04 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 255 seconds) |
| 19:25:04 | × | Zemy quits (~Zemy@72.178.108.235) (Remote host closed the connection) |
| 19:27:37 | → | Zemy joins (~Zemy@72.178.108.235) |
| 19:27:46 | × | jreicher quits (~joelr@user/jreicher) (Quit: In transit) |
| 19:36:29 | × | Googulator quits (~Googulato@77.234.89.65) (Quit: Client closed) |
| 19:37:03 | → | Googulator joins (~Googulato@77-234-89-65.pool.digikabel.hu) |
| 19:40:05 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
| 19:40:35 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 19:40:38 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 19:49:47 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
| 19:51:28 | → | Brumaire_ joins (~no@2a01:e0a:576:3670:a4e5:6ca7:3f9a:ca2) |
| 19:51:47 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 19:51:58 | × | Brumaire quits (~no@94.140.114.73) (Ping timeout: 244 seconds) |
| 19:56:18 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 20:10:02 | → | Enrico63 joins (~Enrico63@host-79-42-228-73.retail.telecomitalia.it) |
| 20:12:39 | × | Brumaire_ quits (~no@2a01:e0a:576:3670:a4e5:6ca7:3f9a:ca2) (Ping timeout: 250 seconds) |
| 20:14:28 | × | yin quits (~zero@user/zero) (Ping timeout: 255 seconds) |
| 20:19:51 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 20:22:54 | → | yin joins (~zero@user/zero) |
| 20:24:30 | × | trickard quits (~trickard@cpe-93-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 20:24:43 | → | trickard_ joins (~trickard@cpe-93-98-47-163.wireline.com.au) |
| 20:24:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 20:28:38 | × | Enrico63 quits (~Enrico63@host-79-42-228-73.retail.telecomitalia.it) (Quit: Client closed) |
| 20:35:42 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 20:40:32 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 20:43:42 | → | fp joins (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) |
| 20:50:57 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 20:51:25 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 20:55:17 | → | jreicher joins (~joelr@user/jreicher) |
| 20:56:36 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 21:07:12 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:07:58 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 21:09:53 | × | Square3 quits (~Square4@user/square) (Ping timeout: 244 seconds) |
| 21:10:27 | → | Square2 joins (~Square@user/square) |
| 21:12:13 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 260 seconds) |
| 21:14:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 21:20:58 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 21:25:14 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:28:04 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 21:30:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 21:32:31 | → | ouilemur joins (~jgmerritt@user/ouilemur) |
| 21:35:33 | × | Ranhir quits (~Ranhir@157.97.53.139) (Ping timeout: 252 seconds) |
| 21:38:40 | <jreicher> | gentauro: I quite like Turner's paper "Some History of Functional Programming Languages". https://www.kent.ac.uk/school-of-computing/people/3686/turner-david |
| 21:39:35 | → | Ranhir joins (~Ranhir@157.97.53.139) |
| 21:40:27 | <jreicher> | (And he's the aforementioned author of Miranda) |
| 21:48:10 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 21:49:32 | → | hakutaku joins (~textual@chen.yukari.eu.org) |
| 21:51:40 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 21:52:51 | × | Milan_Vanca quits (~milan@user/Milan-Vanca:32634) (Quit: WeeChat 4.7.2) |
| 22:05:58 | → | trickard__ joins (~trickard@cpe-93-98-47-163.wireline.com.au) |
| 22:07:49 | × | trickard_ quits (~trickard@cpe-93-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 22:12:31 | × | xff0x quits (~xff0x@2405:6580:b080:900:20f:65cb:d0be:bc1e) (Quit: xff0x) |
| 22:14:33 | → | xff0x joins (~xff0x@ai083101.d.east.v6connect.net) |
| 22:15:23 | → | pavonia joins (~user@user/siracusa) |
| 22:33:51 | trickard__ | is now known as trickard |
| 22:35:09 | × | Tuplanolla quits (~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) (Quit: Leaving.) |
| 22:45:59 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 244 seconds) |
| 22:47:10 | × | Square2 quits (~Square@user/square) (Ping timeout: 246 seconds) |
| 22:49:03 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 22:52:27 | → | Brumaire joins (~no@94.140.114.73) |
| 22:53:45 | × | Googulator quits (~Googulato@77-234-89-65.pool.digikabel.hu) (Quit: Client closed) |
| 22:54:12 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 22:54:24 | → | Googulator joins (~Googulato@2a01:36d:106:30a:8d41:f550:2a4f:1a91) |
| 22:59:36 | <pipsquak-bird> | u kent has occam-pi rmox |
| 22:59:50 | <pipsquak-bird> | i wodner if secretly 64 bit used by uk government |
| 23:00:04 | <pipsquak-bird> | I also wonder if i could use ideas liek 9p.io |
| 23:00:21 | <pipsquak-bird> | so jobs are auto parallizable over grid of nodes |
| 23:00:24 | <pipsquak-bird> | woa wee |
| 23:00:34 | <pipsquak-bird> | happstack.com looks awesome |
| 23:00:41 | <pipsquak-bird> | but can it grid? |
| 23:00:53 | <pipsquak-bird> | 9p.io really seems clever more I see it |
| 23:01:01 | <pipsquak-bird> | the editors zonks me |
| 23:02:39 | <pipsquak-bird> | https://www.researchgate.net/publication/228468620_RMoX_a_Raw_Metal_occam_Experiment |
| 23:04:51 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:09:53 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 23:16:25 | → | DetourNe- joins (~DetourNet@user/DetourNetworkUK) |
| 23:16:27 | × | trickard quits (~trickard@cpe-93-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 23:16:37 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:16:39 | → | trickard joins (~trickard@cpe-93-98-47-163.wireline.com.au) |
| 23:16:44 | × | DetourNetworkUK quits (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 23:17:05 | × | remmie quits (ianremsen@tilde.team) (Ping timeout: 244 seconds) |
| 23:18:40 | DetourNe- | is now known as DetourNetworkUK |
| 23:20:12 | × | fp quits (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Quit: fp) |
| 23:21:42 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 23:22:46 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 23:26:48 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 23:28:55 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 23:32:23 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:36:42 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 23:37:11 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 23:45:52 | → | remmie joins (ianremsen@tilde.team) |
| 23:48:11 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:48:46 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 265 seconds) |
| 23:52:29 | → | mange joins (~mange@user/mange) |
| 23:53:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
All times are in UTC on 2026-01-21.