Logs on 2021-08-09 (liberachat/#haskell)
| 00:00:02 | × | hendursaga quits (~weechat@user/hendursaga) (Remote host closed the connection) |
| 00:00:24 | → | hendursaga joins (~weechat@user/hendursaga) |
| 00:02:25 | <lechner> | sm: thanks! I will try that in a little while. i am still working on getting chat client to connect to matrix. can I convert this to a cabal.project? stack is fine for now, but I think i will ultimately have to use cabal |
| 00:03:29 | <sm> | sure, you can |
| 00:04:42 | × | chkno quits (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 276 seconds) |
| 00:08:09 | <lechner> | sm: how did you test it, please? did you discover something cool? |
| 00:09:10 | <sm> | lechner: i just ran it and verified it shows up in browser, no more. but even that looked pretty cool |
| 00:10:23 | <lechner> | sm: great, i can't wait! i have a few personal obligations |
| 00:13:46 | <sm> | 👍🏻I'll give it another go too |
| 00:13:48 | → | pbrisbin joins (~patrick@c-174-57-238-238.hsd1.nj.comcast.net) |
| 00:14:46 | → | lavaman joins (~lavaman@98.38.249.169) |
| 00:14:58 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 00:15:14 | → | lavaman joins (~lavaman@98.38.249.169) |
| 00:15:21 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 00:21:53 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 252 seconds) |
| 00:26:22 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 00:26:36 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 00:26:48 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 00:28:23 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 00:28:39 | × | Atum_ quits (~IRC@user/atum/x-2392232) (Quit: Atum_) |
| 00:30:00 | × | pbrisbin quits (~patrick@c-174-57-238-238.hsd1.nj.comcast.net) (Ping timeout: 250 seconds) |
| 00:36:49 | × | gawen quits (~gawen@user/gawen) (Quit: cya) |
| 00:37:04 | × | hololeap quits (~hololeap@user/hololeap) (Remote host closed the connection) |
| 00:37:26 | → | hololeap joins (~hololeap@user/hololeap) |
| 00:41:22 | × | Morrow quits (~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 272 seconds) |
| 00:43:24 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 00:45:33 | → | gawen joins (~gawen@user/gawen) |
| 00:45:56 | → | lavaman joins (~lavaman@98.38.249.169) |
| 00:49:30 | × | fryguybob quits (~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) (Quit: leaving) |
| 00:49:56 | × | pe200012 quits (~pe200012@113.105.10.33) (Ping timeout: 250 seconds) |
| 00:50:01 | → | pe200012_ joins (~pe200012@113.105.10.33) |
| 00:50:18 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 258 seconds) |
| 00:51:33 | → | fryguybob joins (~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) |
| 00:56:22 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 00:57:38 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 01:00:49 | × | xsperry quits (~as@user/xsperry) (Remote host closed the connection) |
| 01:04:31 | → | jess joins (~jess@libera/staff/jess) |
| 01:05:37 | → | pbrisbin joins (~patrick@c-174-57-238-238.hsd1.nj.comcast.net) |
| 01:05:51 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 01:10:57 | × | pbrisbin quits (~patrick@c-174-57-238-238.hsd1.nj.comcast.net) (Ping timeout: 245 seconds) |
| 01:12:12 | × | xff0x quits (~xff0x@2001:1a81:533f:2500:c767:19bd:28d8:628d) (Ping timeout: 245 seconds) |
| 01:12:39 | → | abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 01:13:22 | → | pbrisbin joins (~patrick@c-174-57-238-238.hsd1.nj.comcast.net) |
| 01:14:09 | → | xff0x joins (~xff0x@2001:1a81:5378:e300:6a47:5d73:b3fa:4d3c) |
| 01:14:14 | × | gawen quits (~gawen@user/gawen) (Quit: cya) |
| 01:17:45 | → | gawen joins (~gawen@user/gawen) |
| 01:21:31 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 01:21:48 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 01:22:30 | × | pbrisbin quits (~patrick@c-174-57-238-238.hsd1.nj.comcast.net) (Ping timeout: 256 seconds) |
| 01:23:18 | → | pbrisbin joins (~patrick@c-174-57-238-238.hsd1.nj.comcast.net) |
| 01:24:30 | × | cheater quits (~Username@user/cheater) (Ping timeout: 272 seconds) |
| 01:28:38 | × | pbrisbin quits (~patrick@c-174-57-238-238.hsd1.nj.comcast.net) (Ping timeout: 258 seconds) |
| 01:29:45 | → | pbrisbin joins (~patrick@c-174-57-238-238.hsd1.nj.comcast.net) |
| 01:30:18 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 01:30:26 | → | cheater joins (~Username@user/cheater) |
| 01:32:48 | → | pe200012 joins (~pe200012@113.105.10.33) |
| 01:32:51 | × | pe200012_ quits (~pe200012@113.105.10.33) (Ping timeout: 258 seconds) |
| 01:35:16 | → | bitmapper joins (uid464869@id-464869.tooting.irccloud.com) |
| 01:35:32 | × | pbrisbin quits (~patrick@c-174-57-238-238.hsd1.nj.comcast.net) (Ping timeout: 258 seconds) |
| 01:36:11 | → | pe200012_ joins (~pe200012@113.105.10.33) |
| 01:37:10 | × | pe200012 quits (~pe200012@113.105.10.33) (Ping timeout: 250 seconds) |
| 01:40:27 | → | jmhimara joins (~jmhimara@170.39.139.5) |
| 01:40:54 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Ping timeout: 258 seconds) |
| 01:41:21 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 01:44:16 | → | slack1256 joins (~slack1256@181.203.105.248) |
| 01:44:55 | × | slack1256 quits (~slack1256@181.203.105.248) (Remote host closed the connection) |
| 01:48:26 | × | pe200012_ quits (~pe200012@113.105.10.33) (Ping timeout: 250 seconds) |
| 01:48:44 | → | pe200012_ joins (~pe200012@113.105.10.33) |
| 01:53:57 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.2) |
| 01:57:37 | × | pe200012_ quits (~pe200012@113.105.10.33) (Ping timeout: 245 seconds) |
| 01:57:41 | → | pe200012 joins (~pe200012@113.105.10.33) |
| 01:58:15 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 02:02:33 | → | xsperry joins (~as@user/xsperry) |
| 02:02:34 | × | xsperry quits (~as@user/xsperry) (Excess Flood) |
| 02:03:20 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 02:10:25 | × | Reyu[M] quits (~reyureyuz@matrix.reyuzenfold.com) (Remote host closed the connection) |
| 02:11:08 | → | Reyu[M] joins (~reyureyuz@matrix.reyuzenfold.com) |
| 02:16:38 | × | hololeap quits (~hololeap@user/hololeap) (Remote host closed the connection) |
| 02:17:58 | × | MidAutumnHotaru quits (~MidAutumn@user/midautumnmoon) (Quit: Leaving for a break - theLounge) |
| 02:18:08 | → | pe200012_ joins (~pe200012@113.105.10.33) |
| 02:18:11 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 02:18:20 | × | pe200012 quits (~pe200012@113.105.10.33) (Ping timeout: 272 seconds) |
| 02:18:28 | → | MidAutumnHotaru joins (~MidAutumn@user/midautumnmoon) |
| 02:19:13 | → | lavaman joins (~lavaman@98.38.249.169) |
| 02:19:14 | × | derelict quits (~derelict@user/derelict) (Ping timeout: 258 seconds) |
| 02:19:35 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 02:19:43 | → | hololeap joins (~hololeap@user/hololeap) |
| 02:21:30 | × | td_ quits (~td@94.134.91.249) (Ping timeout: 272 seconds) |
| 02:22:37 | → | td_ joins (~td@94.134.91.53) |
| 02:26:25 | → | wei2912 joins (~wei2912@112.199.250.21) |
| 02:28:07 | × | codedmart quits (codedmart@2600:3c01::f03c:92ff:fefe:8511) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 02:28:26 | → | codedmart joins (codedmart@2600:3c01::f03c:92ff:fefe:8511) |
| 02:29:04 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 02:29:04 | FinnElija | is now known as Guest536 |
| 02:29:04 | finn_elija | is now known as FinnElija |
| 02:31:30 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 240 seconds) |
| 02:31:54 | × | Guest536 quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds) |
| 02:32:32 | → | zebrag joins (~chris@user/zebrag) |
| 02:36:06 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 02:37:23 | × | jmhimara quits (~jmhimara@170.39.139.5) (Quit: Connection closed) |
| 02:38:36 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 272 seconds) |
| 02:54:20 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 02:55:16 | → | MQ-17J joins (~MQ-17J@8.6.144.235) |
| 02:59:11 | <lechner> | sm: btw. i have some issues building on a constrained system with 1 G of RAM. Should GHC really need 600 MB to build? |
| 03:00:00 | × | Taneb quits (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) (Quit: I seem to have stopped.) |
| 03:01:07 | → | Taneb joins (~Taneb@runciman.hacksoc.org) |
| 03:01:09 | × | tcard quits (~tcard@p2307053-ipngn17101hodogaya.kanagawa.ocn.ne.jp) (Quit: Leaving) |
| 03:04:43 | → | tcard joins (~tcard@p2307053-ipngn17101hodogaya.kanagawa.ocn.ne.jp) |
| 03:07:13 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.2) |
| 03:09:28 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 250 seconds) |
| 03:15:30 | × | ham quits (~ham4@user/ham) (Ping timeout: 240 seconds) |
| 03:16:23 | → | ham2 joins (~ham4@d8d8627d5.access.telenet.be) |
| 03:17:06 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 03:18:25 | × | _xor quits (~xor@74.215.232.67) (Quit: brb) |
| 03:23:48 | → | Morrow joins (~Morrow@bzq-110-168-31-106.red.bezeqint.net) |
| 03:26:58 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 03:28:13 | <dsal> | It can take a lot. My phone has 8GB of RAM. :) |
| 03:29:05 | <c_wraith> | It used to be the case that most build failures due to lack of memory were from the linker rather than ghc. But 1GB might make even compiling fail in some packages that overuse inlining |
| 03:29:06 | <Axman6> | it's an advanced compiler compiling an advanced compiler, it's going to need quite a lot of resources to do that. 1GB hasn't been enough for that sort of task for years |
| 03:32:00 | <davean> | lechner: uh, we usually consider 8GiB a minimum, but uh, you CAN do it with a lot less . . . you'll need j1, I think turning optimizations off will help ... uh, yah, it'll be a trip |
| 03:33:29 | → | vysn joins (~vysn@user/vysn) |
| 03:36:38 | → | lavaman joins (~lavaman@98.38.249.169) |
| 03:37:56 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 03:38:08 | → | lavaman joins (~lavaman@98.38.249.169) |
| 03:42:34 | × | pe200012_ quits (~pe200012@113.105.10.33) (Ping timeout: 272 seconds) |
| 03:44:36 | × | alx741 quits (~alx741@181.196.68.21) (Quit: alx741) |
| 03:48:58 | <lechner> | Axman6: I'm just building emanote, not GHC. Sorry if that was unclear https://github.com/srid/emanote |
| 03:52:07 | <lechner> | dsal: i should have guessed that people here run GHC on their phones! |
| 04:00:57 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 04:02:00 | → | euouae joins (~euouae@user/euouae) |
| 04:07:04 | <Axman6> | I'd love to have GHCi on my iPhone |
| 04:07:06 | × | robertm quits (robertm@rojoma.com) (Ping timeout: 268 seconds) |
| 04:07:25 | → | robertm joins (robertm@rojoma.com) |
| 04:08:19 | <euouae> | Axman6: *crickets* |
| 04:08:30 | <euouae> | The apple crickets |
| 04:08:33 | <Axman6> | GHCiOS |
| 04:11:28 | × | zebrag quits (~chris@user/zebrag) (Remote host closed the connection) |
| 04:17:53 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 04:18:48 | × | azeem quits (~azeem@dynamic-adsl-78-13-247-121.clienti.tiscali.it) (Ping timeout: 250 seconds) |
| 04:24:09 | <dsal> | Back when I ran PalmOS, I had a really great scheme system on my PDA/phone. I've not had any good mobile programming environment since. |
| 04:28:47 | × | slowButPresent quits (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 04:31:58 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 04:33:05 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 04:36:52 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 04:37:22 | × | euouae quits (~euouae@user/euouae) (Quit: Client closed) |
| 04:40:41 | × | MQ-17J quits (~MQ-17J@8.6.144.235) (Ping timeout: 258 seconds) |
| 04:42:13 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 04:43:45 | → | bash69 joins (~bash69@202.14.120.238) |
| 04:45:51 | × | markpythonicbitc quits (~markpytho@2601:647:5a00:35:2926:cf7f:9d4d:10a0) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 04:45:57 | × | bash69 quits (~bash69@202.14.120.238) (Client Quit) |
| 04:48:09 | × | cjb quits (~cjb@user/cjb) (Ping timeout: 260 seconds) |
| 04:48:24 | → | lavaman joins (~lavaman@98.38.249.169) |
| 04:48:49 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Remote host closed the connection) |
| 04:49:08 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 04:52:20 | × | zmt00 quits (~zmt00@user/zmt00) (Quit: Gone.) |
| 04:52:42 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 04:54:34 | → | lavaman joins (~lavaman@98.38.249.169) |
| 04:57:00 | → | zmt00 joins (~zmt00@user/zmt00) |
| 04:58:49 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (*.net *.split) |
| 04:58:49 | × | Erutuon quits (~Erutuon@user/erutuon) (*.net *.split) |
| 04:58:49 | × | codedmart quits (codedmart@2600:3c01::f03c:92ff:fefe:8511) (*.net *.split) |
| 04:58:49 | × | td_ quits (~td@94.134.91.53) (*.net *.split) |
| 04:58:49 | × | cheater quits (~Username@user/cheater) (*.net *.split) |
| 04:58:49 | × | tritlo quits (sid58727@user/tritlo) (*.net *.split) |
| 04:58:49 | × | rubin55_ quits (sid175221@stonehaven.irccloud.com) (*.net *.split) |
| 04:58:49 | × | ehamberg quits (sid18208@stonehaven.irccloud.com) (*.net *.split) |
| 04:58:49 | × | mustafa quits (sid502723@rockylinux/releng/mustafa) (*.net *.split) |
| 04:58:49 | × | Firedancer quits (sid336191@stonehaven.irccloud.com) (*.net *.split) |
| 04:58:49 | × | peterhil quits (~peterhil@dsl-hkibng32-54fb52-57.dhcp.inet.fi) (*.net *.split) |
| 04:58:49 | × | jneira_ quits (~jneira_@28.red-80-28-169.staticip.rima-tde.net) (*.net *.split) |
| 04:58:49 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (*.net *.split) |
| 04:58:49 | × | Maxdamantus quits (~Maxdamant@user/maxdamantus) (*.net *.split) |
| 04:58:50 | × | mcfrdy quits (~mcfrdy@user/mcfrdy) (*.net *.split) |
| 04:58:50 | × | natechan quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (*.net *.split) |
| 04:58:50 | × | AlexNoo quits (~AlexNoo@178.34.160.135) (*.net *.split) |
| 04:58:50 | × | sa quits (sid1055@tinside.irccloud.com) (*.net *.split) |
| 04:58:50 | × | matijja quits (~matijja@193.77.181.201) (*.net *.split) |
| 04:58:50 | × | Cale quits (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) (*.net *.split) |
| 04:58:50 | × | jlamothe quits (~jlamothe@104.158.48.100) (*.net *.split) |
| 04:58:50 | × | Jonno_FTW quits (~come@user/jonno-ftw/x-0835346) (*.net *.split) |
| 04:58:50 | × | wrengr_away quits (~wrengr@56.4.82.34.bc.googleusercontent.com) (*.net *.split) |
| 04:58:50 | × | infinity0 quits (~infinity0@occupy.ecodis.net) (*.net *.split) |
| 04:58:51 | × | soft quits (~soft-matr@2001:470:69fc:105::c75) (*.net *.split) |
| 04:58:51 | × | thomasjm[m] quits (~thomasjmm@2001:470:69fc:105::c6d9) (*.net *.split) |
| 04:58:51 | × | marinelli[m] quits (~marinelli@2001:470:69fc:105::2d8) (*.net *.split) |
| 04:58:51 | × | fabfianda[m] quits (~fabfianda@2001:470:69fc:105::6db) (*.net *.split) |
| 04:58:51 | × | ServerStatsDisco quits (~serversta@2001:470:69fc:105::1a) (*.net *.split) |
| 04:58:51 | × | siraben quits (~siraben@user/siraben) (*.net *.split) |
| 04:58:51 | × | MatrixTravelerbo quits (~voyagert2@2001:470:69fc:105::22) (*.net *.split) |
| 04:58:51 | × | nf quits (~n@monade.li) (*.net *.split) |
| 04:58:51 | × | Raito_Bezarius quits (~Raito@wireguard/tunneler/raito-bezarius) (*.net *.split) |
| 04:58:51 | × | ornxka quits (~ornxka@user/ornxka) (*.net *.split) |
| 04:58:51 | × | jolly quits (~jolly@208.180.97.158) (*.net *.split) |
| 04:58:51 | × | earthy quits (~arthurvl@2001:984:275b:1:ba27:ebff:fea0:40b0) (*.net *.split) |
| 04:58:52 | × | Teacup quits (~teacup@user/teacup) (*.net *.split) |
| 04:58:52 | × | jrm quits (~jrm@156.34.187.65) (*.net *.split) |
| 04:58:52 | × | dolio quits (~dolio@130.44.130.54) (*.net *.split) |
| 04:58:52 | × | nshepperd quits (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (*.net *.split) |
| 04:58:52 | × | nshepperd2 quits (~nshepperd@li364-218.members.linode.com) (*.net *.split) |
| 04:58:52 | × | sus quits (thelounge@user/zeromomentum) (*.net *.split) |
| 04:58:52 | × | nckx quits (~nckx@tobias.gr) (*.net *.split) |
| 04:59:07 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 04:59:07 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 04:59:07 | → | codedmart joins (codedmart@2600:3c01::f03c:92ff:fefe:8511) |
| 04:59:07 | → | td_ joins (~td@94.134.91.53) |
| 04:59:07 | → | tritlo joins (sid58727@user/tritlo) |
| 04:59:07 | → | rubin55_ joins (sid175221@stonehaven.irccloud.com) |
| 04:59:07 | → | ehamberg joins (sid18208@stonehaven.irccloud.com) |
| 04:59:07 | → | mustafa joins (sid502723@rockylinux/releng/mustafa) |
| 04:59:07 | → | Firedancer joins (sid336191@stonehaven.irccloud.com) |
| 04:59:07 | → | peterhil joins (~peterhil@dsl-hkibng32-54fb52-57.dhcp.inet.fi) |
| 04:59:07 | → | jneira_ joins (~jneira_@28.red-80-28-169.staticip.rima-tde.net) |
| 04:59:07 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 04:59:07 | → | Maxdamantus joins (~Maxdamant@user/maxdamantus) |
| 04:59:07 | → | mcfrdy joins (~mcfrdy@user/mcfrdy) |
| 04:59:07 | → | natechan joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 04:59:07 | → | AlexNoo joins (~AlexNoo@178.34.160.135) |
| 04:59:07 | → | sa joins (sid1055@tinside.irccloud.com) |
| 04:59:07 | → | matijja joins (~matijja@193.77.181.201) |
| 04:59:07 | → | Cale joins (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) |
| 04:59:07 | → | jlamothe joins (~jlamothe@104.158.48.100) |
| 04:59:07 | → | Jonno_FTW joins (~come@user/jonno-ftw/x-0835346) |
| 04:59:07 | → | wrengr_away joins (~wrengr@56.4.82.34.bc.googleusercontent.com) |
| 04:59:07 | → | infinity0 joins (~infinity0@occupy.ecodis.net) |
| 04:59:07 | → | marinelli[m] joins (~marinelli@2001:470:69fc:105::2d8) |
| 04:59:07 | → | siraben joins (~siraben@user/siraben) |
| 04:59:07 | → | soft joins (~soft-matr@2001:470:69fc:105::c75) |
| 04:59:07 | → | fabfianda[m] joins (~fabfianda@2001:470:69fc:105::6db) |
| 04:59:07 | → | thomasjm[m] joins (~thomasjmm@2001:470:69fc:105::c6d9) |
| 04:59:07 | → | nf joins (~n@monade.li) |
| 04:59:07 | → | Raito_Bezarius joins (~Raito@wireguard/tunneler/raito-bezarius) |
| 04:59:07 | → | ornxka joins (~ornxka@user/ornxka) |
| 04:59:07 | → | jolly joins (~jolly@208.180.97.158) |
| 04:59:07 | → | earthy joins (~arthurvl@2001:984:275b:1:ba27:ebff:fea0:40b0) |
| 04:59:07 | → | Teacup joins (~teacup@user/teacup) |
| 04:59:07 | → | jrm joins (~jrm@156.34.187.65) |
| 04:59:07 | → | dolio joins (~dolio@130.44.130.54) |
| 04:59:07 | → | nshepperd joins (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) |
| 04:59:07 | → | nshepperd2 joins (~nshepperd@li364-218.members.linode.com) |
| 04:59:07 | → | sus joins (thelounge@user/zeromomentum) |
| 04:59:07 | → | nckx joins (~nckx@tobias.gr) |
| 04:59:14 | × | Raito_Bezarius quits (~Raito@wireguard/tunneler/raito-bezarius) (Max SendQ exceeded) |
| 04:59:14 | × | sa quits (sid1055@tinside.irccloud.com) (Max SendQ exceeded) |
| 04:59:14 | × | siraben quits (~siraben@user/siraben) (Max SendQ exceeded) |
| 04:59:14 | × | Teacup quits (~teacup@user/teacup) (Max SendQ exceeded) |
| 04:59:32 | → | Teacup joins (~teacup@user/teacup) |
| 04:59:52 | → | Raito_Bezarius joins (~Raito@wireguard/tunneler/raito-bezarius) |
| 05:01:01 | → | tlax joins (tlax@kapsi.fi) |
| 05:01:02 | → | acowley_ joins (~acowley@c-68-83-22-43.hsd1.nj.comcast.net) |
| 05:01:02 | → | bcoppens joins (~bartcopp@vpn2.bartcoppens.be) |
| 05:01:02 | → | panda_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 05:01:03 | → | haveo_ joins (~haveo@sl35.iuwt.fr) |
| 05:01:03 | → | arw_ joins (~arw@impulse.informatik.uni-erlangen.de) |
| 05:01:03 | × | dminuoso quits (~dminuoso@user/dminuoso) (*.net *.split) |
| 05:01:03 | × | awth13 quits (~awth13@user/awth13) (*.net *.split) |
| 05:01:03 | × | incertia quits (~incertia@d4-50-26-103.nap.wideopenwest.com) (*.net *.split) |
| 05:01:03 | × | zopsi quits (~zopsi@irc.dir.ac) (*.net *.split) |
| 05:01:03 | × | danso quits (~danso@23-233-111-52.cpe.pppoe.ca) (*.net *.split) |
| 05:01:03 | × | int-e quits (~noone@int-e.eu) (*.net *.split) |
| 05:01:03 | × | radw quits (~radw@user/radw) (*.net *.split) |
| 05:01:03 | × | acowley quits (~acowley@c-68-83-22-43.hsd1.nj.comcast.net) (*.net *.split) |
| 05:01:03 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (*.net *.split) |
| 05:01:03 | × | dmwit quits (~dmwit@pool-108-18-198-142.washdc.fios.verizon.net) (*.net *.split) |
| 05:01:03 | × | davros quits (~davros@host86-184-180-96.range86-184.btcentralplus.com) (*.net *.split) |
| 05:01:03 | × | thaumavorio quits (~thaumavor@thaumavor.io) (*.net *.split) |
| 05:01:03 | × | hughjfchen quits (~hughjfche@vmi556545.contaboserver.net) (*.net *.split) |
| 05:01:03 | × | wz1000 quits (~zubin@static.11.113.47.78.clients.your-server.de) (*.net *.split) |
| 05:01:03 | × | cohn quits (~noone@user/cohn) (*.net *.split) |
| 05:01:03 | × | SquidDev quits (~SquidDev@autoclave.squiddev.cc) (*.net *.split) |
| 05:01:03 | × | mht-wtf quits (~mht@mht.wtf) (*.net *.split) |
| 05:01:03 | × | tam quits (~alpha@163.172.215.78) (*.net *.split) |
| 05:01:03 | × | Trattue quits (~Trattue@152.70.182.158) (*.net *.split) |
| 05:01:03 | × | bcoppens_ quits (~bartcopp@vpn2.bartcoppens.be) (*.net *.split) |
| 05:01:04 | × | dtman34 quits (~dtman34@c-73-62-246-247.hsd1.mn.comcast.net) (*.net *.split) |
| 05:01:04 | × | noctux quits (~noctux@user/noctux) (*.net *.split) |
| 05:01:04 | × | tlax_ quits (tlax@kapsi.fi) (*.net *.split) |
| 05:01:04 | × | NieDzejkob_ quits (~quassel@195.149.98.3) (*.net *.split) |
| 05:01:04 | × | blades quits (~blades@204.48.29.163) (*.net *.split) |
| 05:01:04 | × | urdh quits (~urdh@user/urdh) (*.net *.split) |
| 05:01:04 | × | Techcable quits (~Techcable@168.235.93.147) (*.net *.split) |
| 05:01:04 | × | slep quits (~slep@cpc150002-brnt4-2-0-cust437.4-2.cable.virginm.net) (*.net *.split) |
| 05:01:04 | × | Ranhir quits (~Ranhir@157.97.53.139) (*.net *.split) |
| 05:01:04 | × | jackhill quits (~jackhill@kalessin.dragonsnail.net) (*.net *.split) |
| 05:01:04 | × | ByronJohnson quits (~bairyn@mail.digitalkingdom.org) (*.net *.split) |
| 05:01:04 | × | superbil quits (~superbil@1-34-176-171.HINET-IP.hinet.net) (*.net *.split) |
| 05:01:04 | × | adamCS quits (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) (*.net *.split) |
| 05:01:04 | × | fr33domlover quits (~fr33domlo@angeley.es) (*.net *.split) |
| 05:01:04 | × | janus quits (janus@anubis.0x90.dk) (*.net *.split) |
| 05:01:04 | × | xerox quits (~edi@user/edi) (*.net *.split) |
| 05:01:04 | × | polux quits (~polux@51.15.169.172) (*.net *.split) |
| 05:01:04 | × | drdo quits (~drdo@overlord0.drdo.eu) (*.net *.split) |
| 05:01:04 | × | xsarnik quits (xsarnik@lounge.fi.muni.cz) (*.net *.split) |
| 05:01:04 | × | asm quits (~alexander@user/asm) (*.net *.split) |
| 05:01:04 | × | niko quits (~niko@libera/staff/niko) (*.net *.split) |
| 05:01:04 | × | dka quits (~code-is-a@ns3059207.ip-193-70-33.eu) (*.net *.split) |
| 05:01:04 | × | ringo_ quits (~ringo@157.230.117.128) (*.net *.split) |
| 05:01:04 | × | mniip quits (mniip@libera/staff/mniip) (*.net *.split) |
| 05:01:04 | × | Eoco quits (~ian@x-160-94-179-157.acm.umn.edu) (*.net *.split) |
| 05:01:04 | × | arw quits (~arw@impulse.informatik.uni-erlangen.de) (*.net *.split) |
| 05:01:04 | × | haveo quits (~haveo@sl35.iuwt.fr) (*.net *.split) |
| 05:01:04 | × | frobnicator quits (~frobnicat@185-227-75-147.dsl.cambrium.nl) (*.net *.split) |
| 05:01:05 | × | fiddlerwoaroof_ quits (~fiddlerwo@user/fiddlerwoaroof) (*.net *.split) |
| 05:01:05 | × | spoonm quits (spoonm@inaba.spoonm.org) (*.net *.split) |
| 05:01:05 | × | voldial quits (~user@user/voldial) (*.net *.split) |
| 05:01:05 | → | jackhill_ joins (~jackhill@kalessin.dragonsnail.net) |
| 05:01:05 | → | bairyn joins (~bairyn@mail.digitalkingdom.org) |
| 05:01:05 | → | skewerr joins (spoonm@inaba.spoonm.org) |
| 05:01:06 | → | int-e_ joins (~noone@int-e.eu) |
| 05:01:07 | → | dka_ joins (~code-is-a@ns3059207.ip-193-70-33.eu) |
| 05:01:07 | → | dmwit_ joins (~dmwit@pool-108-18-198-142.washdc.fios.verizon.net) |
| 05:01:09 | → | mniip joins (mniip@libera/staff/mniip) |
| 05:01:10 | → | cohn_ joins (~noone@23.239.18.252) |
| 05:01:10 | → | janus joins (janus@anubis.0x90.dk) |
| 05:01:10 | → | xerox_ joins (~edi@user/edi) |
| 05:01:11 | → | NieDzejkob joins (~quassel@195.149.98.3) |
| 05:01:12 | → | tam joins (~alpha@163.172.215.78) |
| 05:01:12 | → | hughjfchen joins (~hughjfche@vmi556545.contaboserver.net) |
| 05:01:12 | → | mht joins (~mht@2a03:b0c0:3:e0::1e2:c001) |
| 05:01:15 | → | slep joins (~slep@cpc150002-brnt4-2-0-cust437.4-2.cable.virginm.net) |
| 05:01:16 | → | danso joins (~danso@23-233-111-52.cpe.pppoe.ca) |
| 05:01:17 | → | davros joins (~davros@host86-184-180-96.range86-184.btcentralplus.com) |
| 05:01:17 | → | asm joins (~alexander@burner.asm89.io) |
| 05:01:23 | → | Ranhir joins (~Ranhir@157.97.53.139) |
| 05:01:24 | → | polux0 joins (~polux@51.15.169.172) |
| 05:01:25 | → | Techcable_ joins (~Techcable@168.235.93.147) |
| 05:01:26 | → | wz1000 joins (~zubin@static.11.113.47.78.clients.your-server.de) |
| 05:01:27 | → | Eoco joins (~ian@x-160-94-179-157.acm.umn.edu) |
| 05:01:27 | → | voldial joins (~user@195.179.201.175) |
| 05:01:31 | → | frobnicator joins (~frobnicat@185-227-75-147.dsl.cambrium.nl) |
| 05:01:33 | → | zopsi joins (~zopsi@irc.dir.ac) |
| 05:01:34 | → | superbil joins (~superbil@1-34-176-171.HINET-IP.hinet.net) |
| 05:01:38 | → | SquidDev0 joins (~SquidDev@autoclave.squiddev.cc) |
| 05:01:49 | → | xsarnik joins (xsarnik@lounge.fi.muni.cz) |
| 05:02:10 | → | Trattue joins (~Trattue@152.70.182.158) |
| 05:02:14 | → | noctux joins (~noctux@user/noctux) |
| 05:02:18 | → | urdh joins (~urdh@user/urdh) |
| 05:02:19 | → | adamCS joins (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) |
| 05:02:20 | → | drdo joins (~drdo@overlord0.drdo.eu) |
| 05:02:21 | → | thaumavorio joins (~thaumavor@thaumavor.io) |
| 05:02:23 | → | dtman34 joins (~dtman34@c-73-62-246-247.hsd1.mn.comcast.net) |
| 05:02:25 | → | incertia joins (~incertia@d4-50-26-103.nap.wideopenwest.com) |
| 05:02:25 | → | fiddlerwoaroof joins (~fiddlerwo@user/fiddlerwoaroof) |
| 05:02:34 | × | ecameron[m] quits (~ecameronm@2001:470:69fc:105::35df) (Ping timeout: 240 seconds) |
| 05:02:35 | × | Deewiant quits (~deewiant@2001:470:69fc:105::2fd3) (Ping timeout: 250 seconds) |
| 05:02:37 | × | boxscape quits (~boxscape@user/boxscape) (Ping timeout: 268 seconds) |
| 05:02:37 | × | reza[m] quits (~rezaphone@2001:470:69fc:105::3eda) (Ping timeout: 245 seconds) |
| 05:02:37 | × | bryan[m] quits (~bchreekat@2001:470:69fc:105::16b5) (Ping timeout: 245 seconds) |
| 05:02:38 | → | markpythonicbitc joins (~markpytho@2601:647:5a00:35:8861:2c87:dc35:9861) |
| 05:02:39 | → | radw joins (~radw@user/radw) |
| 05:02:40 | → | dminuoso joins (~dminuoso@user/dminuoso) |
| 05:02:42 | → | fr33domlover joins (~fr33domlo@angeley.es) |
| 05:02:44 | → | blades joins (~blades@204.48.29.163) |
| 05:02:45 | → | ringo_ joins (~ringo@157.230.117.128) |
| 05:02:50 | × | RohitGoswami[m] quits (~rgoswamim@2001:470:69fc:105::16cc) (Ping timeout: 252 seconds) |
| 05:02:50 | × | hughjfchen[m] quits (~hughjfche@2001:470:69fc:105::c29d) (Ping timeout: 252 seconds) |
| 05:02:50 | × | polykernel quits (~polykerne@user/polykernel) (Ping timeout: 252 seconds) |
| 05:02:50 | × | ericson2314 quits (~ericson23@2001:470:69fc:105::70c) (Ping timeout: 252 seconds) |
| 05:02:56 | × | bb010g quits (~bb010g@2001:470:69fc:105::9a5) (Ping timeout: 256 seconds) |
| 05:02:56 | × | unclechu quits (~unclechu@2001:470:69fc:105::354) (Ping timeout: 256 seconds) |
| 05:02:56 | × | cdsmith quits (~cdsmithma@2001:470:69fc:105::284) (Ping timeout: 256 seconds) |
| 05:02:56 | × | carmysilna quits (~brightly-@2001:470:69fc:105::2190) (Ping timeout: 256 seconds) |
| 05:02:57 | × | bitonic quits (~bitonic@2001:470:69fc:105::1812) (Ping timeout: 272 seconds) |
| 05:02:57 | × | ac quits (~aloiscoch@2001:470:69fc:105::65) (Ping timeout: 272 seconds) |
| 05:02:58 | × | rednaZ[m] quits (~r3dnazmat@2001:470:69fc:105::ba70) (Ping timeout: 240 seconds) |
| 05:02:58 | × | Tisoxin quits (~ikosit@user/ikosit) (Ping timeout: 240 seconds) |
| 05:03:01 | × | thomasjm[m] quits (~thomasjmm@2001:470:69fc:105::c6d9) (Ping timeout: 272 seconds) |
| 05:03:01 | × | fabfianda[m] quits (~fabfianda@2001:470:69fc:105::6db) (Ping timeout: 272 seconds) |
| 05:03:02 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 245 seconds) |
| 05:03:03 | × | PotatoHatsue quits (~berberman@2001:470:69fc:105::b488) (Ping timeout: 276 seconds) |
| 05:03:13 | → | sa joins (sid1055@id-1055.tinside.irccloud.com) |
| 05:03:23 | × | sm quits (~sm@plaintextaccounting/sm) (Ping timeout: 252 seconds) |
| 05:03:29 | × | fgaz quits (~fgaz@2001:470:69fc:105::842) (Ping timeout: 252 seconds) |
| 05:03:30 | × | hsiktas[m] quits (~hsiktasma@2001:470:69fc:105::30d4) (Ping timeout: 252 seconds) |
| 05:03:30 | × | psydroid quits (~psydroid@user/psydroid) (Ping timeout: 256 seconds) |
| 05:03:34 | × | lwe[m] quits (~dendrumat@2001:470:69fc:105::2f9b) (Ping timeout: 272 seconds) |
| 05:03:34 | × | Las[m] quits (~lasmatrix@2001:470:69fc:105::74e) (Ping timeout: 272 seconds) |
| 05:03:34 | × | kadoban quits (~kadoban@user/kadoban) (Ping timeout: 272 seconds) |
| 05:03:38 | × | soft quits (~soft-matr@2001:470:69fc:105::c75) (Ping timeout: 272 seconds) |
| 05:03:38 | × | marinelli[m] quits (~marinelli@2001:470:69fc:105::2d8) (Ping timeout: 272 seconds) |
| 05:03:41 | → | awth13 joins (~awth13@user/awth13) |
| 05:03:42 | × | stoicswe[m] quits (~deadlette@2001:470:69fc:105::d277) (Ping timeout: 276 seconds) |
| 05:03:42 | × | Drew[m]1 quits (~drewefenw@2001:470:69fc:105::c8c4) (Ping timeout: 276 seconds) |
| 05:03:42 | × | Ollie[m] quits (~ollieocha@2001:470:69fc:105::41a5) (Ping timeout: 276 seconds) |
| 05:03:42 | × | jchia[m] quits (~jchiamatr@2001:470:69fc:105::c50b) (Ping timeout: 276 seconds) |
| 05:03:42 | × | ru0mad[m] quits (~ru0madmat@2001:470:69fc:105::9b2) (Ping timeout: 276 seconds) |
| 05:03:50 | × | peddie quits (~peddie@2001:470:69fc:105::25d) (Ping timeout: 268 seconds) |
| 05:04:55 | × | Putonlalla quits (~sapekiis@it-cyan.it.jyu.fi) (*.net *.split) |
| 05:04:55 | × | lep quits (~lep@94.31.86.183) (*.net *.split) |
| 05:04:55 | × | shredder quits (~user@user/shredder) (*.net *.split) |
| 05:04:55 | × | carbolymer quits (~carbolyme@dropacid.net) (*.net *.split) |
| 05:04:55 | × | jassob1 quits (~jassob@korrob.vth.sgsnet.se) (*.net *.split) |
| 05:04:55 | × | guibou- quits (~guibou@163.172.83.213) (*.net *.split) |
| 05:04:55 | × | noctuks quits (mWTCqxoKka@user/noctux) (*.net *.split) |
| 05:04:55 | × | ridcully quits (~ridcully@p508ac428.dip0.t-ipconnect.de) (*.net *.split) |
| 05:04:55 | × | sergal quits (~sergal@fsf/member/ezra) (*.net *.split) |
| 05:04:55 | × | motherfsck quits (~motherfsc@user/motherfsck) (*.net *.split) |
| 05:04:55 | × | liskin quits (~liskin@xmonad/liskin) (*.net *.split) |
| 05:04:55 | × | Ekho quits (~Ekho@user/ekho) (*.net *.split) |
| 05:04:55 | × | adium quits (adium@user/adium) (*.net *.split) |
| 05:04:55 | × | c_wraith quits (~c_wraith@adjoint.us) (*.net *.split) |
| 05:04:55 | × | tremon quits (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) (*.net *.split) |
| 05:04:55 | × | eltonpinto quits (~eltonpint@169.109.136.34.bc.googleusercontent.com) (*.net *.split) |
| 05:04:55 | × | edr quits (~edr@user/edr) (*.net *.split) |
| 05:04:55 | × | dsf_ quits (~dsf@cpe-66-75-56-205.san.res.rr.com) (*.net *.split) |
| 05:04:55 | × | p3n quits (~p3n@217.198.124.246) (*.net *.split) |
| 05:04:55 | × | ralu quits (~ralu@static.211.245.203.116.clients.your-server.de) (*.net *.split) |
| 05:04:55 | × | Moyst quits (~moyst@user/moyst) (*.net *.split) |
| 05:04:55 | × | dkeohane1 quits (~dkeohane@ec2-18-189-29-140.us-east-2.compute.amazonaws.com) (*.net *.split) |
| 05:04:55 | × | sshine quits (~simon@hubris.eta.solutions) (*.net *.split) |
| 05:04:55 | × | dragestil quits (~znc@user/dragestil) (*.net *.split) |
| 05:04:55 | × | maerwald quits (~maerwald@user/maerwald) (*.net *.split) |
| 05:04:55 | × | davl_ quits (~davl@207.154.228.18) (*.net *.split) |
| 05:04:55 | × | Vq quits (~vq@90-227-195-41-no77.tbcn.telia.com) (*.net *.split) |
| 05:04:55 | × | dwt_ quits (~dwt_@c-98-200-58-177.hsd1.tx.comcast.net) (*.net *.split) |
| 05:04:56 | × | Aleksejs quits (~Aleksejs@haskell.lv) (*.net *.split) |
| 05:04:56 | × | andreas303 quits (andreas303@ip227.orange.bnc4free.com) (*.net *.split) |
| 05:04:56 | × | marienz quits (~marienz@libera/staff/marienz) (*.net *.split) |
| 05:04:56 | × | samebchase quits (~thelounge@51.15.68.182) (*.net *.split) |
| 05:04:56 | × | APic quits (apic@apic.name) (*.net *.split) |
| 05:04:56 | × | leah2 quits (~leah@vuxu.org) (*.net *.split) |
| 05:04:56 | × | tomjaguarpaw quits (~tom@li367-225.members.linode.com) (*.net *.split) |
| 05:04:56 | × | Guest6153 quits (~deni@mail.denibertovic.com) (*.net *.split) |
| 05:04:56 | × | SIben quits (~SIben@ns3106586.ip-5-135-191.eu) (*.net *.split) |
| 05:04:56 | × | res0nat0r quits (~Fletch@dia.whatbox.ca) (*.net *.split) |
| 05:04:56 | × | Rembane quits (~Rembane@li346-36.members.linode.com) (*.net *.split) |
| 05:04:56 | × | orhan89 quits (~orhan89@151.91.188.35.bc.googleusercontent.com) (*.net *.split) |
| 05:04:56 | × | lyxia quits (~lyxia@poisson.chat) (*.net *.split) |
| 05:04:56 | × | anoe quits (~anoe@delanoe.org) (*.net *.split) |
| 05:04:56 | × | df quits (~ben@51.15.198.140) (*.net *.split) |
| 05:04:56 | × | mmaruseacph2 quits (~mihai@198.199.100.72) (*.net *.split) |
| 05:04:56 | × | kaol quits (~kaol@178.62.241.234) (*.net *.split) |
| 05:04:56 | × | duckonomy quits (~duckonomy@177.ip-144-217-84.net) (*.net *.split) |
| 05:04:56 | × | st quits (~ts@46.101.20.9) (*.net *.split) |
| 05:04:56 | × | w1gz quits (~do@159.89.11.133) (*.net *.split) |
| 05:04:56 | × | bbear quits (~znc@21212.s.t4vps.eu) (*.net *.split) |
| 05:04:56 | × | rookie101 quits (~rookie@207.154.204.166) (*.net *.split) |
| 05:04:56 | × | srk quits (~sorki@user/srk) (*.net *.split) |
| 05:04:56 | × | statusfailed quits (~statusfai@statusfailed.com) (*.net *.split) |
| 05:04:56 | × | micro quits (~micro@user/micro) (*.net *.split) |
| 05:04:58 | → | Rembane_ joins (~Rembane@li346-36.members.linode.com) |
| 05:04:58 | → | tomjagua1paw joins (~tom@li367-225.members.linode.com) |
| 05:04:59 | → | micro_ joins (~micro@user/micro) |
| 05:05:00 | → | SIben_ joins (~SIben@ns3106586.ip-5-135-191.eu) |
| 05:05:00 | → | ezra joins (~sergal@fsf/member/ezra) |
| 05:05:02 | → | p3n_ joins (~p3n@217.198.124.246) |
| 05:05:02 | → | ralu joins (~ralu@static.211.245.203.116.clients.your-server.de) |
| 05:05:03 | → | edr joins (~edr@enlo.co) |
| 05:05:03 | → | lep joins (~lep@94.31.86.183) |
| 05:05:03 | → | anoe joins (~anoe@delanoe.org) |
| 05:05:03 | → | statusfailed joins (~statusfai@statusfailed.com) |
| 05:05:03 | → | df joins (~ben@51.15.198.140) |
| 05:05:04 | → | EPic_ joins (apic@apic.name) |
| 05:05:04 | → | carbolymer_ joins (~carbolyme@dropacid.net) |
| 05:05:04 | → | sshine_ joins (~simon@hubris.eta.solutions) |
| 05:05:04 | → | kaol_ joins (~kaol@178.62.241.234) |
| 05:05:05 | → | res0nat0r joins (~Fletch@dia.whatbox.ca) |
| 05:05:05 | → | guibou joins (~guibou@163.172.83.213) |
| 05:05:06 | → | Guest6153 joins (~deni@mail.denibertovic.com) |
| 05:05:07 | → | lyxia joins (~lyxia@poisson.chat) |
| 05:05:08 | → | samebchase joins (~thelounge@51.15.68.182) |
| 05:05:08 | → | ridcully joins (~ridcully@p508ac428.dip0.t-ipconnect.de) |
| 05:05:09 | → | marienz_ joins (~marienz@libera/staff/marienz) |
| 05:05:12 | × | Teohehim[m] quits (~teocmatri@2001:470:69fc:105::d327) (Ping timeout: 256 seconds) |
| 05:05:12 | → | jassob1 joins (~jassob@korrob.vth.sgsnet.se) |
| 05:05:14 | → | eltonpinto joins (~eltonpint@169.109.136.34.bc.googleusercontent.com) |
| 05:05:14 | → | dsf_ joins (~dsf@cpe-66-75-56-205.san.res.rr.com) |
| 05:05:16 | → | cwraith joins (~c_wraith@adjoint.us) |
| 05:05:19 | → | andreas3- joins (andreas303@ip227.orange.bnc4free.com) |
| 05:05:21 | <keltono> | sshing into a different machine (with tmux or a dedicated client) is pretty nice if you have an external keyboard -- I still think that programming on a touch screen in the general is an unsolved HCI problem |
| 05:05:21 | → | liskin joins (~liskin@ackle.nomi.cz) |
| 05:05:22 | → | noctuks joins (FtRbHWeJFU@karif.server-speed.net) |
| 05:05:24 | → | leah2 joins (~leah@vuxu.org) |
| 05:05:28 | → | orhan89 joins (~orhan89@151.91.188.35.bc.googleusercontent.com) |
| 05:05:32 | × | adziahel[m] quits (~adziahelm@2001:470:69fc:105::b4d) (Ping timeout: 245 seconds) |
| 05:05:32 | × | maerwald[m] quits (~maerwaldm@2001:470:69fc:105::1ee) (Ping timeout: 245 seconds) |
| 05:05:40 | → | Putonlalla joins (~sapekiis@it-cyan.it.jyu.fi) |
| 05:05:40 | × | cwraith quits (~c_wraith@adjoint.us) (Client Quit) |
| 05:05:46 | × | hsek[m] quits (~hsekmatri@2001:470:69fc:105::d18f) (Ping timeout: 256 seconds) |
| 05:05:46 | × | andreabedini[m] quits (~andreabed@2001:470:69fc:105::c821) (Ping timeout: 256 seconds) |
| 05:05:46 | × | Magnus[m] quits (~magthetch@2001:470:69fc:105::d1a7) (Ping timeout: 240 seconds) |
| 05:05:46 | × | AnselmSchler[m] quits (~schuelerm@2001:470:69fc:105::d032) (Ping timeout: 240 seconds) |
| 05:05:46 | × | infinisil quits (~infinisil@2001:470:69fc:105::ff8) (Ping timeout: 240 seconds) |
| 05:05:46 | × | ixlun quits (~ixlun@2001:470:69fc:105::41b3) (Ping timeout: 240 seconds) |
| 05:05:47 | × | liskin quits (~liskin@ackle.nomi.cz) (Signing in (liskin)) |
| 05:05:47 | → | liskin joins (~liskin@xmonad/liskin) |
| 05:05:47 | × | noctuks quits (FtRbHWeJFU@karif.server-speed.net) (Signing in (noctuks)) |
| 05:05:47 | → | noctuks joins (FtRbHWeJFU@user/noctux) |
| 05:05:50 | <keltono> | heck, tmux on its own isn't terrible (again, given you have an external kb) |
| 05:05:57 | × | zfnmxt quits (~zfnmxtzfn@2001:470:69fc:105::2b32) (Ping timeout: 245 seconds) |
| 05:05:57 | × | ormaaj quits (~ormaaj@user/ormaaj) (Ping timeout: 245 seconds) |
| 05:05:59 | × | edr quits (~edr@enlo.co) (Changing host) |
| 05:05:59 | → | edr joins (~edr@user/edr) |
| 05:06:03 | × | deuslambda[m] quits (~deuslambd@2001:470:69fc:105::c749) (Ping timeout: 250 seconds) |
| 05:06:03 | × | afotgkmnzj7asv3r quits (~afotgkmnz@2001:470:69fc:105::c24b) (Ping timeout: 250 seconds) |
| 05:06:03 | × | octeep[m] quits (~octeepmoc@2001:470:69fc:105::695e) (Ping timeout: 250 seconds) |
| 05:06:03 | × | vbeatrice[m] quits (~vbeatrice@2001:470:69fc:105::3ebf) (Ping timeout: 250 seconds) |
| 05:06:03 | × | dminuoso[m] quits (~dminuosom@2001:470:69fc:105::33bb) (Ping timeout: 250 seconds) |
| 05:06:03 | × | dualinverter[m] quits (~dualinver@2001:470:69fc:105::16a7) (Ping timeout: 250 seconds) |
| 05:06:03 | × | alexfmpe[m] quits (~alexfmpem@2001:470:69fc:105::38ba) (Ping timeout: 250 seconds) |
| 05:06:03 | × | OndejSkup[m] quits (~mimivxmat@2001:470:69fc:105::c300) (Ping timeout: 250 seconds) |
| 05:06:06 | × | justosophy[m] quits (~justosoph@2001:470:69fc:105::572f) (Ping timeout: 272 seconds) |
| 05:06:06 | × | Orbstheorem quits (~orbstheor@2001:470:69fc:105::a56) (Ping timeout: 272 seconds) |
| 05:06:06 | × | SimonWeiss[m] quits (~weiss-dma@2001:470:69fc:105::bebd) (Ping timeout: 272 seconds) |
| 05:06:06 | × | yin[m] quits (~zwromatri@2001:470:69fc:105::1d4) (Ping timeout: 272 seconds) |
| 05:06:06 | × | srid[m] quits (~sridmatri@2001:470:69fc:105::1c2) (Ping timeout: 272 seconds) |
| 05:06:06 | × | unrooted quits (~unrooted@2001:470:69fc:105::a4a) (Ping timeout: 272 seconds) |
| 05:06:06 | × | Deide quits (~deide@user/deide) (Ping timeout: 272 seconds) |
| 05:06:08 | × | vaibhavsagar[m] quits (~vaibhavsa@2001:470:69fc:105::ffe) (Ping timeout: 252 seconds) |
| 05:06:10 | × | oak- quits (~oakuniver@2001:470:69fc:105::fcd) (Ping timeout: 240 seconds) |
| 05:06:10 | × | amesgen[m] quits (~amesgenm]@2001:470:69fc:105::82b) (Ping timeout: 240 seconds) |
| 05:06:10 | × | jakefromstatefar quits (~jakefroms@2001:470:69fc:105::15ef) (Ping timeout: 240 seconds) |
| 05:06:10 | × | jaror[m] quits (~jaror@2001:470:69fc:105::265) (Ping timeout: 240 seconds) |
| 05:06:10 | × | smichel17[m] quits (~smichel17@2001:470:69fc:105::2d32) (Ping timeout: 240 seconds) |
| 05:06:13 | → | Aleksejs joins (~Aleksejs@haskell.lv) |
| 05:06:15 | × | fakehacker[m] quits (~fakehacke@2001:470:69fc:105::b5f0) (Ping timeout: 252 seconds) |
| 05:06:15 | × | aveltras[m] quits (~aveltrasm@2001:470:69fc:105::3ef9) (Ping timeout: 252 seconds) |
| 05:06:15 | × | maralorn quits (~maralorn@2001:470:69fc:105::251) (Ping timeout: 252 seconds) |
| 05:06:15 | × | jophish quits (~jophish@2001:470:69fc:105::670) (Ping timeout: 252 seconds) |
| 05:06:18 | × | CyrusT[m] quits (~cyrustcru@2001:470:69fc:105::306e) (Ping timeout: 276 seconds) |
| 05:06:19 | × | the-coot[m] quits (~the-cootm@2001:470:69fc:105::95f) (Ping timeout: 268 seconds) |
| 05:06:20 | × | wallymathieu[m] quits (~wallymath@2001:470:69fc:105::16ae) (Ping timeout: 256 seconds) |
| 05:06:21 | → | tremon joins (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) |
| 05:06:33 | → | maerwald joins (~maerwald@mail.hasufell.de) |
| 05:06:33 | int-e_ | is now known as int-e |
| 05:06:35 | → | bbear joins (~znc@21212.s.t4vps.eu) |
| 05:06:37 | → | dragestil joins (~znc@user/dragestil) |
| 05:06:38 | → | davl joins (~davl@207.154.228.18) |
| 05:06:42 | → | w1gz joins (~do@159.89.11.133) |
| 05:06:43 | → | st joins (~ts@46.101.20.9) |
| 05:06:44 | → | adium joins (adium@user/adium) |
| 05:06:52 | → | motherfsck joins (~motherfsc@user/motherfsck) |
| 05:06:57 | × | jkachmar quits (~jkachmar@2001:470:69fc:105::c72d) (Ping timeout: 276 seconds) |
| 05:06:59 | → | rookie101 joins (~rookie@207.154.204.166) |
| 05:07:11 | → | dkeohane1 joins (~dkeohane@ec2-18-189-29-140.us-east-2.compute.amazonaws.com) |
| 05:07:12 | × | kar1 quits (~kar1@2001:470:69fc:105::c308) (Ping timeout: 245 seconds) |
| 05:07:42 | → | srk joins (~sorki@user/srk) |
| 05:07:53 | <Axman6> | There is an iOS app called Textastic which does a great job making symbols really accessible (has a bunch of keys with five symbols per key, and you press and swipe to the desired one, feels really natural), but it's just a text editor, there's no running of code |
| 05:07:59 | → | duckonomy joins (~duckonomy@177.ip-144-217-84.net) |
| 05:08:05 | → | c_wraith joins (~c_wraith@adjoint.us) |
| 05:09:04 | × | hyiltiz quits (~quassel@31.220.5.250) (Ping timeout: 250 seconds) |
| 05:09:31 | → | shredder joins (~user@user/shredder) |
| 05:10:02 | → | Moyst joins (~moyst@user/moyst) |
| 05:10:05 | → | mmaruseacph2 joins (~mihai@198.199.100.72) |
| 05:10:55 | → | hyiltiz joins (~quassel@31.220.5.250) |
| 05:11:21 | → | Ekho joins (~Ekho@user/ekho) |
| 05:16:56 | → | hughjfchen[m] joins (~hughjfche@2001:470:69fc:105::c29d) |
| 05:17:58 | × | markpythonicbitc quits (~markpytho@2601:647:5a00:35:8861:2c87:dc35:9861) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 05:18:44 | → | jneira joins (~jneira@212.8.115.226) |
| 05:21:07 | → | elf_fortrez joins (~elf_fortr@adsl-72-50-4-118.prtc.net) |
| 05:22:26 | × | typedfern_ quits (~Typedfern@185.red-83-57-142.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 05:23:03 | → | ecameron[m] joins (~ecameronm@2001:470:69fc:105::35df) |
| 05:23:09 | → | Typedfern joins (~Typedfern@185.red-83-57-142.dynamicip.rima-tde.net) |
| 05:23:20 | → | dwt_ joins (~dwt_@c-98-200-58-177.hsd1.tx.comcast.net) |
| 05:23:56 | × | bitmapper quits (uid464869@id-464869.tooting.irccloud.com) (Quit: Connection closed for inactivity) |
| 05:25:34 | → | typedfern_ joins (~Typedfern@185.red-83-57-142.dynamicip.rima-tde.net) |
| 05:25:44 | → | oxide joins (~lambda@user/oxide) |
| 05:25:46 | × | Typedfern quits (~Typedfern@185.red-83-57-142.dynamicip.rima-tde.net) (Client Quit) |
| 05:27:19 | × | codedmart quits (codedmart@2600:3c01::f03c:92ff:fefe:8511) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 05:27:36 | → | codedmart joins (codedmart@2600:3c01::f03c:92ff:fefe:8511) |
| 05:28:42 | × | elf_fortrez quits (~elf_fortr@adsl-72-50-4-118.prtc.net) (Quit: Client closed) |
| 05:29:45 | × | voldial quits (~user@195.179.201.175) (Changing host) |
| 05:29:45 | → | voldial joins (~user@user/voldial) |
| 05:31:10 | → | niko joins (~niko@libera/staff/niko) |
| 05:32:12 | → | AnselmSchler[m] joins (~schuelerm@2001:470:69fc:105::d032) |
| 05:32:49 | <Cajun> | i wonder if there is a vim implentation on mobile.. sounds awful :P |
| 05:33:10 | → | fgaz joins (~fgaz@2001:470:69fc:105::842) |
| 05:33:34 | → | CyrusT[m] joins (~cyrustcru@2001:470:69fc:105::306e) |
| 05:34:20 | <Axman6> | would be less awful than an Emacs implementation I think |
| 05:37:02 | × | vysn quits (~vysn@user/vysn) (Ping timeout: 258 seconds) |
| 05:37:59 | → | Vq joins (~vq@90-227-195-41-no77.tbcn.telia.com) |
| 05:40:20 | × | ham2 quits (~ham4@d8d8627d5.access.telenet.be) (Ping timeout: 256 seconds) |
| 05:41:41 | → | reza[m] joins (~rezaphone@2001:470:69fc:105::3eda) |
| 05:41:45 | → | bryan[m] joins (~bchreekat@2001:470:69fc:105::16b5) |
| 05:44:55 | → | kadoban joins (~kadoban@user/kadoban) |
| 05:46:11 | polux0 | is now known as polux |
| 05:46:13 | → | polykernel joins (~polykerne@user/polykernel) |
| 05:49:26 | → | bb010g joins (~bb010g@2001:470:69fc:105::9a5) |
| 05:50:34 | → | marinelli[m] joins (~marinelli@2001:470:69fc:105::2d8) |
| 05:50:35 | → | soft joins (~soft-matr@2001:470:69fc:105::c75) |
| 05:52:32 | → | rednaZ[m] joins (~r3dnazmat@2001:470:69fc:105::ba70) |
| 05:52:38 | → | ham joins (~ham4@user/ham) |
| 05:54:28 | → | euouae joins (~euouae@user/euouae) |
| 05:54:41 | → | fabfianda[m] joins (~fabfianda@2001:470:69fc:105::6db) |
| 05:55:20 | → | azeem joins (~azeem@dynamic-adsl-84-220-236-17.clienti.tiscali.it) |
| 05:56:17 | → | RohitGoswami[m] joins (~rgoswamim@2001:470:69fc:105::16cc) |
| 05:57:56 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 05:58:08 | → | ericson2314 joins (~ericson23@2001:470:69fc:105::70c) |
| 05:59:36 | → | carmysilna joins (~brightly-@2001:470:69fc:105::2190) |
| 06:01:06 | → | Deewiant joins (~deewiant@2001:470:69fc:105::2fd3) |
| 06:01:15 | → | bitonic joins (~bitonic@2001:470:69fc:105::1812) |
| 06:01:35 | → | adziahel[m] joins (~adziahelm@2001:470:69fc:105::b4d) |
| 06:01:37 | → | maerwald[m] joins (~maerwaldm@2001:470:69fc:105::1ee) |
| 06:01:44 | → | cdsmith joins (~cdsmithma@2001:470:69fc:105::284) |
| 06:01:50 | → | hsek[m] joins (~hsekmatri@2001:470:69fc:105::d18f) |
| 06:01:53 | → | andreabedini[m] joins (~andreabed@2001:470:69fc:105::c821) |
| 06:02:27 | → | justosophy[m] joins (~justosoph@2001:470:69fc:105::572f) |
| 06:02:29 | → | Las[m] joins (~lasmatrix@2001:470:69fc:105::74e) |
| 06:02:33 | → | the-coot[m] joins (~the-cootm@2001:470:69fc:105::95f) |
| 06:02:36 | → | SimonWeiss[m] joins (~weiss-dma@2001:470:69fc:105::bebd) |
| 06:02:36 | → | yin[m] joins (~zwromatri@2001:470:69fc:105::1d4) |
| 06:03:42 | → | Magnus[m] joins (~magthetch@2001:470:69fc:105::d1a7) |
| 06:03:45 | → | hsiktas[m] joins (~hsiktasma@2001:470:69fc:105::30d4) |
| 06:03:48 | → | ixlun joins (~ixlun@2001:470:69fc:105::41b3) |
| 06:03:55 | → | vbeatrice[m] joins (~vbeatrice@2001:470:69fc:105::3ebf) |
| 06:03:56 | → | deuslambda[m] joins (~deuslambd@2001:470:69fc:105::c749) |
| 06:03:58 | → | dualinverter[m] joins (~dualinver@2001:470:69fc:105::16a7) |
| 06:03:59 | → | dminuoso[m] joins (~dminuosom@2001:470:69fc:105::33bb) |
| 06:04:14 | → | ru0mad[m] joins (~ru0madmat@2001:470:69fc:105::9b2) |
| 06:04:15 | → | peddie joins (~peddie@2001:470:69fc:105::25d) |
| 06:04:40 | → | stoicswe[m] joins (~deadlette@2001:470:69fc:105::d277) |
| 06:04:40 | → | Drew[m]1 joins (~drewefenw@2001:470:69fc:105::c8c4) |
| 06:04:41 | → | Ollie[m] joins (~ollieocha@2001:470:69fc:105::41a5) |
| 06:04:42 | → | jchia[m] joins (~jchiamatr@2001:470:69fc:105::c50b) |
| 06:04:47 | → | PotatoHatsue joins (~berberman@2001:470:69fc:105::b488) |
| 06:05:11 | <dsal> | I have a nice mosh client on my iPad. |
| 06:05:18 | → | wallymathieu[m] joins (~wallymath@2001:470:69fc:105::16ae) |
| 06:05:47 | → | oak- joins (~oakuniver@2001:470:69fc:105::fcd) |
| 06:05:48 | → | amesgen[m] joins (~amesgenm]@2001:470:69fc:105::82b) |
| 06:07:43 | <euouae> | I mean, I love apple, I just don't expect to be able to do anything serious with my phone ever |
| 06:09:54 | → | Teohehim[m] joins (~teocmatri@2001:470:69fc:105::d327) |
| 06:10:07 | → | thomasjm[m] joins (~thomasjmm@2001:470:69fc:105::c6d9) |
| 06:14:25 | → | Orbstheorem joins (~orbstheor@2001:470:69fc:105::a56) |
| 06:14:26 | → | unrooted joins (~unrooted@2001:470:69fc:105::a4a) |
| 06:14:35 | → | srid[m] joins (~sridmatri@2001:470:69fc:105::1c2) |
| 06:14:38 | → | lwe[m] joins (~dendrumat@2001:470:69fc:105::2f9b) |
| 06:14:41 | → | Deide joins (~deide@user/deide) |
| 06:14:59 | → | afotgkmnzj7asv3r joins (~afotgkmnz@2001:470:69fc:105::c24b) |
| 06:14:59 | → | octeep[m] joins (~octeepmoc@2001:470:69fc:105::695e) |
| 06:15:00 | → | alexfmpe[m] joins (~alexfmpem@2001:470:69fc:105::38ba) |
| 06:15:44 | → | infinisil joins (~infinisil@2001:470:69fc:105::ff8) |
| 06:15:53 | → | siraben joins (~siraben@user/siraben) |
| 06:15:54 | → | mei joins (~mei@user/mei) |
| 06:16:06 | → | OndejSkup[m] joins (~mimivxmat@2001:470:69fc:105::c300) |
| 06:16:23 | <dsal> | I *have* a nice mosh client . I've never actually done anything with it. The most actually useful thing I've done with my iPad is use it as a second display. I keep forgetting I can do that. Running a terminal over there while developing is pretty handy. |
| 06:16:32 | <dsal> | Tonight was all C++, though, so that's unfortunate. ;( |
| 06:16:51 | → | fakehacker[m] joins (~fakehacke@2001:470:69fc:105::b5f0) |
| 06:16:51 | → | aveltras[m] joins (~aveltrasm@2001:470:69fc:105::3ef9) |
| 06:16:56 | → | maralorn joins (~maralorn@2001:470:69fc:105::251) |
| 06:17:08 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:3af7:592d:78ca:ce31) |
| 06:17:12 | <Axman6> | At least it wasn't scala |
| 06:17:20 | → | michalz joins (~michalz@185.246.204.33) |
| 06:19:16 | → | zfnmxt joins (~zfnmxtzfn@2001:470:69fc:105::2b32) |
| 06:19:28 | → | vaibhavsagar[m] joins (~vaibhavsa@2001:470:69fc:105::ffe) |
| 06:19:45 | Rembane_ | is now known as Rembane |
| 06:21:29 | → | smichel17[m] joins (~smichel17@2001:470:69fc:105::2d32) |
| 06:21:32 | → | jakefromstatefar joins (~jakefroms@2001:470:69fc:105::15ef) |
| 06:21:33 | → | jaror[m] joins (~jaror@2001:470:69fc:105::265) |
| 06:24:28 | <dibblego> | Axman6 ♥ Scala |
| 06:25:45 | → | jkachmar joins (~jkachmar@2001:470:69fc:105::c72d) |
| 06:26:18 | × | abrar_ quits (~abrar@static-108-2-152-54.phlapa.fios.verizon.net) (Ping timeout: 240 seconds) |
| 06:26:55 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 06:29:08 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds) |
| 06:29:08 | Lord_of_Life_ | is now known as Lord_of_Life |
| 06:29:41 | → | kar1 joins (~kar1@2001:470:69fc:105::c308) |
| 06:30:12 | → | boxscape joins (~boxscape@user/boxscape) |
| 06:31:56 | → | MatrixTravelerbo joins (~voyagert2@2001:470:69fc:105::22) |
| 06:32:18 | → | ServerStatsDisco joins (~serversta@2001:470:69fc:105::1a) |
| 06:32:23 | × | lavaman quits (~lavaman@98.38.249.169) (Read error: Connection reset by peer) |
| 06:32:49 | → | ac joins (~aloiscoch@2001:470:69fc:105::65) |
| 06:33:00 | → | lavaman joins (~lavaman@98.38.249.169) |
| 06:33:04 | <Cajun> | i love java but its only because it was my first language; and python is a language ive always looked at but i hate the look of the syntax and the weak type system |
| 06:33:20 | → | Tisoxin joins (~ikosit@user/ikosit) |
| 06:33:32 | <Cajun> | ...especially after knowing how helpful a real type system is lol |
| 06:33:52 | <dibblego> | Cajun ♥ python |
| 06:34:12 | → | spruit11_ joins (~quassel@2a02:a467:ccd6:1:90c7:da5b:b845:b6e9) |
| 06:34:52 | <Cajun> | some syntax decisions of python baffles me. like end-of-line for loops?? they just make reading the line confusing to all but those who wrote it |
| 06:35:22 | <Rembane> | Cajun: What's en EOL for loop? |
| 06:36:07 | <Cajun> | something like this, though this is a contrived example: `print [item for item in [1,2,3]]` |
| 06:36:31 | <Cajun> | that prints, predictably, [1,2,3] |
| 06:36:37 | <Rembane> | Oh, then you'll have to read it in the same way as you read Haskell. |
| 06:36:58 | <Cajun> | well python does have list comprehensions, but they are more wordy instead of syntax-y |
| 06:37:00 | × | spruit11 quits (~quassel@2a02:a467:ccd6:1:55d2:a8d9:e00b:3a3a) (Ping timeout: 256 seconds) |
| 06:37:29 | → | sm joins (~sm@plaintextaccounting/sm) |
| 06:37:30 | → | unclechu joins (~unclechu@2001:470:69fc:105::354) |
| 06:37:31 | <c_wraith> | python's syntax is heavily based on words. |
| 06:37:44 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 06:37:57 | → | _xor joins (~xor@74.215.232.67) |
| 06:38:04 | × | _xor quits (~xor@74.215.232.67) (Client Quit) |
| 06:38:19 | → | _xor joins (~xor@74.215.232.67) |
| 06:38:22 | → | Athas joins (athas@sigkill.dk) |
| 06:39:34 | → | psydroid joins (~psydroid@user/psydroid) |
| 06:39:34 | → | jophish joins (~jophish@2001:470:69fc:105::670) |
| 06:39:35 | → | ormaaj joins (~ormaaj@user/ormaaj) |
| 06:40:02 | × | spruit11_ quits (~quassel@2a02:a467:ccd6:1:90c7:da5b:b845:b6e9) (Ping timeout: 268 seconds) |
| 06:41:30 | <Cajun> | yeah im not sure how much i like that design, it definitely doesnt click for me (but perhaps it does for others) |
| 06:41:34 | <dsal> | Haskell has too many words, too. A boolean only needs one bit... |
| 06:42:16 | <Cajun> | yeah thats a real shame that Bool needs to be a Word |
| 06:42:23 | <dsal> | I can't remember how to python and I don't really want to anymore. It's always a bad time for me, but one that takes a whole to tell me that. |
| 06:42:51 | → | chris joins (~chris@81.96.113.213) |
| 06:42:55 | chris | is now known as Guest246 |
| 06:43:04 | <dsal> | I liked python about ten years ago. I did cool stuff with twisted. |
| 06:43:12 | <Cajun> | and any actual work done in python is always done in C, its too slow for any intensive applications lol |
| 06:43:20 | <dsal> | I never liked java, though. |
| 06:43:21 | × | Athas quits (athas@sigkill.dk) (Quit: ZNC 1.8.2 - https://znc.in) |
| 06:43:53 | <Cajun> | i have a soft spot for java, it was the first language i learned ♥ |
| 06:44:09 | <dsal> | Even though I used to use jython to prototype my ideas... |
| 06:44:24 | <Cajun> | what in the world is jython and do i want to know? |
| 06:44:43 | × | _xor quits (~xor@74.215.232.67) (Quit: WeeChat 3.2) |
| 06:45:14 | <dsal> | I learned java after writing a bunch of Eiffel so I got into it from the perspective of doing everything wrong. Then I learned smalltalk and found a new way they were doing everything wrong. Heh |
| 06:45:38 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 06:45:51 | → | Athas joins (athas@sigkill.dk) |
| 06:45:57 | <dsal> | Jython was a python implementation in java. Could use java classes as python classes and stuff. |
| 06:46:02 | × | aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Ping timeout: 258 seconds) |
| 06:46:21 | <dsal> | Java doesn't repl very well on its own |
| 06:46:28 | → | sander joins (~sander@user/sander) |
| 06:46:33 | <Cajun> | i do like thinking of the means of approaching a task in java and in haskell and how they differ. one that ive thought of recently is heterogeneous lists |
| 06:47:26 | × | Guest246 quits (~chris@81.96.113.213) (Ping timeout: 268 seconds) |
| 06:47:46 | <Cajun> | and specifically being of their lowest possible type, not all `Objects` , thats basically cheating :p |
| 06:47:55 | <dsal> | The java way lets you defer as much as you want to runtime errors. :) |
| 06:48:20 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 06:48:31 | <tomsmeding> | lechner: compiling aeson and vector takes >2GB of ram in my experience, and the world depends on those things |
| 06:48:35 | → | dhouthoo joins (~dhouthoo@178-117-36-167.access.telenet.be) |
| 06:49:00 | → | Guest71 joins (~Guest71@217.156.31.64) |
| 06:49:10 | Guest71 | is now known as random-jellyfish |
| 06:49:18 | <dsal> | Yeah. It was a little confusing for a while trying to figure out how to store values of different types in Haskell. I eventually just stopped wanting to do that. :) |
| 06:50:19 | <Cajun> | the sad part is (afaik) you can only use HLists if they are known during compile time |
| 06:50:42 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 06:51:30 | <Axman6> | surely you could use singletons to have synamic ones, I feel like jle`'s posts on using the library given an example of being able to load what is essentially hlists at runtime |
| 06:52:02 | <tomsmeding> | Cajun: pattern-matching on gadts gives you type information, so surely you can build and work with HLists at runtime |
| 06:52:14 | → | Akronymus joins (~Akronymus@85.31.8.181) |
| 06:53:06 | <Cajun> | well what about with just a lifted list and bog-standard types like `'[Int, Char, Identity (Maybe Bool)]` |
| 06:53:15 | → | spruit11 joins (~quassel@2a02:a467:ccd6:1:90c7:da5b:b845:b6e9) |
| 06:53:24 | <Axman6> | that's usually how we represent HLists these days |
| 06:53:32 | <Akronymus> | What does the identity type actually do? |
| 06:53:59 | <Cajun> | its useful when you want to stuff something in a monad (like with Repa's `computeP` ) |
| 06:54:07 | <Axman6> | data HList (xs :: [Type]) where HNil :: HList '[]; HCons :: a -> HList xs -> HList (x ': xs) |
| 06:54:42 | <Cajun> | yeah thats what i figured Axman6 , and those can only be used when they are known during compile time |
| 06:55:15 | <Axman6> | Akronymus: it's the trivial monad, it can be used in places whewre a function requires a monad but you don't need any monadic effects |
| 06:55:21 | <Axman6> | Cajun: why do you say that? |
| 06:55:36 | <Axman6> | It's not an unreasonable thing to say, but it's also not correct :P |
| 06:56:41 | → | aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 06:57:05 | <tomsmeding> | % data HList xs where HNil :: HList '[] ; HCons :: a -> HList xs -> HList (a ': xs) |
| 06:57:06 | <yahb> | tomsmeding: |
| 06:57:36 | <Akronymus> | Axman6 Thanks. So it basically turns the value into a function that returns the value? |
| 06:57:37 | <tomsmeding> | % hlength :: HList xs -> Int ; hlength HNil = 0 ; hlength (HCons _ xs) = 1 + hlength xs |
| 06:57:37 | <yahb> | tomsmeding: |
| 06:57:43 | → | chele joins (~chele@user/chele) |
| 06:57:49 | <Axman6> | % :t HCons 'x' (HCons True HNil) |
| 06:57:49 | <yahb> | Axman6: HList '[Char, Bool] |
| 06:57:58 | × | spruit11 quits (~quassel@2a02:a467:ccd6:1:90c7:da5b:b845:b6e9) (Ping timeout: 256 seconds) |
| 06:58:07 | <Cajun> | idk why but i remember reading that, maybe it was on something else |
| 06:58:12 | <tomsmeding> | % data Some f where Some :: f a -> Some f |
| 06:58:12 | <yahb> | tomsmeding: |
| 06:58:32 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 268 seconds) |
| 06:59:09 | <tomsmeding> | % hrep :: Int -> a -> Some HList ; hrep 0 _ = Some HNil ; hrep n x = case hrep (n-1) x of Some xs -> Some (HCons x xs) |
| 06:59:09 | <yahb> | tomsmeding: |
| 06:59:38 | <tomsmeding> | % case hrep 5 'a' of Some xs -> hlength xs |
| 06:59:38 | <yahb> | tomsmeding: 5 |
| 06:59:44 | <tomsmeding> | Cajun: runtime hlists! |
| 07:00:11 | → | spruit11 joins (~quassel@2a02:a467:ccd6:1:90c7:da5b:b845:b6e9) |
| 07:00:33 | <Cajun> | well thats abusing existentials isnt it? |
| 07:00:37 | <tomsmeding> | hrep produces an hlist of unknown type list, so I have to either hide the type parameter with an existential, like I do with Some here, or use CPS |
| 07:00:44 | <Cajun> | cheater :P |
| 07:01:00 | <Axman6> | that's basically the whole point, to use existentials |
| 07:01:27 | <tomsmeding> | % hrep' :: Int -> a -> (forall xs. HList xs -> r) -> r ; hrep 0 _ k = k HNil ; hrep n x k = hrep (n-1) x $ \xs -> k (HCons x xs) |
| 07:01:27 | <yahb> | tomsmeding: ; <interactive>:92:1: error:; The type signature for hrep' lacks an accompanying binding; Perhaps you meant `hrep' (Defined at <interactive>:92:56) |
| 07:01:43 | → | _xor joins (~xor@74.215.232.67) |
| 07:01:43 | <tomsmeding> | % hrep' :: Int -> a -> (forall xs. HList xs -> r) -> r ; hrep' 0 _ k = k HNil ; hrep' n x k = hrep (n-1) x $ \xs -> k (HCons x xs) |
| 07:01:43 | <yahb> | tomsmeding: ; <interactive>:93:93: error:; * Couldn't match expected type: (HList xs0 -> r) -> r; with actual type: Some HList; * The first argument of ($) takes one value argument, but its type `Some HList' has none; In the expression: hrep (n - 1) x $ \ xs -> k (HCons x xs); In an equation for hrep': hrep' n x k = hrep (n - 1) x $ \ xs -> k (HCons x xs); * Relevant binding |
| 07:01:49 | <Cajun> | i know you can do that with Vectors and `Any` along with managing the type level list intact and identical with the vector along with a bit of `unsafeCoerce` |
| 07:02:04 | <tomsmeding> | % hrep' :: Int -> a -> (forall xs. HList xs -> r) -> r ; hrep' 0 _ k = k HNil ; hrep' n x k = hrep' (n-1) x $ \xs -> k (HCons x xs) |
| 07:02:04 | <yahb> | tomsmeding: |
| 07:02:22 | <tomsmeding> | % hrep' 5 'a' (\xs -> hlength xs) |
| 07:02:22 | <yahb> | tomsmeding: 5 |
| 07:02:26 | <tomsmeding> | Cajun: better? :P |
| 07:02:39 | <tomsmeding> | Also existentials != unsafeCoerce |
| 07:03:08 | → | elf_fortrez joins (~elf_fortr@adsl-72-50-4-51.prtc.net) |
| 07:03:09 | <Cajun> | i never meant that, i just meant that you can get the type back by managing a typelevel list and a list of existentials |
| 07:03:17 | <Cajun> | not the type the value* |
| 07:03:36 | × | elf_fortrez quits (~elf_fortr@adsl-72-50-4-51.prtc.net) (Write error: Broken pipe) |
| 07:03:50 | → | Obo joins (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 07:03:58 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 272 seconds) |
| 07:04:02 | → | elf_fortrez joins (~elf_fortr@adsl-72-50-4-118.prtc.net) |
| 07:04:03 | <tomsmeding> | If you already know what type is in there, you mean? |
| 07:04:12 | <Cajun> | yup! :) |
| 07:04:14 | <tomsmeding> | Otherwise you don't know what to unsafeCoerce to |
| 07:04:38 | <tomsmeding> | Can also put a TypeRep in the HList with it |
| 07:05:07 | <Axman6> | superrecord uses a SmallArray Any under the hood, so you avoid the linear overhead of an actual linked list |
| 07:05:08 | → | epolanski joins (uid312403@id-312403.brockwell.irccloud.com) |
| 07:05:12 | <Cajun> | im thinking of a specific example of OpenProducts and this function: https://paste.tomsmeding.com/hHTlYqIL |
| 07:05:23 | <Axman6> | and IIRC generics-sop is looking at doing the same thing |
| 07:06:42 | <Cajun> | tomsmeding: like a tuple of the TypeRep and Existential? |
| 07:07:26 | <tomsmeding> | Well, using an HList1 |
| 07:08:00 | <tomsmeding> | % data HList1 f xs where HNil1 :: HList1 f '[] ; HCons :: f a -> HList1 f xs -> HList1 f (a ': xs) |
| 07:08:00 | <yahb> | tomsmeding: |
| 07:08:10 | <tomsmeding> | Oh crap shadowing HCons now |
| 07:08:33 | <tomsmeding> | Then put in something that pairs a value with a something describing its type |
| 07:09:57 | <Cajun> | man type level stuff sometimes throws me for a loop, so many extensions to remember and its just so different from anything else lol |
| 07:10:16 | × | euouae quits (~euouae@user/euouae) (Ping timeout: 246 seconds) |
| 07:11:14 | <tomsmeding> | Also, real runtime use case of plain HList (so not HList1): expression evaluation on an type-safe AST represented with a GADT |
| 07:11:19 | <tomsmeding> | A tagless evaluator |
| 07:11:26 | <tomsmeding> | The environment is an HList then |
| 07:11:58 | <Cajun> | that sounds like a rabbit hole to go down |
| 07:12:24 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 276 seconds) |
| 07:14:34 | × | sander quits (~sander@user/sander) (Ping timeout: 268 seconds) |
| 07:15:19 | → | sander joins (~sander@user/sander) |
| 07:15:20 | → | anandprabhu joins (~anandprab@94.202.243.198) |
| 07:16:18 | × | glguy quits (x@libera/staff/glguy) (Ping timeout: 612 seconds) |
| 07:16:34 | → | kuribas joins (~user@ptr-25vy0i7woj1hwcs7nsl.18120a2.ip6.access.telenet.be) |
| 07:17:43 | → | talismanick joins (~user@2601:644:8502:d700::8fb8) |
| 07:18:30 | → | yoctocell joins (~user@h87-96-130-155.cust.a3fiber.se) |
| 07:19:57 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 07:20:43 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 07:20:46 | <tomsmeding> | Cajun: https://paste.tomsmeding.com/gYPEH9iY |
| 07:21:05 | <tomsmeding> | note that this is _the_ tired overused example of GADTs |
| 07:21:41 | <tomsmeding> | and you can make the language much more complex thant STLC if you want :) |
| 07:21:56 | <tomsmeding> | https://github.com/AccelerateHS/accelerate/blob/master/src/Data/Array/Accelerate/AST.hs#L230 |
| 07:25:10 | <Cajun> | thats awesome |
| 07:26:04 | → | zyklotomic joins (~ethan@2604:a880:800:10::79f:8001) |
| 07:26:10 | → | mastarija joins (~mastarija@78-3-210-70.adsl.net.t-com.hr) |
| 07:26:40 | <Axman6> | Once day, I'm going to make a library which combines Accelerate and Grenade and call it RPG, but I would have to understand both libraries much better than I currently do first XD |
| 07:26:40 | × | bairyn quits (~bairyn@mail.digitalkingdom.org) (Ping timeout: 258 seconds) |
| 07:26:44 | <Axman6> | One* |
| 07:27:05 | × | shriekingnoise quits (~shrieking@186.137.144.80) (Quit: Quit) |
| 07:27:09 | <zyklotomic> | is there a way to add newtypes support to an IntMap? |
| 07:27:35 | → | cfricke joins (~cfricke@user/cfricke) |
| 07:27:39 | <zyklotomic> | i am not sure whato call this, but say newtype Vertex = Vertex Int |
| 07:27:40 | <tomsmeding> | Axman6: I'm working on automatic differentiation for accelerate, so in the future that part might also be there :p |
| 07:27:53 | <Axman6> | tomsmeding: <3 :O |
| 07:28:00 | <Axman6> | please take my idea and run with it |
| 07:28:06 | <tomsmeding> | lol |
| 07:28:11 | tomsmeding | knows very little about DL |
| 07:28:42 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 07:28:45 | <tomsmeding> | zyklotomic: you can make a custom wrapper for an IntMap that can work with any type k such that 'Coerce k Int' |
| 07:28:48 | <mastarija> | How is Haskell IDE (or now language server) these days? Does it still require me to compile a version for each version of GHC I use? |
| 07:29:09 | <Axman6> | mastarija: no, you just ghcup to install it |
| 07:29:12 | <tomsmeding> | mastarija: yes, but ghcup does that for you |
| 07:29:23 | <tomsmeding> | or, well, ghcup has precompiled versions that you just download :p |
| 07:29:27 | <mastarija> | what about windows :D |
| 07:29:35 | <tomsmeding> | but a separate executable for each ghc version |
| 07:29:37 | <Axman6> | Just don't :P |
| 07:29:40 | <mastarija> | I've seen there's ghcup for it now |
| 07:29:44 | <tomsmeding> | doesn't ghcup run on windows? |
| 07:29:50 | <Cajun> | tomsmeding: what is automatic differentiation? that sounds really cool yet really complex lol |
| 07:29:51 | <mastarija> | Don't know |
| 07:30:16 | <mastarija> | I manually manage my GHCs, and I've been using ghcid and repl for my development so far |
| 07:30:20 | <tomsmeding> | Cajun: given a program that implements a function Double -> Double, produce a program that implements the numerical derivative of that function |
| 07:30:32 | <tomsmeding> | and then generalised to arrays/tuples of doubles on both sides |
| 07:30:46 | <zyklotomic> | tomsmeding: wait, what i think iwant, is to restrict the intmap to a specific newtype |
| 07:31:17 | <zyklotomic> | i think that is slightly different |
| 07:31:19 | <tomsmeding> | Cajun: the backpropagation algorithm for neural networks is a special case of applying AD on the forward computation function for the network |
| 07:31:34 | <Cajun> | mastarija: why not use WSL for haskell/programming? |
| 07:31:45 | <Cajun> | its pretty painless aside from the initial setup |
| 07:31:53 | <Axman6> | zyklotomic: newtype MyIntMap a = MyIntMap (IntMap a), and then things like insert become insert = coerce (IntMap.insert) |
| 07:32:25 | × | gehmehgeh quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 07:32:41 | <mastarija> | Cajun: I use it for certain things, but It's annoying to live within the subsystem and its file system |
| 07:32:49 | <tomsmeding> | where you can e.g. choose insert :: Vertex -> a -> MyIntMap a -> MyIntMap a |
| 07:32:58 | <mastarija> | If I use an OS I prefer to do stuff in it, not some VM |
| 07:32:59 | <Cajun> | tomsmeding: that doesnt sound easy :p , so its basically like getting `Num a -> a -> a` out of `Double -> Double` along with other derivations if im understanding you correctly? |
| 07:33:02 | × | leah2 quits (~leah@vuxu.org) (Quit: trotz alledem!) |
| 07:33:06 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 07:33:14 | → | leah2 joins (~leah@vuxu.org) |
| 07:34:09 | <tomsmeding> | Cajun: you can implement AD as a source-code transformation (e.g. what Tensorflow XLA does), or as a more runtime-oriented thing based on program instrumentation (e.g. what Tensorflow Eager and PyTorch do iirc) |
| 07:34:24 | <tomsmeding> | I can explain more if you wish, but perhaps move to #haskell-offtopic then :p |
| 07:34:24 | <Cajun> | mastarija: thats fair, the hassle is real when moving files from windows to WSL |
| 07:34:48 | <mastarija> | Cajun: + haskell works very well on windows, I have no complaints. Main reason I don't use language server is because it is tied to a specific GHC version |
| 07:35:01 | <zyklotomic> | Axman6, tomsmeding: thanks, i get it now, and that seems to be the EnumMap package |
| 07:35:01 | <mastarija> | ghcid doesn't really mind |
| 07:35:27 | <tomsmeding> | Axman6: ah Grenade seems to already implement AD |
| 07:35:36 | <Cajun> | tomsmeding: thats going way above my understanding of CS/DL so it would probably be like talking to a brick wall lol |
| 07:35:51 | × | aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net) |
| 07:36:00 | <tomsmeding> | I have a nice simple example for it :) |
| 07:36:06 | → | aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 07:36:07 | <tomsmeding> | also it's not DL at all |
| 07:36:23 | <tomsmeding> | like, I previously said that I know almost nothing about DL, and yet I'm doing a PhD that relates to AD |
| 07:36:35 | <Cajun> | oh nice, then go ahead and send it in #haskell-offtopic :) |
| 07:40:21 | → | oxide joins (~lambda@user/oxide) |
| 07:43:21 | → | ByronJohnson joins (~bairyn@mail.digitalkingdom.org) |
| 07:48:18 | × | yoctocell quits (~user@h87-96-130-155.cust.a3fiber.se) (Ping timeout: 272 seconds) |
| 07:54:07 | → | timCF joins (~timCF@200-149-20-81.sta.estpak.ee) |
| 07:55:02 | → | curiousgay joins (~curiousga@77-120-186-48.kha.volia.net) |
| 07:55:13 | <timCF> | Hello! Is there any "standard" type in Haskell similar to `Either a b` but which represents 3 options, not just 2? |
| 07:56:04 | <tomsmeding> | Axman6: grenade looks pretty cool; from my brief look, I think writing an accelerate backend for that would involve extending the Layer class to have run functions that live within the Accelerate EDSL |
| 07:56:44 | <Taneb> | timCF: there's nothing like that in base and I don't think there's a commonly accepted alternative |
| 07:56:57 | <timCF> | Taneb: thanks! |
| 07:57:09 | <Taneb> | You could do Either (Either a b) c |
| 07:59:03 | → | Katarushisu joins (~Katarushi@cpc147334-finc20-2-0-cust27.4-2.cable.virginm.net) |
| 07:59:18 | SquidDev0 | is now known as SquidDev |
| 08:01:22 | → | Shires joins (~Shires@user/shires) |
| 08:04:07 | × | mastarija quits (~mastarija@78-3-210-70.adsl.net.t-com.hr) (Quit: Leaving) |
| 08:06:02 | → | hendursa1 joins (~weechat@user/hendursaga) |
| 08:07:41 | <Akronymus> | I personally would make a new type named something like OneOfThree which has 3 possible values. |
| 08:08:00 | <Akronymus> | Altough, I don't really know much if anything. |
| 08:08:36 | × | hendursaga quits (~weechat@user/hendursaga) (Ping timeout: 244 seconds) |
| 08:09:37 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 248 seconds) |
| 08:09:43 | <tomsmeding> | data France a b c = Blue a | White b | Red c |
| 08:15:05 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 08:17:37 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 08:17:39 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 08:17:42 | allbery_b | is now known as geekosaur |
| 08:18:02 | → | hegstal joins (~hegstal@2a02:c7f:7604:8a00:54d9:a686:a64c:8cd9) |
| 08:22:24 | → | fendor joins (~fendor@213162073184.public.t-mobile.at) |
| 08:25:52 | × | elf_fortrez quits (~elf_fortr@adsl-72-50-4-118.prtc.net) (Ping timeout: 246 seconds) |
| 08:28:07 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 08:28:36 | × | hnOsmium0001 quits (uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 08:28:43 | → | glguy joins (x@libera/staff/glguy) |
| 08:29:30 | xerox_ | is now known as xerox |
| 08:42:59 | × | asm quits (~alexander@burner.asm89.io) (Changing host) |
| 08:42:59 | → | asm joins (~alexander@user/asm) |
| 08:51:45 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 08:54:32 | × | anandprabhu quits (~anandprab@94.202.243.198) (Quit: Leaving) |
| 08:57:01 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 09:02:03 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 09:02:08 | × | EPic_ quits (apic@apic.name) (Quit: Reconnecting) |
| 09:02:14 | → | APic joins (apic@apic.name) |
| 09:05:31 | → | neceve joins (~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) |
| 09:08:22 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 09:12:12 | × | fendor quits (~fendor@213162073184.public.t-mobile.at) (Read error: Connection reset by peer) |
| 09:12:25 | → | fendor_ joins (~fendor@213162073184.public.t-mobile.at) |
| 09:12:54 | → | Boomerang joins (~Boomerang@xd520f68c.cust.hiper.dk) |
| 09:14:44 | → | fendor joins (~fendor@213162073184.public.t-mobile.at) |
| 09:14:57 | × | fendor_ quits (~fendor@213162073184.public.t-mobile.at) (Read error: Connection reset by peer) |
| 09:20:47 | × | azeem quits (~azeem@dynamic-adsl-84-220-236-17.clienti.tiscali.it) (Ping timeout: 252 seconds) |
| 09:21:10 | → | azeem joins (~azeem@176.200.221.32) |
| 09:22:02 | × | ByronJohnson quits (~bairyn@mail.digitalkingdom.org) (Ping timeout: 272 seconds) |
| 09:28:01 | → | ByronJohnson joins (~bairyn@mail.digitalkingdom.org) |
| 09:36:01 | × | azeem quits (~azeem@176.200.221.32) (Ping timeout: 248 seconds) |
| 09:38:12 | → | abrar_ joins (~abrar@static-108-2-152-54.phlapa.fios.verizon.net) |
| 09:38:30 | → | azeem joins (~azeem@176.200.221.32) |
| 09:41:52 | → | jmorris joins (~jmorris@2001:19f0:5801:170:5400:3ff:fe81:62fe) |
| 09:43:49 | × | random-jellyfish quits (~Guest71@217.156.31.64) (Changing host) |
| 09:43:49 | → | random-jellyfish joins (~Guest71@user/random-jellyfish) |
| 09:46:43 | × | Akronymus quits (~Akronymus@85.31.8.181) (Ping timeout: 246 seconds) |
| 09:47:35 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 09:47:56 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 09:48:45 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Remote host closed the connection) |
| 09:49:18 | × | Shires quits (~Shires@user/shires) (Quit: leaving) |
| 09:49:19 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 09:49:25 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 09:52:23 | → | lavaman joins (~lavaman@98.38.249.169) |
| 09:53:52 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Ping timeout: 258 seconds) |
| 09:54:16 | × | neceve quits (~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) (Read error: Connection reset by peer) |
| 09:56:56 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 258 seconds) |
| 09:57:53 | → | pe200012 joins (~pe200012@113.105.10.33) |
| 09:59:01 | → | vysn joins (~vysn@user/vysn) |
| 09:59:07 | → | Gurkenglas joins (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
| 09:59:23 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 10:01:39 | → | raoul joins (~raoul@95.179.203.88) |
| 10:01:53 | → | Akronymus joins (~Akronymus@85.31.8.181) |
| 10:03:45 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 248 seconds) |
| 10:04:46 | × | Gurkenglas quits (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 268 seconds) |
| 10:05:21 | × | phma quits (~phma@host-67-44-208-203.hnremote.net) (Read error: Connection reset by peer) |
| 10:05:58 | <kuribas> | is there no library to read/write odf? |
| 10:06:04 | <kuribas> | (open document format) |
| 10:06:26 | <kuribas> | I only found a java library |
| 10:06:51 | → | phma joins (~phma@host-67-44-208-49.hnremote.net) |
| 10:07:52 | <maerwald[m]> | Java libraries are usually rock solid, I'd go with that |
| 10:08:17 | → | yoctocell joins (~user@h87-96-130-155.cust.a3fiber.se) |
| 10:09:54 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 10:15:27 | <Arahael> | Curious, that :) |
| 10:16:30 | × | azeem quits (~azeem@176.200.221.32) (Ping timeout: 272 seconds) |
| 10:19:56 | <[exa]> | kuribas: unzip |
| 10:20:23 | → | azeem joins (~azeem@176.200.221.32) |
| 10:22:05 | <kuribas> | [exa]: and then? :-P |
| 10:23:32 | <kuribas> | parse a big XML? |
| 10:27:48 | → | lavaman joins (~lavaman@98.38.249.169) |
| 10:27:57 | × | azeem quits (~azeem@176.200.221.32) (Read error: Connection reset by peer) |
| 10:28:03 | → | Gurkenglas joins (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
| 10:28:18 | <kuribas> | hmm "content.xml, the most important file, carries the actual content of the document (except for binary data, such as images). The base format is inspired by HTML, and though far more complex, it should be reasonably legible to humans:" |
| 10:28:54 | → | azeem joins (~azeem@dynamic-adsl-84-220-236-17.clienti.tiscali.it) |
| 10:32:01 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 248 seconds) |
| 10:39:06 | × | azeem quits (~azeem@dynamic-adsl-84-220-236-17.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 10:39:38 | → | burnside_ joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 10:39:38 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Read error: Connection reset by peer) |
| 10:40:01 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 248 seconds) |
| 10:41:11 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 10:43:29 | → | azeem joins (~azeem@dynamic-adsl-84-220-236-17.clienti.tiscali.it) |
| 10:43:29 | × | burnside_ quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Read error: Connection reset by peer) |
| 10:43:33 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 10:44:26 | <[exa]> | kuribas: "reasonably legible to humans" is likely as with the rest of XML :D |
| 10:44:45 | → | wolfshappen joins (~waff@irc.furworks.de) |
| 10:45:06 | <[exa]> | btw can't you convert to RTF, do the stuff with pandoc, and convert back? |
| 10:46:06 | <lechner> | tomsmeding: thanks! |
| 10:46:50 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 10:47:31 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 10:49:01 | × | wei2912 quits (~wei2912@112.199.250.21) (Quit: Lost terminal) |
| 10:50:41 | → | lavaman joins (~lavaman@98.38.249.169) |
| 10:50:45 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 10:51:23 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 10:52:52 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 10:53:23 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 10:57:50 | → | henninb joins (~henninb@63-228-51-113.mpls.qwest.net) |
| 11:00:50 | × | azeem quits (~azeem@dynamic-adsl-84-220-236-17.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 11:01:50 | × | wolfshappen quits (~waff@irc.furworks.de) (Quit: later) |
| 11:02:14 | → | wolfshappen joins (~waff@irc.furworks.de) |
| 11:03:38 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 11:04:59 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Remote host closed the connection) |
| 11:05:29 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 11:05:41 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 11:06:16 | → | azeem joins (~azeem@dynamic-adsl-84-220-236-17.clienti.tiscali.it) |
| 11:08:36 | → | AlexNoo_ joins (~AlexNoo@178.34.162.152) |
| 11:09:36 | × | Cajun quits (~Cajun@user/cajun) (Quit: Client closed) |
| 11:10:08 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Ping timeout: 256 seconds) |
| 11:10:55 | × | AlexZenon quits (~alzenon@178.34.160.135) (Ping timeout: 258 seconds) |
| 11:10:55 | × | Alex_test quits (~al_test@178.34.160.135) (Ping timeout: 258 seconds) |
| 11:10:57 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 248 seconds) |
| 11:11:50 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 11:12:52 | × | AlexNoo quits (~AlexNoo@178.34.160.135) (Ping timeout: 272 seconds) |
| 11:14:43 | → | Alex_test joins (~al_test@178.34.162.152) |
| 11:14:45 | → | AlexZenon joins (~alzenon@178.34.162.152) |
| 11:16:23 | × | fendor quits (~fendor@213162073184.public.t-mobile.at) (Remote host closed the connection) |
| 11:17:30 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 11:17:40 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 11:18:31 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 11:21:31 | → | lavaman joins (~lavaman@98.38.249.169) |
| 11:23:05 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 11:23:49 | AlexNoo_ | is now known as AlexNoo |
| 11:24:08 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 11:25:04 | × | lechner quits (~lechner@debian/lechner) (Remote host closed the connection) |
| 11:25:53 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 248 seconds) |
| 11:25:59 | → | lechner joins (~lechner@debian/lechner) |
| 11:29:35 | <tromp> | how do i output the unicode character λ from my Haskell code? ghci says 'λ' is '\955' but that comes out as ? on my console |
| 11:29:56 | × | lechner quits (~lechner@debian/lechner) (Client Quit) |
| 11:30:20 | <bitdex> | /exit/exit |
| 11:30:22 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 11:30:22 | → | lechner joins (~lechner@debian/lechner) |
| 11:30:43 | <merijn> | tromp: Because ghci goes through show |
| 11:31:01 | <merijn> | tromp: And show does escaping |
| 11:31:15 | <merijn> | Compare lambdabot's behaviour: |
| 11:31:18 | <merijn> | > "λ" |
| 11:31:19 | <lambdabot> | "\955" |
| 11:31:21 | <merijn> | > text "λ" |
| 11:31:23 | <lambdabot> | λ |
| 11:31:47 | <tromp> | how to put that lambda in a string literal? |
| 11:31:52 | <merijn> | Or, locally, compare the result of: 'print "λ"' and 'putStrLn "λ"' |
| 11:32:05 | × | lechner quits (~lechner@debian/lechner) (Remote host closed the connection) |
| 11:32:13 | <hpc> | if it's coming out as ?, it's not string escaping - are you on windows using cmd.exe or something? |
| 11:32:18 | <merijn> | tromp: You can just write it in a string literal, but you gotta make sure you are calling *show* on strings |
| 11:32:26 | <merijn> | ah, wait |
| 11:32:27 | <tromp> | no, i'm on MacOS |
| 11:32:31 | → | lechner joins (~lechner@debian/lechner) |
| 11:32:33 | <merijn> | tromp: Oh! |
| 11:32:40 | <merijn> | tromp: Your locale is fucked |
| 11:32:53 | <merijn> | tromp: Because there's no sensible one configured by default in macOS |
| 11:33:02 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 245 seconds) |
| 11:33:06 | <merijn> | tromp: Pastebin the output of running "locale" in your shell |
| 11:33:18 | <tromp> | so i can cut and paste lambdas fine but not output them from a program?? |
| 11:33:40 | <merijn> | tromp: You can, when you configure your shell to not be broken :p |
| 11:33:47 | <tromp> | LANG="en_US.UTF-8" |
| 11:33:48 | <tromp> | LC_COLLATE="en_US.UTF-8" |
| 11:33:48 | <tromp> | LC_CTYPE="en_US.UTF-8" |
| 11:33:48 | <tromp> | LC_MESSAGES="en_US.UTF-8" |
| 11:33:48 | <tromp> | LC_MONETARY="en_US.UTF-8" |
| 11:33:48 | <tromp> | LC_NUMERIC="en_US.UTF-8" |
| 11:33:49 | <tromp> | LC_TIME="en_US.UTF-8" |
| 11:33:49 | <tromp> | LC_ALL= |
| 11:34:24 | <merijn> | On my mac I have "LC_ALL" set to "en_US.UTF-8" too |
| 11:34:45 | <[exa]> | tromp: you might want to pastebin the multiline pastes |
| 11:35:05 | <merijn> | (and double check in Terminal.app settings under "Profiles -> Advanced" to ensure the text encoding is UTF-8) |
| 11:35:26 | <merijn> | tromp: You should try running: export LC_ALL="en_US.UTF-8" |
| 11:35:31 | <merijn> | and check if it works then |
| 11:35:55 | × | lechner quits (~lechner@debian/lechner) (Client Quit) |
| 11:36:11 | <tromp> | no, still comes out as ? |
| 11:36:22 | → | lechner joins (~lechner@debian/lechner) |
| 11:36:44 | <tromp> | @exa, i would have for longer pastes but this seems still barely acceptable |
| 11:37:12 | <hpc> | maybe LANGUAGE=en_US:en |
| 11:37:34 | <hpc> | (i have that on linux) |
| 11:37:58 | → | fm joins (~fm@user/fm) |
| 11:38:40 | <[exa]> | tromp: well yeah, but be careful with that, anything over 2 lines is frowned upon on IRC :] |
| 11:39:03 | <tromp> | thanks, will try to keep that in mind... |
| 11:39:46 | <[exa]> | like, not a problem now, but when the channel is busy and people start pasting stuff, it becomes really unusuable |
| 11:42:40 | <hpc> | maybe it's not the locale, it's a terminal emulator setting? |
| 11:42:42 | → | Guest4514 joins (~Guest45@2001:8004:2728:3231:22e8:8df9:c65:5ea) |
| 11:44:00 | <merijn> | tromp: Did you check the Terminal.app settings like I said? |
| 11:44:14 | <merijn> | Also, how are you outputting? |
| 11:44:19 | × | Akronymus quits (~Akronymus@85.31.8.181) (Ping timeout: 246 seconds) |
| 11:45:08 | <tromp> | where do i find Profiles? |
| 11:45:10 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 11:45:10 | <timCF> | Hello guys! I have a very strange question. I do have a friend of my age ~30 years who is interested in learning programming, but he never was professional software developer. He is asking advise which language to use to learn programming. Of cource we all know that Haskell is the ultimate destination for every software developer - once developer did tried it for real, there is no way back. But I'm |
| 11:45:16 | <timCF> | thinking does it make sense for a person to use Haskell as a first programming language? Of course it saves him time to avoid re-learning in the future, but maybe software developer **have to personally** feel absence or sum-types, errors like NullPointerException, "undefined is not a function", callback hells etc to actually **value** Haskell? |
| 11:45:31 | <merijn> | timCF: Depends on his goals |
| 11:46:19 | <merijn> | timCF: FWIW, I made my girlfriend learn Haskell as first real programming language (she had a very small amount of experience with obscure, proprietary simulation languages from geoscience) and it went fine, imo |
| 11:46:47 | <tromp> | i'm doing putString "... \955 ..." |
| 11:47:24 | → | Akronymus joins (~Akronymus@85.31.8.181) |
| 11:47:52 | <merijn> | What is putString? |
| 11:48:17 | × | Obo quits (~roberto@70.pool90-171-81.dynamic.orange.es) (Ping timeout: 248 seconds) |
| 11:48:39 | <tromp> | sorry, meant putStrLnm |
| 11:48:46 | <tromp> | putStrLn |
| 11:49:22 | <tromp> | oh, maybe it's because I do hSetBinaryMode stdout True ? |
| 11:49:53 | <tromp> | btw, Terminal Preferences -> Advanced shows Text encoding Unicode (UTF-8) |
| 11:49:54 | <timCF> | merijn: He wants to change job from oil industry to more pleasant software development. Salary is important, but he definitely is ready to sacrifice some part of it initially. He said important part is having good courses and job offers. I'm not sure about good Haskell courses for beginners, as well as junior Haskell job offers (have never seen them). |
| 11:50:00 | <merijn> | tromp: Eh, yes |
| 11:50:15 | <merijn> | hSetBinaryMode sets encoding to char8, according to the docs |
| 11:50:31 | <merijn> | tromp: So that will turn all non-ascii into garbage |
| 11:50:46 | <merijn> | Not sure what you were expecting :p |
| 11:50:52 | <tromp> | ah, let me try without that then |
| 11:50:52 | <hpc> | huh, i would have figured that would just affect windows newlines |
| 11:51:04 | <merijn> | hpc: "This has the same effect as calling hSetEncoding with char8, together with hSetNewlineMode with noNewlineTranslation." |
| 11:51:42 | <tromp> | ok, got my lambdas now! |
| 11:52:12 | <tromp> | funny; crypto ppl want lambos; I'm happy just with lambdas :-) |
| 11:55:14 | <tomsmeding> | timCF: recommending Haskell as a first programming language to someone who values a career doesn't sound like an amazing idea |
| 11:55:41 | → | derelict joins (~derelict@user/derelict) |
| 11:55:59 | <tomsmeding> | unless he's ready to spend a very large amount of time to become basically an experienced software developer before getting a good job :p |
| 11:56:23 | <tomsmeding> | but I can't speak from experience here, so take what I say with a grain of salt |
| 11:58:08 | <timCF> | tomsmeding: there is no right answer, thanks for sharing your opinion! |
| 11:59:49 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 11:59:59 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 12:00:19 | <timCF> | I came to Haskell from Erlang, and transition was relatively easy. So simple untyped language like Erlang, Lua or Python might work for him as well. |
| 12:01:16 | <timCF> | Just to get started. But this might go very wrong as well, haha. |
| 12:01:18 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 12:01:28 | <hpc> | i think either way an employer is going to have to be understanding of him being very new to programming |
| 12:02:03 | <merijn> | otoh |
| 12:02:07 | <hpc> | the difference between "knows a bit of the language the job uses, but nothing else" and "knows a bit of some other language, but nothing else" isn't that much |
| 12:02:36 | → | Obo joins (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 12:02:37 | <hpc> | so might as well try and solve the "but nothing else" problem faster instead |
| 12:03:01 | <merijn> | My girlfriend did an 8 month intense course to get a bachelor in programming and that program had her already hired before she finished (in the condition of graduating, that is) |
| 12:03:35 | <merijn> | So, at least over here you can pretty easily get a job with no experience if you have even a bit of aptitude :p |
| 12:04:02 | <timCF> | merijn: You said she is using Haskell? What university is this? |
| 12:04:10 | <merijn> | Naah, that's unrelated :p |
| 12:04:25 | <merijn> | That program was Java, because, duh :p |
| 12:04:40 | <timCF> | Ah, I see. Just hoped that there are some valuable Haskell courses for beginners) |
| 12:04:42 | <merijn> | But I was teaching her Haskell in the months before |
| 12:04:49 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Ping timeout: 248 seconds) |
| 12:06:12 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 276 seconds) |
| 12:06:33 | <merijn> | timCF: It was a program started by a bunch of IT companies struggling to hire people together with some of the "university" of applied sciences (for lack of a better term) based on their 4 year bachelor program |
| 12:08:23 | × | APic quits (apic@apic.name) (Read error: error:1408F10B:SSL routines:ssl3_get_record:wrong version number) |
| 12:12:24 | × | azeem quits (~azeem@dynamic-adsl-84-220-236-17.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 12:13:30 | → | APic joins (apic@apic.name) |
| 12:13:48 | × | Guest4514 quits (~Guest45@2001:8004:2728:3231:22e8:8df9:c65:5ea) (Quit: Client closed) |
| 12:18:00 | × | Obo quits (~roberto@70.pool90-171-81.dynamic.orange.es) (Ping timeout: 258 seconds) |
| 12:19:46 | × | hyiltiz quits (~quassel@31.220.5.250) (Ping timeout: 240 seconds) |
| 12:22:25 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 12:22:28 | → | hyiltiz joins (~quassel@31.220.5.250) |
| 12:22:46 | <kuribas> | Is there a named Monad that is equivalent to (,)? |
| 12:23:07 | <kuribas> | to (a,) I mean. |
| 12:23:09 | <earthy> | Interesting. We set up such a program ourselves... and we do teach a bit of Haskell... |
| 12:23:35 | → | cheater joins (~Username@user/cheater) |
| 12:23:46 | <[exa]> | kuribas: Const and Writer are kinda similar, in ways |
| 12:23:54 | <[exa]> | (random thought ^) |
| 12:23:55 | <merijn> | kuribas: Eh, that's Writer :p |
| 12:24:03 | <kuribas> | ah right :-) |
| 12:24:14 | <earthy> | (then again, our program is 18 months, not 8, and we hire people into the program) |
| 12:24:27 | → | azeem joins (~azeem@dynamic-adsl-84-220-236-17.clienti.tiscali.it) |
| 12:25:12 | <merijn> | earthy: Well, this program has a bunch of in-take meetings and a job fair with prospective employers and you only really get to start if one of them already agreed to hire you at the start, it seems to work out fairly well |
| 12:25:38 | <earthy> | sounds like a bootcamp-like program done reasonably well |
| 12:25:57 | <kuribas> | no, because "WriterT [Int] Maybe" is equal to Maybe ([Int], a), not ([Int], Maybe a) |
| 12:26:08 | <kuribas> | The second I am interested in... |
| 12:28:15 | <earthy> | AccumT? |
| 12:28:56 | <earthy> | Still not what you want. |
| 12:28:59 | <merijn> | kuribas: Sounds like you just want State, tbh |
| 12:29:07 | earthy | nods |
| 12:29:25 | <kuribas> | > liftA2 (liftA2 (+)) ([1], Nothing) ([2::Int], Just 1) |
| 12:29:27 | <lambdabot> | ([1,2],Nothing) |
| 12:29:40 | <kuribas> | > liftA2 (liftA2 (+)) ([1], Just 1) ([2::Int], Just 1) |
| 12:29:42 | <lambdabot> | ([1,2],Just 2) |
| 12:29:47 | <kuribas> | I want this ^^ |
| 12:30:28 | <[exa]> | kuribas: isn't that more like MaybeT (Writer [Int]) ? |
| 12:30:58 | <kuribas> | [exa]: ah right! |
| 12:31:38 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 12:32:28 | → | berberman_ joins (~berberman@user/berberman) |
| 12:32:44 | × | berberman quits (~berberman@user/berberman) (Ping timeout: 252 seconds) |
| 12:35:48 | → | favonia joins (~favonia@user/favonia) |
| 12:35:59 | <kuribas> | Doesn't MaybeT stops writing after Nothing? |
| 12:36:06 | <kuribas> | MaybeT Writer |
| 12:36:16 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Ping timeout: 256 seconds) |
| 12:37:09 | <kuribas> | That would give ([1], Nothing) then |
| 12:37:53 | → | acidjnk joins (~acidjnk@p200300d0c72b9517f81283fc8b5e04b5.dip0.t-ipconnect.de) |
| 12:38:57 | × | oxytocat quits (~alloca@2a03:4000:f:7ca:7407:d1ff:fe34:8cd0) (Changing host) |
| 12:38:57 | → | oxytocat joins (~alloca@user/suppi) |
| 12:39:33 | <dibblego> | so does what you want ^^ |
| 12:39:48 | <kuribas> | dibblego: no, I want ([1, 2], Nothing) |
| 12:40:25 | <kuribas> | ah, that cannot be a Monad then... |
| 12:41:26 | <dibblego> | data M a = M [Int] (Maybe a); instance Monoid M where... |
| 12:41:27 | <earthy> | You want an arrow, and &&& |
| 12:41:40 | <earthy> | or some such |
| 12:43:28 | <kuribas> | Writer Int (Maybe a) ... |
| 12:43:48 | <kuribas> | :t Const |
| 12:43:49 | <lambdabot> | forall k a (b :: k). a -> Const a b |
| 12:44:14 | <earthy> | Do you need it to be a monad? Can you get away with relaxing some of the laws? :) |
| 12:44:17 | × | dextaa quits (~DV@aftr-37-201-214-197.unity-media.net) (Quit: Ping timeout (120 seconds)) |
| 12:44:31 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 12:44:38 | → | dextaa joins (~DV@aftr-37-201-214-197.unity-media.net) |
| 12:45:22 | <kuribas> | earthy: yeah, I cannot even be a monad, because I need to collect the errors (or warnings). |
| 12:45:25 | → | Guest98 joins (~Guest98@31.4.136.211) |
| 12:46:19 | <merijn> | kuribas: Do you don't just want Validation? |
| 12:46:49 | ← | Guest98 parts (~Guest98@31.4.136.211) () |
| 12:46:49 | <merijn> | kuribas: Which is the Applicative version of Either that aggregates errors (instead of returning the first) |
| 12:47:03 | <stoicswe[m]> | V |
| 12:47:04 | → | Obo joins (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 12:47:12 | × | dextaa quits (~DV@aftr-37-201-214-197.unity-media.net) (Changing host) |
| 12:47:12 | → | dextaa joins (~DV@user/dextaa) |
| 12:47:22 | <kuribas> | merijn: I am parsing a csv, so I want to collect the original rows, and add an error collumn if the parsing fails. |
| 12:47:37 | <merijn> | kuribas: https://hackage.haskell.org/package/either-5.0.1.1/docs/Data-Either-Validation.html |
| 12:47:55 | <stoicswe[m]> | Whoops, sorry for the random ‘V’ there. I accidentally sent that. |
| 12:48:12 | <earthy> | still not a monad though. ;P |
| 12:48:34 | <earthy> | (and Validation is the exact use case indeed) |
| 12:49:02 | <kuribas> | so I have ([originalCsv], Just parsedField) or ([addError originalCsv], Nothing) |
| 12:49:18 | <merijn> | These? :p |
| 12:49:29 | <merijn> | That lets you aggregate errors *and* a result :p |
| 12:49:31 | <kuribas> | merijn: no, These also stops with an error. |
| 12:50:09 | <merijn> | kuribas: It doesn't |
| 12:50:13 | <merijn> | Only on *some* errors |
| 12:50:57 | <kuribas> | merijn: "This a" will stop he computation right? |
| 12:51:16 | <kuribas> | but ([1], Nothing) doesn't |
| 12:51:16 | <merijn> | kuribas: Yes, errors should be "These a defaultValue" |
| 12:51:24 | → | __monty__ joins (~toonn@user/toonn) |
| 12:51:53 | × | vysn quits (~vysn@user/vysn) (Ping timeout: 268 seconds) |
| 12:52:21 | <kuribas> | There is no default value |
| 12:52:36 | <kuribas> | result is Nothing if there is a single error. |
| 12:52:52 | <kuribas> | But still all original csv rows need to be aggregated. |
| 12:53:46 | → | wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 13:00:18 | × | jneira quits (~jneira@212.8.115.226) (Quit: Client closed) |
| 13:01:04 | → | alx741 joins (~alx741@181.196.68.21) |
| 13:05:30 | × | henninb quits (~henninb@63-228-51-113.mpls.qwest.net) (Quit: leaving) |
| 13:08:47 | × | mousey quits (~skymouse@gateway/tor-sasl/mousey) (Ping timeout: 244 seconds) |
| 13:09:38 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Remote host closed the connection) |
| 13:09:40 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 13:11:00 | × | cheater quits (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 13:11:40 | → | shriekingnoise joins (~shrieking@186.137.144.80) |
| 13:14:38 | × | qbt quits (~edun@user/edun) (Ping timeout: 252 seconds) |
| 13:20:04 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 13:20:28 | × | mei quits (~mei@user/mei) (Read error: Connection reset by peer) |
| 13:20:56 | → | mei joins (~mei@user/mei) |
| 13:23:29 | × | maerwald quits (~maerwald@mail.hasufell.de) (Quit: gone) |
| 13:23:52 | → | maerwald joins (~maerwald@mail.hasufell.de) |
| 13:23:58 | × | nckx quits (~nckx@tobias.gr) (Ping timeout: 272 seconds) |
| 13:24:38 | → | nckx joins (~nckx@tobias.gr) |
| 13:25:11 | × | m4lvin quits (~m4lvin@w4eg.de) (Ping timeout: 268 seconds) |
| 13:27:12 | × | xff0x quits (~xff0x@2001:1a81:5378:e300:6a47:5d73:b3fa:4d3c) (Ping timeout: 245 seconds) |
| 13:28:24 | → | xff0x joins (~xff0x@2001:1a81:5378:e300:775f:2c72:eed7:a05a) |
| 13:28:45 | → | markpythonicbitc joins (~markpytho@50.228.44.6) |
| 13:28:51 | → | m4lvin joins (~m4lvin@w4eg.de) |
| 13:34:58 | → | notzmv joins (~zmv@user/notzmv) |
| 13:40:14 | → | lavaman joins (~lavaman@98.38.249.169) |
| 13:41:41 | × | pe200012 quits (~pe200012@113.105.10.33) (Quit: Konversation terminated!) |
| 13:43:04 | → | pe200012 joins (~pe200012@218.107.49.28) |
| 13:43:36 | × | jneira_ quits (~jneira_@28.red-80-28-169.staticip.rima-tde.net) (Ping timeout: 272 seconds) |
| 13:44:33 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 248 seconds) |
| 13:47:37 | → | lbseale joins (~lbseale@user/ep1ctetus) |
| 13:48:37 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 13:53:02 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.2) |
| 13:54:45 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Ping timeout: 276 seconds) |
| 13:57:06 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 14:00:44 | × | azeem quits (~azeem@dynamic-adsl-84-220-236-17.clienti.tiscali.it) (Ping timeout: 258 seconds) |
| 14:01:55 | → | azeem joins (~azeem@176.201.12.128) |
| 14:03:04 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 14:04:12 | → | qbt joins (~edun@user/edun) |
| 14:07:25 | × | azeem quits (~azeem@176.201.12.128) (Read error: Connection reset by peer) |
| 14:07:38 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds) |
| 14:07:43 | → | Pickchea joins (~private@user/pickchea) |
| 14:09:06 | → | cheater joins (~Username@user/cheater) |
| 14:09:20 | → | azeem joins (~azeem@dynamic-adsl-84-220-236-17.clienti.tiscali.it) |
| 14:10:50 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 14:21:01 | × | lechner quits (~lechner@debian/lechner) (Quit: WeeChat 3.0) |
| 14:21:24 | → | lechner joins (~lechner@debian/lechner) |
| 14:21:40 | × | Gurkenglas quits (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
| 14:22:57 | × | curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 248 seconds) |
| 14:23:04 | × | hendursa1 quits (~weechat@user/hendursaga) (Quit: hendursa1) |
| 14:23:04 | → | shapr joins (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
| 14:23:33 | → | hendursaga joins (~weechat@user/hendursaga) |
| 14:24:14 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 14:24:31 | × | lechner quits (~lechner@debian/lechner) (Client Quit) |
| 14:24:55 | → | lechner joins (~lechner@debian/lechner) |
| 14:26:21 | × | qbt quits (~edun@user/edun) (Quit: Leaving) |
| 14:29:10 | × | son0p quits (~ff@181.136.122.143) (Remote host closed the connection) |
| 14:29:46 | × | acidjnk quits (~acidjnk@p200300d0c72b9517f81283fc8b5e04b5.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 14:32:33 | × | shapr quits (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 248 seconds) |
| 14:32:51 | <kuribas> | I'll take "Writer [CSV] (Maybe a)", as merijn Suggested, since it's more descriptive then (CSV, Maybe a) |
| 14:35:45 | <maerwald[m]> | how does viewpattern desugar in an argument `foo (fun -> a) = ...`? |
| 14:40:28 | → | amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 14:42:12 | × | waleee quits (~waleee@h-98-128-228-119.NA.cust.bahnhof.se) (Ping timeout: 245 seconds) |
| 14:43:14 | <kuribas> | foo fa = case fun fa of a -> ... |
| 14:44:20 | × | markpythonicbitc quits (~markpytho@50.228.44.6) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 14:44:31 | <merijn> | That's what I'd assume, yes |
| 14:45:03 | <merijn> | Although I wonder why it'd matter? Because that seems like it'd only matter in very contrived situations |
| 14:46:02 | × | lbseale quits (~lbseale@user/ep1ctetus) (Ping timeout: 256 seconds) |
| 14:47:23 | → | markpythonicbitc joins (~markpytho@50.228.44.6) |
| 14:50:18 | → | Guest56 joins (~Guest56@n220246223066.netvigator.com) |
| 14:51:04 | <maerwald[m]> | I was wondering if it could affect inlining |
| 14:51:15 | × | markpythonicbitc quits (~markpytho@50.228.44.6) (Client Quit) |
| 14:52:16 | <merijn> | Probably |
| 14:52:26 | <merijn> | Everything can affect inlining xD |
| 14:52:33 | <maerwald[m]> | ... |
| 14:54:29 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 14:57:42 | → | waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 14:59:23 | × | Akronymus quits (~Akronymus@85.31.8.181) (Quit: Client closed) |
| 15:01:05 | <kuribas> | > traverse Compose [([1::Int], Just (1::Int)), ([2], Nothing), ([3], Just 3)] |
| 15:01:06 | <lambdabot> | error: |
| 15:01:06 | <lambdabot> | • Data constructor not in scope: |
| 15:01:06 | <lambdabot> | Compose :: ([Int], Maybe Int) -> f b |
| 15:01:17 | <kuribas> | lambdabot: you disappoint me... |
| 15:01:36 | <kuribas> | > import Data.Functor.Compose |
| 15:01:37 | <lambdabot> | <hint>:1:1: error: parse error on input ‘import’ |
| 15:01:42 | × | wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 15:01:54 | <geekosaur> | @let import Data.Functor.Compose |
| 15:01:56 | <lambdabot> | Defined. |
| 15:02:20 | <geekosaur> | although yahb might work better here |
| 15:03:02 | → | curiousgay joins (~curiousga@77-120-186-48.kha.volia.net) |
| 15:03:39 | <raehik> | Is there a way to run the C preprocessor on a Happy .y file *before* Happy processes it? In a Stack or Cabal project |
| 15:03:50 | → | wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 15:03:53 | <geekosaur> | > traverse Compose [([1::Int], Just (1::Int)), ([2], Nothing), ([3], Just 3)] |
| 15:03:55 | <raehik> | or otherwise any idea on how to modularise multiple Happy parsers that share components |
| 15:03:55 | <lambdabot> | Compose ([1,2,3],Nothing) |
| 15:05:24 | → | fef joins (~thedawn@user/thedawn) |
| 15:06:34 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 15:06:39 | × | Guest56 quits (~Guest56@n220246223066.netvigator.com) (Quit: Client closed) |
| 15:08:49 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 248 seconds) |
| 15:10:29 | carbolymer_ | is now known as carbolymer |
| 15:10:55 | × | wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 15:11:34 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Ping timeout: 272 seconds) |
| 15:14:52 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:3af7:592d:78ca:ce31) (Quit: WeeChat 2.8) |
| 15:15:17 | <kuribas> | runWriter $ getCompose $ traverse Compose [tell [1::Int] >> pure (Just (1::Int)), tell [2] >> pure Nothing, tell [3] >> pure (Just 3)] |
| 15:15:19 | <kuribas> | > runWriter $ getCompose $ traverse Compose [tell [1::Int] >> pure (Just (1::Int)), tell [2] >> pure Nothing, tell [3] >> pure (Just 3)] |
| 15:15:21 | <lambdabot> | (Nothing,[1,2,3]) |
| 15:17:46 | → | Tuplanolla joins (~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) |
| 15:25:10 | × | random-jellyfish quits (~Guest71@user/random-jellyfish) (Ping timeout: 246 seconds) |
| 15:26:58 | → | slowButPresent joins (~slowButPr@user/slowbutpresent) |
| 15:27:54 | → | Guest71 joins (~Guest71@217.156.31.64) |
| 15:28:18 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 15:32:49 | × | Boomerang quits (~Boomerang@xd520f68c.cust.hiper.dk) (Ping timeout: 248 seconds) |
| 15:36:48 | → | mattil joins (~mattilinn@87-92-142-109.rev.dnainternet.fi) |
| 15:38:03 | → | markpythonicbitc joins (~markpytho@2601:647:5a00:35:e99d:7f37:f39a:bf6c) |
| 15:38:19 | × | mattil quits (~mattilinn@87-92-142-109.rev.dnainternet.fi) (Remote host closed the connection) |
| 15:38:41 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 248 seconds) |
| 15:38:46 | → | mattil joins (~mattilinn@87-92-142-109.rev.dnainternet.fi) |
| 15:39:05 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 15:41:07 | → | drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 15:41:12 | → | Gurkenglas joins (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
| 15:42:58 | → | hnOsmium0001 joins (uid453710@id-453710.stonehaven.irccloud.com) |
| 15:45:45 | → | mattilinnanvuori joins (~mattilinn@87-92-142-109.rev.dnainternet.fi) |
| 15:47:46 | × | barrucadu quits (~barrucadu@carcosa.barrucadu.co.uk) (Remote host closed the connection) |
| 15:49:02 | × | mattilinnanvuori quits (~mattilinn@87-92-142-109.rev.dnainternet.fi) (Remote host closed the connection) |
| 15:51:52 | → | yourname_ joins (~barrucadu@carcosa.barrucadu.co.uk) |
| 15:52:01 | <Gurkenglas> | stack install lens said a module interface file was corrupt, i deleted it and it said it was missing, i deleted the entire containing ghc folder and it said it could not find sandboxed compiler, how should i recover? |
| 15:52:27 | yourname_ | is now known as barrucadu |
| 15:52:33 | × | aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net) |
| 15:52:54 | <c_wraith> | at that point... delete the whole stack directory? |
| 15:53:14 | <tomsmeding> | kuribas: view patterns can't desugar like that, right, because they can let the pattern match go to the next definition clause if the view pattern fails |
| 15:54:37 | → | aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 15:54:38 | <merijn> | tomsmeding: So? Just nest cases |
| 15:55:01 | × | aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit) |
| 15:55:02 | <merijn> | tomsmeding: You can desugar to pattern guards fairly easily |
| 15:55:07 | <geekosaur> | and in any case multiple definitions desugar the same way |
| 15:55:15 | <geekosaur> | so it can combine them |
| 15:55:17 | × | dajoer quits (~david@user/gvx) (Quit: leaving) |
| 15:55:19 | → | aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 15:55:32 | <merijn> | "foo (bar -> Just x) = ..." -> "foo y | Just x <- bar y = ..." |
| 15:55:52 | <tomsmeding> | merijn: but then you need to desugar all the arms of a case expression into nested cases as well, if there are view patterns |
| 15:55:57 | <tomsmeding> | It works I guess |
| 15:56:12 | <tomsmeding> | Yeah it should be the same as pattern guards |
| 15:56:14 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 15:57:32 | <tomsmeding> | I think I recall that the new pattern matching algorithm in ghc (something something guards?) explicitly handles either view patterns or pattern guards |
| 15:57:34 | <Gurkenglas> | merijn, what if bar takes two arguments |
| 15:57:58 | <tomsmeding> | Ah, "lower your guards" it wad |
| 15:58:01 | <tomsmeding> | *was |
| 15:59:22 | <tomsmeding> | Actually it seems its source syntax (fig. 1) has both explicit view patterns and explicit pattern guards, with no desugaring yet |
| 16:00:10 | <merijn> | Gurkenglas: then you can't do it with ViewPatterns (the first case) |
| 16:00:17 | <tomsmeding> | And they desugar everything to something resembling pattern guards, it seems |
| 16:00:35 | <merijn> | Gurkenglas: In the 2nd pattern guards example it "Just Works" (assuming you pass the 2nd argument from somewhere) |
| 16:00:51 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 16:01:12 | → | lbseale joins (~lbseale@user/ep1ctetus) |
| 16:01:18 | <Gurkenglas> | ah, ViewPatterns is justified by x being a record of which bar is a field? |
| 16:01:29 | <Gurkenglas> | y being a record, rather |
| 16:02:06 | × | haykam quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 16:02:20 | → | haykam joins (~haykam@static.100.2.21.65.clients.your-server.de) |
| 16:02:27 | <tomsmeding> | "(e -> p)" is a pattern for type t if e is an expression of type t -> t' and p is a pattern for type t' |
| 16:02:43 | <tomsmeding> | And the resulting bindings are those from p, of course |
| 16:02:48 | × | pe200012 quits (~pe200012@218.107.49.28) (Ping timeout: 276 seconds) |
| 16:05:53 | × | charukiewicz quits (~quassel@irouteince04.i.subnet.rcn.com) (Remote host closed the connection) |
| 16:06:01 | ← | jakalx parts (~jakalx@base.jakalx.net) (Error from remote client) |
| 16:07:03 | → | charukiewicz joins (~quassel@irouteince04.i.subnet.rcn.com) |
| 16:07:48 | <merijn> | Gurkenglas: ViewPatterns allows arbitrary functions to be applied to an argument before matching |
| 16:08:06 | <Gurkenglas> | stack install ghcide says "try adding the following to your extra-deps" https://paste.tomsmeding.com/K8tfYaJS but my installation of ghcide should not be reflected in the helloworld project, since it's just local ide tooling. What should I do? |
| 16:08:20 | <merijn> | Gurkenglas: It's basically "before pattern matching this function argument, apply function bar, then match the results" |
| 16:08:43 | <merijn> | Gurkenglas: I don't use stack, but I recall that "stack install" is basically always the wrong command >.> |
| 16:10:03 | <dsal> | Yeah, even when 'stack install' is the right command, it feels quite wrong. |
| 16:10:21 | <Gurkenglas> | How do I use stack to install something? |
| 16:10:46 | <Gurkenglas> | googling finds me guides on how to install stack :3 |
| 16:11:27 | <dsal> | One question up.... What are you trying to do? |
| 16:11:32 | <geekosaur> | you only 'stack install' executables, basically |
| 16:12:16 | <Gurkenglas> | dsal, I'm trying to have an IDE for haskell, currently attempting vscode with haskell-language-server |
| 16:12:24 | <AnselmSchler[m]> | stack install just builds and then writes the binaries to local-bin-path (check with stack paths, usually ~/.local/bin) |
| 16:12:36 | <Gurkenglas> | geekosaur, ghcide is an executable :) |
| 16:12:49 | × | cheater quits (~Username@user/cheater) (Ping timeout: 248 seconds) |
| 16:13:00 | <dsal> | Oh, you're trying to install hls? I've never actually succeeded in that. You probably do want to install the program, though. |
| 16:13:12 | <Gurkenglas> | What program? |
| 16:13:19 | <dsal> | AnselmSchler[m]: People get confused when they try to install libraries. |
| 16:13:22 | <dsal> | Gurkenglas: The language server. |
| 16:13:34 | → | vysn joins (~vysn@user/vysn) |
| 16:13:39 | <merijn> | ghcup ships pre-built binaries of HLS and so do several package managers |
| 16:13:40 | <dsal> | Which I've failed to actually ever get working, so I'm whatever the opposite of an authority on that is. |
| 16:14:32 | → | Neuromancer joins (~Neuromanc@user/neuromancer) |
| 16:14:38 | <AnselmSchler[m]> | dsal: I mean, stack automatically downloads libraries, unless you’re seeking runtime deps |
| 16:14:38 | <AnselmSchler[m]> | …do shared object files not get copied? or are they not available from .local/bin? |
| 16:15:11 | <dsal> | AnselmSchler[m]: Some people think that if they want to use lens in a project, they need to 'stack install lens' |
| 16:15:25 | <Gurkenglas> | hls did that on its own when I opened a vscode folder that was a stack project with the hls vscode extension installed, i think, though it gave a ghcide error https://paste.tomsmeding.com/9kR1aGdj and told me to make sure i use the project's ghc to compile ghcide |
| 16:15:26 | <dsal> | It simultaneously doesn't solve the problem and makes things a little worse. |
| 16:15:31 | <AnselmSchler[m]> | ah OK |
| 16:15:41 | <srid[m]> | <sm> "hi srid, we wondered why you..." <- nix shouldn't be a strict requirement after 1.0 release to hackage. |
| 16:16:03 | → | jneira[m] joins (~jneira@99.red-176-87-53.dynamicip.rima-tde.net) |
| 16:16:25 | <Gurkenglas> | dsal, if "stack install lens" is basically never right because lens is a library, shouldnt it give a warning to this effect? |
| 16:16:28 | <sm> | srid: cool |
| 16:16:34 | <merijn> | Nix shouldn't be a strict requirement ever :p |
| 16:16:46 | <srid[m]> | <sm> "lechner, I got it to build..." <- yea, those libraries need to be released to hackage once out of dev phase. then a simple 'cabal install' should work |
| 16:16:55 | <AnselmSchler[m]> | Gurkenglas: good idea, cabal does this with libraries |
| 16:17:10 | <Gurkenglas> | i did just run stack install lens... |
| 16:17:14 | <srid[m]> | well, except heist which is a fork - need to convince upstream to merge that small change |
| 16:17:22 | <sm> | Gurkenglas: I think you should be letting vscode haskell extension doing the installing |
| 16:17:32 | <Gurkenglas> | because i thought "that always takes a while, might as well do it now on the side" |
| 16:17:40 | <dsal> | Gurkenglas: That'd be polite. There's probably someone out there who wants that behavior. |
| 16:17:53 | <AnselmSchler[m]> | Can you use the Nix build system outside of NixOS? Or, even, are the two unrelated? |
| 16:17:55 | <Gurkenglas> | sm, that gave an error though. maybe because of the years old history of this machine. |
| 16:18:05 | <AnselmSchler[m]> | (I’m using an Ubuntu derivative) |
| 16:18:13 | <sm> | best to figure that out I'd say.. #haskell-ide-engine has all the devs |
| 16:18:39 | <sm> | #haskell-language-server, sorry |
| 16:18:51 | <Gurkenglas> | yeah they appear to have made good use of the libera stuff |
| 16:19:25 | × | Guest71 quits (~Guest71@217.156.31.64) (Ping timeout: 246 seconds) |
| 16:19:42 | <Gurkenglas> | havent received a reply in the past 3 hours, so i thought id ask the non-hls version of the question here :) |
| 16:19:59 | AnselmSchler[m] | is now known as schuelermine[m] |
| 16:20:00 | <sm> | fair enough |
| 16:20:07 | <sm> | they'll wake up soon |
| 16:20:25 | <sm> | in vs code Output -> Haskell pane you can see diagnostics from hls |
| 16:20:34 | <sm> | I'd check for errors there and search the hls tracker |
| 16:20:39 | <Gurkenglas> | maybe i should just delete everything haskell-related except what was manually written by me and then reinstall. is there a command for that? |
| 16:21:02 | <sm> | rm -rf ~/{.cabal,.stack,.ghc} if you really don't care... |
| 16:21:21 | <sm> | but there might be some config in there worth keeping |
| 16:21:31 | → | schuelermine joins (~anselmsch@user/schuelermine) |
| 16:21:44 | <Gurkenglas> | I'm on Windows :P |
| 16:21:53 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 248 seconds) |
| 16:22:10 | <schuelermine[m]> | sm: also don’t forget rm ~/.ghcup if you use GHCup |
| 16:22:18 | <sm> | have you tried this in a brand new project ? |
| 16:23:21 | <Gurkenglas> | yeah current project is called helloworld, but i was also right in the process of trying again with hello2world in case i made it worse |
| 16:24:10 | <sm> | stack new foo, latest vscode, latest haskell extension <- should just work |
| 16:24:54 | <schuelermine> | Gurkenglas: where does GHCup, Cabal, Stack, GHC store config and cache on Windows? %APPDATA%/…? |
| 16:24:54 | <Gurkenglas> | and the primary folder i open in vscode needs to be the project folder, yes? |
| 16:24:58 | × | mattil quits (~mattilinn@87-92-142-109.rev.dnainternet.fi) (Read error: Connection reset by peer) |
| 16:25:07 | <Gurkenglas> | schuelermine, who knows? |
| 16:25:19 | <Gurkenglas> | stack should have a command for cleaning all of it up :) |
| 16:25:34 | × | schuelermine quits (~anselmsch@user/schuelermine) (Quit: WeeChat 3.2) |
| 16:25:36 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 16:25:43 | <schuelermine[m]> | same with cabal |
| 16:25:43 | <schuelermine[m]> | it’s a shame |
| 16:25:57 | → | schuelermine joins (~anselmsch@user/schuelermine) |
| 16:26:48 | × | jneira[m] quits (~jneira@99.red-176-87-53.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 16:27:53 | <Gurkenglas> | "stack nuke" |
| 16:27:56 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 16:28:09 | × | drd quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 276 seconds) |
| 16:28:54 | × | schuelermine quits (~anselmsch@user/schuelermine) (Client Quit) |
| 16:29:16 | <schuelermine[m]> | I mean not even removing everything |
| 16:29:16 | <schuelermine[m]> | just garbage collection so drives don’t get stuffed with unused packages |
| 16:29:43 | <Gurkenglas> | (which compresses all of those folders into a diff file to what would be generated automatically, so that the babbys first .hs you wrote 10 years ago stays in the archives) |
| 16:31:13 | <Gurkenglas> | But maybe "stack, I would like a sysadmin to be unable to tell whether there was ever a haskeller on this machine." |
| 16:32:03 | → | nvmd joins (~nvmd@user/nvmd) |
| 16:32:37 | <schuelermine[m]> | well that’d be called stack uninstall-stack if I got to name it |
| 16:32:43 | → | mattil joins (~mattilinn@87-92-142-109.rev.dnainternet.fi) |
| 16:37:04 | <Gurkenglas> | Alright so vscode finds no updates, hls is on 1.6.0, I did stack new foo, opened that folder in a new window, i ctrl-click on someFunc and it does nothing |
| 16:37:51 | <sm> | schuelermine: stack-clean-old is not built in, but good |
| 16:37:52 | <Gurkenglas> | There is a suggestion to replace import Lib with import Lib ( someFunc ) so it's not completely dead |
| 16:38:22 | → | wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 16:38:33 | <Gurkenglas> | sm, is stack install stack-clean-old correct in this case? |
| 16:39:06 | <sm> | yup, though usually best to run that in your home directory (to avoid a project-specific resolver) |
| 16:39:26 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 16:39:30 | → | xsperry joins (~as@user/xsperry) |
| 16:39:38 | <Gurkenglas> | unix needed :D |
| 16:39:56 | <geekosaur> | root of the drive, then |
| 16:40:19 | <sm> | Gurkenglas: where do you see that ? |
| 16:40:19 | <Gurkenglas> | no, i mean, stack install stack-clean-old tells me to add unix to my extra-deps. |
| 16:40:52 | <Gurkenglas> | They should say "Some different approaches to resolving this:" when there's actually more than one approach ._. |
| 16:40:57 | <sm> | I don't think that advice is right |
| 16:41:05 | → | cheater joins (~Username@user/cheater) |
| 16:41:39 | <sm> | ah maybe it is. stack-clean-old depends on extra which depends on unix (not unix-compat). Sorry |
| 16:41:43 | <sm> | afk |
| 16:42:59 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 16:45:38 | <Gurkenglas> | goto-definition did work in one of the previous helloworlds. stack build didnt make it start working. it works within the file but not across files. |
| 16:49:04 | → | schuelermine joins (~anselmsch@user/schuelermine) |
| 16:49:40 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 16:50:37 | <Gurkenglas> | restarting the hls server gives this output, which doesn't seem right. https://paste.tomsmeding.com/MQUCkhpo |
| 16:50:46 | <Gurkenglas> | (if i dont have a .hs open) |
| 16:52:30 | <Gurkenglas> | the "Haskell" vscode extension says it's on version 1.6.0, but the hls output says it's hls 1.3.0.0 |
| 16:52:30 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 16:54:12 | → | Pickchea joins (~private@user/pickchea) |
| 16:54:57 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 248 seconds) |
| 16:55:10 | → | mikoto-chan joins (~mikoto-ch@ip-193-121-10-50.dsl.scarlet.be) |
| 16:56:05 | → | nilweed joins (~nilweed@c-73-161-233-4.hsd1.mi.comcast.net) |
| 16:57:14 | <Gurkenglas> | When I do the same thing in WSL, the same thing happens - apparently it wasn't because of windows |
| 16:57:26 | <Gurkenglas> | except that this time goto-definition also doesn't work within-file. |
| 16:58:13 | × | azeem quits (~azeem@dynamic-adsl-84-220-236-17.clienti.tiscali.it) (Ping timeout: 258 seconds) |
| 17:00:42 | × | schuelermine[m] quits (~schuelerm@2001:470:69fc:105::d032) (Quit: Reconnecting) |
| 17:00:57 | → | schuelermine[m] joins (~schuelerm@user/schuelermine) |
| 17:01:00 | → | azeem joins (~azeem@176.201.37.131) |
| 17:01:42 | × | abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 17:01:53 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 248 seconds) |
| 17:03:19 | × | aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net) |
| 17:03:30 | × | schuelermine quits (~anselmsch@user/schuelermine) (Quit: WeeChat 3.2) |
| 17:03:42 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 17:03:47 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 17:05:08 | → | aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 17:07:20 | → | schuelermine joins (~anselmsch@user/schuelermine) |
| 17:07:30 | <lechner> | srid[m] sm: Hi, any ideas what i can do about these compilation errors for 'ema' using only cabal.project (and not stack)? Thanks! https://paste.debian.net/1207061/ |
| 17:08:35 | <lechner> | srid[m]: I am now also on Matrix now but it's very new for me. |
| 17:08:59 | × | azeem quits (~azeem@176.201.37.131) (Read error: Connection reset by peer) |
| 17:10:42 | → | Atum_ joins (~IRC@user/atum/x-2392232) |
| 17:11:01 | → | azeem joins (~azeem@dynamic-adsl-84-220-236-17.clienti.tiscali.it) |
| 17:11:25 | <schuelermine[m]> | matrix is super cool |
| 17:11:42 | × | schuelermine quits (~anselmsch@user/schuelermine) (Client Quit) |
| 17:12:33 | × | Obo quits (~roberto@70.pool90-171-81.dynamic.orange.es) (Ping timeout: 248 seconds) |
| 17:12:36 | <dminuoso> | lechner: Which part of it confuses you? |
| 17:12:48 | <dminuoso> | lechner: Try reading the error carefully, see if you can make out what the issue is. |
| 17:12:58 | <dminuoso> | I think these errors are very verbose, explicit and obvious. |
| 17:15:08 | → | fresheyeball joins (~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net) |
| 17:16:16 | <Clint> | dminuoso: it may tell him what the issue is but it doesn't tell him which ones he should be hiding to get it to build |
| 17:17:36 | × | nilweed quits (~nilweed@c-73-161-233-4.hsd1.mi.comcast.net) (Ping timeout: 272 seconds) |
| 17:18:09 | <monochrom> | "is this why this package doesn't build on hackage?" meme |
| 17:18:50 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 17:19:20 | <dminuoso> | Clint: Maybe. Im just trying to get these details from lechner. |
| 17:19:25 | Clint | nods. |
| 17:20:01 | <lechner> | do i have any control over how the imported ema is built via just the cabal.project? |
| 17:20:46 | <dminuoso> | lechner: Is `ema` listed under build-depends in one component of your cabal file? |
| 17:21:18 | <lechner> | yes |
| 17:21:40 | <dminuoso> | Is this an external dependency? Or did you vendor that package? |
| 17:21:59 | <lechner> | vendored https://dpaste.org/qExW |
| 17:22:16 | <lechner> | more significantly, i do not understand how I can fix elementary symbol clashes between Relude and System.Environment with outside build instructions |
| 17:22:55 | <dminuoso> | Mmm, there's likely a missing (or too relaxed) upper bound on relude |
| 17:23:02 | <monochrom> | In most cases that's barking up the wrong tree. |
| 17:23:13 | <dminuoso> | Inside the ema package |
| 17:23:34 | <lechner> | dminuoso: maybe stackage lags? |
| 17:23:35 | <dminuoso> | If that's the case, you can monkey patch it by introducing an appropriate constraint into your own cabal file. But it's better to fix the underlying issue upstream in the ema package. |
| 17:23:41 | <monochrom> | In the minority, what dminuoso said, perhaps you need to be very selective about versions. |
| 17:24:17 | → | jneira[m] joins (~jneira@99.red-176-87-53.dynamicip.rima-tde.net) |
| 17:24:23 | <dminuoso> | lechner: Ah, presumably ema is originally from stackage? |
| 17:24:30 | <dminuoso> | Or rather, a stack build package? |
| 17:24:42 | <dminuoso> | No idea what kind of cabal file you get from hpack. |
| 17:24:47 | <lechner> | dminuoso: the upstream author uses stack and nix while i would like to use only cabal |
| 17:25:08 | <lechner> | https://github.com/srid/emanote |
| 17:25:10 | <dminuoso> | https://github.com/srid/ema/blob/master/ema.cabal#L52 |
| 17:25:12 | <dminuoso> | Ahh indeed. |
| 17:25:54 | <dminuoso> | lechner: So ideally, you should add a tight bound to *every* package with the minor version on the correct stackage resolver this builds on. |
| 17:26:03 | <monochrom> | Well, at this point I would sign it off as "unusable on cabal and hackage". |
| 17:26:03 | <dminuoso> | For ema. |
| 17:26:06 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 268 seconds) |
| 17:26:29 | <dminuoso> | lechner: You can also introduce these constraints in your own cabal file if you insisted. Id consider it bad style, but its an option nevertheless. |
| 17:26:36 | <dminuoso> | Though, Id probably rather fork and fix the package. |
| 17:27:26 | <lechner> | can i impose the upper bound via --constraint 'relude <= X' |
| 17:27:35 | <dminuoso> | The idea being, stack build packages have implicit constraints by virtue of stackage resolvers only having cherry picked versions. It's a bit sad that hpack doesn't introduce these same constraints (such that cabal would build the same package that stack would) |
| 17:27:51 | <dminuoso> | lechner: Yes. |
| 17:28:01 | <lechner> | which X please? |
| 17:28:14 | <dminuoso> | Check the stackage resolver this is guaranteed to build on |
| 17:28:17 | <dminuoso> | And see what version it brings for relude |
| 17:28:26 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 272 seconds) |
| 17:28:29 | <lechner> | lts-19.5 |
| 17:28:33 | <lechner> | 18.5 |
| 17:29:10 | <dminuoso> | https://www.stackage.org/lts-18.5/package/relude-0.7.0.0 |
| 17:29:17 | <dminuoso> | https://www.stackage.org/lts-18.5/hoogle?q=relude |
| 17:29:30 | <dminuoso> | So you can see, the relude version on lts 18.5 is 0.7.0.0 |
| 17:29:42 | <lechner> | yaah i just found it too |
| 17:29:46 | <lechner> | yeah |
| 17:29:57 | <lechner> | happy scream |
| 17:30:07 | <dminuoso> | lechner: You should probably do this for *every* dependency |
| 17:30:25 | <dminuoso> | Even if it stlil compiles, because there could be any number of lingering bugs due to untested compabilities |
| 17:30:34 | <lechner> | it is not imposed globally? |
| 17:30:40 | <dminuoso> | (these bugs could transcend into the transitive dependency tree) |
| 17:30:48 | <dminuoso> | lechner: No I meant for every dependency of `ema` |
| 17:31:25 | <dminuoso> | the author has clearly only tested it against dependencies in 18.5, but hackage likely has more recent *major* versions for every one of those. |
| 17:31:41 | <dminuoso> | Idelaly you wouldnt use <= here either |
| 17:31:52 | <lechner> | this is for an experimental wiki for now |
| 17:32:33 | <dminuoso> | Your choice. I dont know what these libraries do, but if you depend on them, it would make sense that you want them to work right |
| 17:32:50 | <dminuoso> | As opposed to doing "unexpected things", "deleting files accidentally", "having weird bugs", or something else |
| 17:33:21 | → | skykanin joins (~skykanin@115.81-166-221.customer.lyse.net) |
| 17:33:42 | <dminuoso> | 19:31:25 dminuoso | the author has clearly only tested it against dependencies in 18.5, but hackage likely has more recent *major* versions for every one of those. |
| 17:34:27 | <dminuoso> | lechner: use ^>= as a version constraint, ideally :) |
| 17:34:36 | <lechner> | dminuoso: https://www.quora.com/Why-is-that-some-people-say-that-if-a-Haskell-program-compiles-it-probably-works?share=1 |
| 17:34:38 | <dminuoso> | so `relude ^>= 0.7.0.0` |
| 17:35:06 | <lechner> | or more appropriately, https://wiki.haskell.org/Why_Haskell_just_works |
| 17:35:22 | <dminuoso> | lechner: There's a lot of misconceptions around this "if it compiles it [probably] works" |
| 17:35:29 | <dminuoso> | In particular this only holds true for smaller code regions. |
| 17:35:40 | <dminuoso> | For entire transitive dependency graphs this quickly no longer holds. |
| 17:35:51 | <dminuoso> | Consider something like `unix` |
| 17:36:03 | <dminuoso> | Where perhaps the way a given FilePath is interpreted changes between major versions. |
| 17:36:06 | <maerwald[m]> | heh |
| 17:36:29 | <lechner> | maybe i should tighten up my prerequisites |
| 17:36:29 | <maerwald[m]> | "if it compiles it work" is specifically untrue for PVP |
| 17:36:50 | <lechner> | in other Haskell projects |
| 17:36:55 | <dminuoso> | lechner: Yes, you should. :) |
| 17:37:02 | <dminuoso> | `cabal gen-bounds` has your back |
| 17:38:23 | <lechner> | Well, this is literally a first test run if emanote has any of the features to replace the existing Debian wiki. it will be sandboxed and probably also suffers from genuine bugs |
| 17:38:29 | × | mikoto-chan quits (~mikoto-ch@ip-193-121-10-50.dsl.scarlet.be) (Quit: mikoto-chan) |
| 17:38:40 | × | lbseale quits (~lbseale@user/ep1ctetus) (Read error: Connection reset by peer) |
| 17:39:05 | → | lbseale joins (~lbseale@user/ep1ctetus) |
| 17:39:57 | <lechner> | dminuoso: i am still doing something wrong https://paste.debian.net/1207067/ |
| 17:39:59 | <dminuoso> | In my experience, "if it compiles it [probably!] works" is mostly an effect during refactoring, that after some large code restructuring, the moment everything compiles again, there's a moderately high chance of the refactor being done. |
| 17:40:04 | × | dka_ quits (~code-is-a@ns3059207.ip-193-70-33.eu) (Quit: My Ex-Girlfriend once told me: I'm not a slut, I'm just popular) |
| 17:40:17 | <dminuoso> | I want to emphasize on the "moderaly high" portion here. It's by far not a guarantee. |
| 17:40:36 | <lechner> | right now i can't even get this baby to build |
| 17:40:51 | <lechner> | and i'm sure it's safer than what i do in Perl |
| 17:40:56 | <lechner> | :) |
| 17:41:10 | <maerwald[m]> | That's really the main selling point of haskell: refactoring. Most other things are done better by other languages. |
| 17:41:22 | → | Guest7145 joins (~Guest71@217.156.31.64) |
| 17:41:23 | <geekosaur> | strong types help but are not a panacea. and in particular IO is something of a weak type because it doesn't describe what *kind* of IO is happening |
| 17:41:32 | <maerwald[m]> | But given that refactoring can and should be the biggest part of your daily work, this is a significant selling point |
| 17:41:33 | × | jneira[m] quits (~jneira@99.red-176-87-53.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 17:41:39 | <dminuoso> | 'relude ^>= 7.0.0' |
| 17:41:42 | <lechner> | i was going to say |
| 17:41:44 | <dminuoso> | should probably read 'relude ^>= 0.7.0.0' |
| 17:41:52 | → | lavaman joins (~lavaman@98.38.249.169) |
| 17:42:17 | <lechner> | thanks for catching that! |
| 17:42:26 | <maerwald[m]> | it isn't easy to get a language into the tight spot which is ease of refactoring, because too much expressivity can easily kill that property too |
| 17:42:48 | Guest7145 | is now known as random-jellyfish |
| 17:42:53 | × | random-jellyfish quits (~Guest71@217.156.31.64) (Changing host) |
| 17:42:53 | → | random-jellyfish joins (~Guest71@user/random-jellyfish) |
| 17:44:41 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 17:45:07 | <lechner> | dminuoso: i actually copied and pasted that from a constraint i no longer needed but something got lost, sorry my head is spinning https://github.com/mrkkrp/megaparsec/issues/461 |
| 17:46:24 | → | myShoggoth joins (~myShoggot@97-120-70-214.ptld.qwest.net) |
| 17:46:27 | → | MorrowM joins (~Morrow@176.12.187.199) |
| 17:46:31 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 258 seconds) |
| 17:46:38 | <lechner> | dminuoso: thanks so much! i am in business. is this a static executable i can copy to anoter machine like Golang? |
| 17:46:47 | <dminuoso> | Perhaps? |
| 17:46:54 | <myShoggoth> | Episode 1 of The Haskell Interlude podcast is liiiiiiiiive: https://haskell.foundation/podcast/ |
| 17:46:57 | <dminuoso> | It likely isnt if you dont know. |
| 17:47:08 | <dminuoso> | It takes effort to make static executables with GHC. |
| 17:47:23 | <MorrowM> | myShoggoth: Oooh |
| 17:47:29 | <tomsmeding> | lechner: run ldd on the executable |
| 17:48:18 | <tomsmeding> | myShoggoth: 🎉 |
| 17:48:30 | <srid[m]> | <lechner> "srid: I am now also on Matrix..." <- If you are on matrix, join #neuron:matrix.org |
| 17:48:30 | <lechner> | well, at 64 megs it better bring some goodies |
| 17:48:42 | <dminuoso> | lechner: This is due to some unfortunate defaults. |
| 17:48:53 | <lechner> | srid[m]: i did---with two accounts |
| 17:49:03 | <dminuoso> | If you configure your cabal globally to enable split sections and stripping, this usually gets down to acceptable sizes. |
| 17:49:22 | <tomsmeding> | was there a downside to that on linux again? |
| 17:49:43 | <srid[m]> | lechner: also see https://github.com/srid/ema-template/issues/3 |
| 17:49:51 | <tomsmeding> | ah docs say compile time and compile memory usage |
| 17:50:00 | <dminuoso> | Set `split-sections: True` in your ~/.cabal/config, and ensure you have stripping enabled in your cabal project. Note that this will recompile *all* dependencies, but it's a setting that arugably should be a cabal default. |
| 17:50:45 | <lechner> | can it create separate debug symbols? |
| 17:51:29 | <maerwald[m]> | dminuoso: probably isn't because it doesn't work on all platforms or sth |
| 17:51:44 | <geekosaur> | I don't think it creates debug symbols at all without specific configuration? |
| 17:51:57 | <dminuoso> | maerwald[m]: Oh yeah, I recall that argument and I think its flawed. Splitting sections when it's possible seems very sensible. |
| 17:52:17 | <geekosaur> | debug symbols are a recent addition to ghc |
| 17:52:28 | <dminuoso> | Forcibly blowing up executable sizes by a factor of up to 25 just for the sake of some stubbornness is weird. |
| 17:53:16 | <maerwald[m]> | I don't think any GHC dev is particularly stubborn... there are just bigger fish to fry :p |
| 17:53:22 | <dminuoso> | heh |
| 17:53:41 | <geekosaur> | this would be cabal, not ghc? |
| 17:54:10 | <lechner> | Haskell executables may not produce much unexpected runtime behavior compared to other languages |
| 17:54:56 | <dminuoso> | What do you mean exactly by unexpected runtime behavior? |
| 17:55:47 | <fresheyeball> | I am working on a new project in plutus |
| 17:55:57 | <fresheyeball> | and for some reason `cabal build` clones git repos |
| 17:56:03 | <fresheyeball> | I have never seen cabal build do this |
| 17:56:13 | <fresheyeball> | what's that all about? Is this new 3.0 stuff? |
| 17:56:36 | <lechner> | dminuoso: the need use a debugger, although maybe you do have your fair share of OOMs |
| 17:56:43 | <davean> | fresheyeball: thats cabal.project stuff, it just depends on a specific remote |
| 17:56:47 | <sclv> | yep, cabal project files let you pin against git repos and their tags or hashes |
| 17:57:11 | <sclv> | some bigger projects are making use of that a fair amount these days |
| 17:57:36 | <dminuoso> | lechner: In principle you also need to use debugging tools in Haskell. |
| 17:57:56 | <geekosaur> | there's at least one ghc bug reoort that begs to differ :þ https://gitlab.haskell.org/ghc/ghc/-/issues/163 |
| 17:57:58 | <fresheyeball> | davean: is there a way to get cabal to use the deps provided by the nix-shell instead of downloading things? |
| 17:58:01 | <maerwald[m]> | fresheyeball: cardano is full of source-repository packages. There are many libraries, but almost none or on hackage, so that's how they are pulled in |
| 17:58:07 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 17:58:20 | <davean> | fresheyeball: Not and get a working build I expect |
| 17:58:22 | <lechner> | dminuoso: i was trying to support your argument that debugging symbols may not be needed all the time |
| 17:58:33 | <dminuoso> | It's hard to say whether you need it "less" or "more". From what I gather, the wide masses rarely use debugging tools, sadly. |
| 17:58:35 | <sclv> | fresheyeball: only by changing the project file to not explicitly require those repos! |
| 17:58:46 | <lechner> | geekosaur: ouch! |
| 17:59:22 | <sclv> | lmao the famous "best bug ever" |
| 17:59:24 | <lechner> | geekosaur: i know, it happened on Windoze! |
| 17:59:57 | → | notzmv joins (~zmv@user/notzmv) |
| 18:00:01 | × | cheater quits (~Username@user/cheater) (Ping timeout: 248 seconds) |
| 18:00:05 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 18:00:14 | <lechner> | sorry, deafening silence |
| 18:01:02 | <tomsmeding> | love how there is no conversation on that ticket other than "will be fixed in a patch version" |
| 18:01:26 | × | random-jellyfish quits (~Guest71@user/random-jellyfish) (Quit: Client closed) |
| 18:01:51 | <lechner> | please let me say that i adore Microsoft's support for Haskell. sorry if i offended anyone. bad old habit |
| 18:02:39 | <lechner> | i really meant that. my apologies |
| 18:03:16 | → | cheater joins (~Username@user/cheater) |
| 18:03:22 | <maerwald[m]> | Microsoft Research |
| 18:03:23 | <maerwald[m]> | which is more like a completely independent thing |
| 18:03:42 | <lechner> | dminuoso: isn't stripping on by default? https://cabal.readthedocs.io/en/3.4/cabal-project.html#cfg-field-executable-stripping |
| 18:03:56 | <lechner> | maerwald[m]: crdeit has to be given when due |
| 18:04:09 | <dminuoso> | lechner: I dont know about your cabal installation, configuration, cabal.project/cabal.project.local |
| 18:04:10 | <lechner> | credit, sorry poor speller |
| 18:04:21 | <monochrom> | Yes, this is why the correction "MS Research" is important. |
| 18:04:54 | <dminuoso> | lechner: Which is why I said "ensure you have..." |
| 18:05:22 | <dminuoso> | And maybe this changed in cabal versions, i have no clue. |
| 18:05:26 | <maerwald[m]> | MS Research... oddly... is pretty insanely great. The projects they do, the papers, the reserachers |
| 18:05:36 | <lechner> | yeah |
| 18:05:38 | <monochrom> | Approximately the only credit for MS the parent company is the money. |
| 18:06:03 | <monochrom> | Oh the history backdrop is even more amazing. |
| 18:06:10 | <maerwald[m]> | excess money needs to be spent somehow |
| 18:06:20 | <monochrom> | In the beginning, Bell Labs was insanely great. |
| 18:06:40 | <lechner> | aside from the money, they also had the wits not to pour it into Pascal |
| 18:07:04 | → | Obo joins (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 18:07:18 | → | drewr joins (~drew@user/drewr) |
| 18:07:21 | <geekosaur> | Pascal-izing C (see ther original Windows API) isn't necessarily better thiugh |
| 18:07:45 | <monochrom> | On day, Bell the parent company became not so friendly with the research branch, so the great researchers moved to DEC Lab. |
| 18:08:10 | <monochrom> | So DEC Lab was insanely great. |
| 18:09:15 | <monochrom> | Then one day, DEC sold the lab to Compaq, and later Compaq got bought up by Dell. So the parent company, whichever it was at the time, became not so friendly to the lab, so the great researches moved to MS Research. |
| 18:09:26 | <monochrom> | So MS Research became insanely great. |
| 18:10:00 | <monochrom> | History can repeat again. If one day MS becomes unfriendly to MS Research, the great researchers can still move to another company and make it great. |
| 18:10:09 | <lechner> | i thought Apple had trademarked "insanely" |
| 18:10:28 | <lechner> | or rather "insanely great" |
| 18:11:21 | <monochrom> | Oh, Windows API being pascalish also has its historical backdrop, probably. |
| 18:11:38 | <Drew[m]1> | Compaq merged with HP, not Dell |
| 18:11:55 | <davean> | lechner: so what if they did? |
| 18:11:55 | <monochrom> | So it began with Classical MacOS choosing Pascal and giving you only a Pascal binding of its OS and GUI. |
| 18:12:20 | <lechner> | Hi, with many components linked statically into executables what does the cabal.project option for library-stripping do, please? |
| 18:12:20 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds) |
| 18:12:25 | <monochrom> | Yes Pascal was the system programming language of Mac. Fancy that. |
| 18:12:27 | → | shapr joins (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
| 18:12:48 | <davean> | monochrom: whats so weird about that? |
| 18:12:56 | <monochrom> | So, probably Bill Gates borrowed from Classic MacOS for Windows, and kept the Pascalish conventions. |
| 18:13:06 | <monochrom> | Not weird to me. |
| 18:13:31 | <monochrom> | But I like to take every chance to weird out people who think that C is "system" and/or "performant" |
| 18:13:47 | <geekosaur> | lechner: there are the external symbols needed for linking but also things like local symbols that can be used for debugging |
| 18:13:50 | <monochrom> | (In the latter case I would cite Fortran.) |
| 18:13:51 | <davean> | ok, but C isn't overly performant? |
| 18:13:53 | → | dyeplexer joins (~dyeplexer@user/dyeplexer) |
| 18:14:11 | <monochrom> | You don't deny that those delusional people exist, do you? |
| 18:14:12 | <geekosaur> | library stripping removes the latter, leaving only the ones needed to link against it |
| 18:14:16 | <davean> | and I'm not sure how either apply |
| 18:14:39 | × | fef quits (~thedawn@user/thedawn) (Ping timeout: 244 seconds) |
| 18:15:06 | geekosaur | still remembers MPW Pascal |
| 18:15:51 | <geekosaur> | and how MPW's shell behaved oddly not quite like a unix |
| 18:15:56 | <lechner> | it it okay if i also explicitly set debug-info: False for good measure? (it was not on before) |
| 18:15:59 | <davean> | monochrom: I mean, even if they did, Pascal is pretty much a C variant in a lot of ways, a very close relative |
| 18:17:56 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Quit: Leaving...) |
| 18:18:08 | <davean> | Using Pascal these days would be weird |
| 18:18:40 | <maerwald[m]> | look at hedgehog... it hask haskell code, pascal code and a few other languages :) |
| 18:18:55 | → | dka joins (~code-is-a@ns3059207.ip-193-70-33.eu) |
| 18:19:06 | <maerwald[m]> | (the game) |
| 18:19:06 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 18:19:30 | <maerwald[m]> | eh, hedgewars |
| 18:19:41 | <lechner> | sorry about the controversy. maybe i should have picked BASIC over Pascal earlier |
| 18:19:53 | <maerwald[m]> | https://github.com/hedgewars/hw |
| 18:20:10 | jess | is now known as j |
| 18:20:23 | <maerwald[m]> | the server is haskell, the client is pascal or sth |
| 18:20:28 | j | is now known as jess |
| 18:20:29 | <monochrom> | Oh, BASIC, then we can talk about Applesoft BASIC. Still with Apple. >:) |
| 18:20:30 | <davean> | lechner: BIOSs use to run BASIC? |
| 18:20:35 | <maerwald[m]> | no idea what type of drugs you need to come up with that idea |
| 18:20:58 | <maerwald[m]> | but packaging that thing for a source distro was really fun lol |
| 18:22:09 | <maerwald[m]> | so maybe that's pascals new use case |
| 18:23:04 | × | markpythonicbitc quits (~markpytho@2601:647:5a00:35:e99d:7f37:f39a:bf6c) (Ping timeout: 256 seconds) |
| 18:23:21 | → | pricly_yellow joins (~pricly_ye@2a01:620:c06f:6300::339) |
| 18:23:26 | <geekosaur> | hm, is delphi still around? |
| 18:24:20 | × | kuribas quits (~user@ptr-25vy0i7woj1hwcs7nsl.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 18:24:24 | <geekosaur> | yep. database with built in object pascal language |
| 18:25:59 | <lechner> | davean: thanks for the advice (which i think you had also offered on another day). now i'm down to 26 MB |
| 18:26:09 | <lechner> | dminuoso: thanks for the advice (which i think you had also offered on another day). now i'm down to 26 MB |
| 18:26:16 | <lechner> | davean: sorry |
| 18:26:21 | → | Guest60 joins (~Guest60@2a01cb0589202e0024fe769e33dfd141.ipv6.abo.wanadoo.fr) |
| 18:26:48 | <davean> | lechner: yah, I only optimize Haskell performance, not size :) |
| 18:26:51 | <davean> | lechner: wrong questions for me! |
| 18:27:05 | <davean> | if you want to make it faster, we can talk |
| 18:27:13 | × | myShoggoth quits (~myShoggot@97-120-70-214.ptld.qwest.net) (Ping timeout: 248 seconds) |
| 18:27:35 | <lechner> | davean: i saw your other message btw, and will get back to you when i have some ideas |
| 18:28:16 | → | qbt joins (~edun@user/edun) |
| 18:28:58 | <Guest60> | Hello. Im trying to code a little line command program using the stack template "rio". |
| 18:29:18 | <Guest60> | How would you modify the source code to ask for an argument when user call the command line program ? |
| 18:29:19 | <Guest60> | https://github.com/commercialhaskell/stack-templates/blob/master/rio.hsfiles |
| 18:29:26 | × | ezra quits (~sergal@fsf/member/ezra) (Quit: bye bye) |
| 18:29:47 | <Guest60> | i red the documentation of many libraries but i cant find a syntax that satisfy the compiler |
| 18:30:24 | <dminuoso> | START_FILE |
| 18:30:27 | <dminuoso> | What is this? :o |
| 18:30:36 | <Guest60> | i think opt parse is involve |
| 18:30:57 | <Guest60> | this is the template used to generate files |
| 18:31:38 | <monochrom> | And why is it not StartFile? <duck> |
| 18:34:47 | <tomsmeding> | dminuoso: 'stack init' template, like 'cabal init' but different |
| 18:36:21 | <Guest60> | the code involve shold be this file : https://pastebin.com/RLhmbJTp |
| 18:36:27 | → | myShoggoth joins (~myShoggot@97-120-70-214.ptld.qwest.net) |
| 18:36:32 | <Guest60> | involved should* |
| 18:37:46 | → | markpythonicbitc joins (~markpytho@2601:647:5a00:35:112f:f355:ed76:9e65) |
| 18:38:51 | × | dyeplexer quits (~dyeplexer@user/dyeplexer) (Remote host closed the connection) |
| 18:40:12 | jackhill_ | is now known as jackhill |
| 18:40:29 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 18:41:29 | <Guest60> | more precisely i guess it should be around line 18 |
| 18:41:37 | × | MorrowM quits (~Morrow@176.12.187.199) (Ping timeout: 248 seconds) |
| 18:41:54 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 18:42:33 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 18:45:14 | × | waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 268 seconds) |
| 18:45:57 | → | lavaman joins (~lavaman@98.38.249.169) |
| 18:46:38 | <tomsmeding> | Guest60: what kind of argument do you want the program to take? |
| 18:47:09 | → | waleee joins (~waleee@h-98-128-228-119.NA.cust.bahnhof.se) |
| 18:47:32 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds) |
| 18:48:16 | <Guest60> | @tomsmeding i expect user to pass one letter |
| 18:48:16 | <lambdabot> | Unknown command, try @list |
| 18:48:41 | <Guest60> | tomsmeding: so a string or a char i guess |
| 18:49:05 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 248 seconds) |
| 18:50:06 | <tomsmeding> | Guest60: that Options constructor is from the Options datatype in src/Types.hs |
| 18:50:30 | <tomsmeding> | I recommend reading the optparse-applicative tutorial at https://github.com/pcapriotti/optparse-applicative |
| 18:50:52 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 18:51:02 | <tomsmeding> | of that, you can skip the whole execParser, <**>, helper etc things, and just read the Parser parts |
| 18:51:26 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 18:51:45 | <tomsmeding> | because that fourth argument to simpleOptions is a Parser ( https://hackage.haskell.org/package/optparse-simple-0.1.1.4/docs/Options-Applicative-Simple.html#v:simpleOptions ) |
| 18:54:18 | × | degraafk quits (sid71464@id-71464.tooting.irccloud.com) (Ping timeout: 240 seconds) |
| 18:55:11 | → | degraafk joins (sid71464@id-71464.tooting.irccloud.com) |
| 18:55:54 | × | aria quits (sid380617@id-380617.tooting.irccloud.com) (Ping timeout: 240 seconds) |
| 18:56:01 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.7.2+deb3 - https://znc.in) |
| 18:56:17 | → | haritz joins (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) |
| 18:56:17 | × | haritz quits (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) (Changing host) |
| 18:56:17 | → | haritz joins (~hrtz@user/haritz) |
| 18:56:23 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 18:58:43 | → | aria joins (sid380617@id-380617.tooting.irccloud.com) |
| 18:59:01 | → | Cajun joins (~Cajun@user/cajun) |
| 19:00:03 | <Guest60> | tomsmeding: ill check at this, thanks ! |
| 19:03:37 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 19:08:17 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 248 seconds) |
| 19:08:26 | × | curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 272 seconds) |
| 19:09:52 | → | jneira_ joins (~jneira_@28.red-80-28-169.staticip.rima-tde.net) |
| 19:09:57 | <Gurkenglas> | Is there a programming language that lets you implement ((a -> Void) -> Void) -> a? It would have to go "it must somewhere apply the (a -> Void) to an a, so lets take that a and return it instead." |
| 19:10:39 | × | mattil quits (~mattilinn@87-92-142-109.rev.dnainternet.fi) (Quit: Leaving) |
| 19:11:35 | <davean> | Gurkenglas: but thats not true? With a forall it might be |
| 19:12:24 | <tomsmeding> | Gurkenglas: why must it apply that particular function? |
| 19:12:25 | <Gurkenglas> | davean, it would be true in that language, hopefully. how would it be false? |
| 19:12:58 | <Gurkenglas> | tomsmeding, because that language does not allow one to actually have a Void |
| 19:13:16 | <Gurkenglas> | so the only place to get one is to use the given (a -> Void) |
| 19:13:33 | <tomsmeding> | because it has no knowledge of what 'a' is? |
| 19:13:56 | <Gurkenglas> | wut? no this works for String to |
| 19:14:02 | <tomsmeding> | then davean's suggestion is correct, I think: it should at least be (forall a. (a -> Void) -> Void) -> a |
| 19:14:06 | <Gurkenglas> | *too |
| 19:14:17 | <tomsmeding> | oh right |
| 19:14:29 | <tomsmeding> | but there might be another function in the environment with type Int -> Void |
| 19:14:33 | <Gurkenglas> | ((String -> Void) -> Void) -> Void, by inspecting the argument for what string it feeds into the (String -> Void) |
| 19:14:38 | <tomsmeding> | and then for a ~ Int it could just call that |
| 19:15:04 | <tomsmeding> | yeah my forall remark was incorrect |
| 19:15:37 | <tomsmeding> | heh this is double-negation elimination, which implies law of the excluded middle if I remember correctly |
| 19:15:45 | <Gurkenglas> | indeed, thats the point :) |
| 19:15:48 | <tomsmeding> | so this won't work in any language based on pure type theory |
| 19:17:23 | <Gurkenglas> | tomsmeding, if the environment contains another source of Void you'd only get a Maybe String |
| 19:17:46 | <davean> | I'd meant (forall b . (a -> b) -> b) -> a |
| 19:18:03 | <davean> | because it knows what Void is, but with forall it doesn't, and we can inject whatever b we want |
| 19:18:24 | <tomsmeding> | in which case, ($ id) suffices |
| 19:18:34 | × | pricly_yellow quits (~pricly_ye@2a01:620:c06f:6300::339) (Remote host closed the connection) |
| 19:20:01 | × | yoctocell quits (~user@h87-96-130-155.cust.a3fiber.se) (Ping timeout: 248 seconds) |
| 19:20:08 | <tomsmeding> | I wonder, given that 'a -> Void' is the usual encoding of "NOT a" in type theory, would 'forall b. a -> b' also be a valid encoding? |
| 19:20:35 | <tomsmeding> | it's at least as powerful, by substituting b = Void |
| 19:21:14 | × | Guest60 quits (~Guest60@2a01cb0589202e0024fe769e33dfd141.ipv6.abo.wanadoo.fr) (Quit: Client closed) |
| 19:21:54 | × | gentauro quits (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 19:21:58 | <tomsmeding> | i.e. is it true that for all propositions that you can curry-howard implement using the 'a -> Void' convention, you can also implement them using the 'forall b. a -> b' convention? |
| 19:22:17 | <tomsmeding> | yes, by post-composing with 'absurd' |
| 19:22:47 | → | gentauro joins (~gentauro@user/gentauro) |
| 19:23:09 | <tomsmeding> | so with that alternative encoding of "NOT a", the encoding of "NOT (NOT a) => a" in a type would be (forall b. (forall c. a -> c) -> b) -> a) |
| 19:23:18 | × | Natch quits (~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) (Remote host closed the connection) |
| 19:23:53 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 268 seconds) |
| 19:23:56 | → | Natch joins (~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) |
| 19:24:16 | <tomsmeding> | heh and then ($ id) doesn't work anymore |
| 19:24:18 | → | pricly_yellow joins (~pricly_ye@2a01:620:c06f:6300::339) |
| 19:25:36 | × | talismanick quits (~user@2601:644:8502:d700::8fb8) (Ping timeout: 272 seconds) |
| 19:25:57 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 19:26:42 | <tomsmeding> | of course it doesn't because that would be a proof that ~~a => a in type theory, and that's impossible |
| 19:30:58 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 19:31:21 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 19:31:34 | × | markpythonicbitc quits (~markpytho@2601:647:5a00:35:112f:f355:ed76:9e65) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 19:33:04 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 19:33:18 | → | Guest662 joins (~Guest66@2a01cb0589202e0024fe769e33dfd141.ipv6.abo.wanadoo.fr) |
| 19:33:19 | × | Guest662 quits (~Guest66@2a01cb0589202e0024fe769e33dfd141.ipv6.abo.wanadoo.fr) (Client Quit) |
| 19:35:02 | × | pricly_yellow quits (~pricly_ye@2a01:620:c06f:6300::339) (Remote host closed the connection) |
| 19:38:19 | SIben_ | is now known as SIben |
| 19:38:36 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 19:39:22 | → | _73 joins (~user@pool-96-252-123-136.bstnma.fios.verizon.net) |
| 19:39:49 | → | burnside_ joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 19:40:02 | ← | _73 parts (~user@pool-96-252-123-136.bstnma.fios.verizon.net) () |
| 19:40:05 | × | burnside_ quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Read error: Connection reset by peer) |
| 19:40:13 | → | burnside_ joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 19:40:19 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Read error: Connection reset by peer) |
| 19:43:22 | → | MoC joins (~moc@user/moc) |
| 19:43:44 | → | zebrag joins (~chris@user/zebrag) |
| 19:44:33 | × | Obo quits (~roberto@70.pool90-171-81.dynamic.orange.es) (Ping timeout: 248 seconds) |
| 19:44:36 | → | Pickchea joins (~private@user/pickchea) |
| 19:44:59 | → | Obo joins (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 19:47:07 | → | segfaultfizzbuzz joins (~segfaultf@157-131-253-1.fiber.dynamic.sonic.net) |
| 19:47:17 | × | Atum_ quits (~IRC@user/atum/x-2392232) (Quit: Atum_) |
| 19:48:49 | ← | segfaultfizzbuzz parts (~segfaultf@157-131-253-1.fiber.dynamic.sonic.net) () |
| 19:50:02 | → | markpythonicbitc joins (~markpytho@c-24-6-12-87.hsd1.ca.comcast.net) |
| 19:50:06 | × | zebrag quits (~chris@user/zebrag) (Remote host closed the connection) |
| 19:52:38 | × | cheater quits (~Username@user/cheater) (Ping timeout: 258 seconds) |
| 19:53:10 | → | cheater joins (~Username@user/cheater) |
| 19:54:07 | → | pschorf` joins (~user@c-73-77-28-188.hsd1.tx.comcast.net) |
| 19:54:53 | × | pschorf` quits (~user@c-73-77-28-188.hsd1.tx.comcast.net) (Remote host closed the connection) |
| 19:57:40 | → | jgeerds joins (~jgeerds@55d45555.access.ecotel.net) |
| 19:58:03 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 19:58:46 | → | pgib joins (~textual@173.38.117.78) |
| 19:59:55 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 20:00:17 | panda_man | is now known as koala_man |
| 20:02:41 | × | Obo quits (~roberto@70.pool90-171-81.dynamic.orange.es) (Ping timeout: 248 seconds) |
| 20:02:47 | ← | nova parts (novasenco@user/nova) (♥☺) |
| 20:03:07 | × | burnside_ quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Remote host closed the connection) |
| 20:03:58 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 20:05:07 | × | juhp quits (~juhp@128.106.188.220) (Ping timeout: 245 seconds) |
| 20:08:04 | → | juhp joins (~juhp@128.106.188.220) |
| 20:10:00 | × | emliunix quits (~emliunix@103.138.75.119) (Remote host closed the connection) |
| 20:10:23 | → | emliunix joins (~emliunix@2a09:bac0:23::815:bca) |
| 20:11:25 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 20:11:48 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 20:12:57 | → | Sadeq joins (~Sadeq@93.110.31.186) |
| 20:13:55 | × | Sadeq quits (~Sadeq@93.110.31.186) (Client Quit) |
| 20:14:13 | → | Sadeq joins (~Sadeq@93.110.31.186) |
| 20:15:26 | × | qbt quits (~edun@user/edun) (Quit: Leaving) |
| 20:15:39 | × | Sadeq quits (~Sadeq@93.110.31.186) (Client Quit) |
| 20:20:34 | → | pricly_yellow joins (~pricly_ye@2a01:620:c06f:6300::339) |
| 20:20:58 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 20:21:26 | <myShoggoth> | Gil Mizrahi has posted the Haskell performance tuning book proposal, please check it out, give feedback, and volunteer your expertise! |
| 20:21:26 | <myShoggoth> | https://github.com/haskellfoundation/tech-proposals/pull/9 |
| 20:22:49 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 20:29:48 | → | acidjnk joins (~acidjnk@p200300d0c72b9517f81283fc8b5e04b5.dip0.t-ipconnect.de) |
| 20:34:28 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 20:36:36 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 20:38:14 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 20:39:35 | × | pricly_yellow quits (~pricly_ye@2a01:620:c06f:6300::339) (Remote host closed the connection) |
| 20:40:20 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 20:41:05 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Ping timeout: 248 seconds) |
| 20:49:19 | → | burnsidesLlama joins (~burnsides@client-8-91.eduroam.oxuni.org.uk) |
| 20:51:20 | × | markpythonicbitc quits (~markpytho@c-24-6-12-87.hsd1.ca.comcast.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 20:51:46 | → | markpythonicbitc joins (~markpytho@2601:647:5a00:35:9c61:394:eb0f:e1ed) |
| 20:52:40 | <fresheyeball> | so I have a project where there is a cabal.project file specifiying some custom sources |
| 20:52:43 | <fresheyeball> | which is all well and good |
| 20:52:54 | <fresheyeball> | but cabal doesn't pick up that these are already supplied by the nix-shell |
| 20:53:53 | × | burnsidesLlama quits (~burnsides@client-8-91.eduroam.oxuni.org.uk) (Ping timeout: 248 seconds) |
| 20:53:58 | × | dermato quits (~dermatobr@cpe-70-114-219-76.austin.res.rr.com) (Ping timeout: 258 seconds) |
| 20:55:21 | → | benin036932 joins (~benin@183.82.205.178) |
| 20:55:27 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 20:55:41 | → | dermato joins (~dermatobr@154.21.23.75) |
| 20:55:51 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 20:57:02 | × | benin03693 quits (~benin@183.82.205.178) (Ping timeout: 258 seconds) |
| 20:57:03 | benin036932 | is now known as benin03693 |
| 21:00:31 | × | azeem quits (~azeem@dynamic-adsl-84-220-236-17.clienti.tiscali.it) (Remote host closed the connection) |
| 21:00:42 | → | azeem joins (~azeem@dynamic-adsl-84-220-236-17.clienti.tiscali.it) |
| 21:02:36 | ← | jakalx parts (~jakalx@base.jakalx.net) (Error from remote client) |
| 21:03:28 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 21:06:11 | × | gehmehgeh quits (~user@user/gehmehgeh) (Ping timeout: 244 seconds) |
| 21:06:59 | → | lavaman joins (~lavaman@98.38.249.169) |
| 21:07:53 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 21:10:16 | × | MoC quits (~moc@user/moc) (Quit: Konversation terminated!) |
| 21:13:27 | wrengr_away | is now known as wrengr |
| 21:13:53 | <dmj`> | fresheyeball: you'll need to copy the SHAs and revs of those custom sources from the cabal.project into the nix, leave the shell, then re-enter the shell. |
| 21:16:35 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 21:18:14 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 21:22:09 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 21:23:40 | × | amahl quits (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Remote host closed the connection) |
| 21:26:43 | <fresheyeball> | dmj`: I believe that is done already |
| 21:27:27 | <dmj`> | Are you using niv |
| 21:28:16 | → | slack1256 joins (~slack1256@191.126.53.228) |
| 21:28:59 | → | chris joins (~chris@81.96.113.213) |
| 21:29:02 | chris | is now known as Guest4968 |
| 21:34:29 | → | chomwitt joins (~chomwitt@2a02:587:dc02:6400:12c3:7bff:fe6d:d374) |
| 21:35:22 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 258 seconds) |
| 21:38:50 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 21:38:53 | × | dhouthoo quits (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.2) |
| 21:40:43 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 21:40:48 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 21:41:21 | → | typedfern__ joins (~Typedfern@28.red-83-57-142.dynamicip.rima-tde.net) |
| 21:45:05 | × | typedfern_ quits (~Typedfern@185.red-83-57-142.dynamicip.rima-tde.net) (Ping timeout: 248 seconds) |
| 21:45:05 | × | wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Read error: Connection reset by peer) |
| 21:46:31 | × | michalz quits (~michalz@185.246.204.33) (Remote host closed the connection) |
| 21:47:15 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 21:48:12 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 21:51:30 | × | skykanin quits (~skykanin@115.81-166-221.customer.lyse.net) (Quit: WeeChat 3.2) |
| 22:00:51 | × | Tuplanolla quits (~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) (Quit: Leaving.) |
| 22:08:01 | → | pavonia joins (~user@user/siracusa) |
| 22:12:31 | → | Codaraxis joins (~Codaraxis@user/codaraxis) |
| 22:17:06 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 22:17:08 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 22:18:18 | × | nvmd quits (~nvmd@user/nvmd) (Quit: Later, nerds.) |
| 22:21:21 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 248 seconds) |
| 22:23:40 | → | zebrag joins (~chris@user/zebrag) |
| 22:24:42 | × | acidjnk quits (~acidjnk@p200300d0c72b9517f81283fc8b5e04b5.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 22:25:45 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 22:26:39 | → | jonatan joins (~nate@h77-53-70-163.cust.a3fiber.se) |
| 22:29:37 | × | benin03693 quits (~benin@183.82.205.178) (Remote host closed the connection) |
| 22:33:02 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 22:35:21 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 22:41:21 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 22:44:31 | → | cjb joins (~cjb@user/cjb) |
| 22:45:55 | → | kadobanana joins (~mud@user/kadoban) |
| 22:46:22 | × | mud quits (~mud@user/kadoban) (Quit: quit) |
| 22:48:51 | <fresheyeball> | dmj`: no |
| 22:48:57 | <fresheyeball> | but the project is |
| 22:49:49 | × | kadobanana quits (~mud@user/kadoban) (Read error: Connection reset by peer) |
| 22:50:06 | × | hegstal quits (~hegstal@2a02:c7f:7604:8a00:54d9:a686:a64c:8cd9) (Remote host closed the connection) |
| 22:50:07 | → | kadobanana joins (~mud@user/kadoban) |
| 22:50:44 | × | Cajun quits (~Cajun@user/cajun) (Quit: Client closed) |
| 22:52:12 | → | dajoer joins (~david@user/gvx) |
| 22:56:08 | × | ec quits (~ec@gateway/tor-sasl/ec) (Quit: ec) |
| 23:02:56 | × | zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 23:06:02 | × | cjb quits (~cjb@user/cjb) (Quit: rcirc on GNU Emacs 28.0.50) |
| 23:06:53 | → | cjb joins (~cjb@user/cjb) |
| 23:09:21 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 248 seconds) |
| 23:10:12 | → | zebrag joins (~chris@user/zebrag) |
| 23:12:27 | × | Gurkenglas quits (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 276 seconds) |
| 23:23:00 | × | haykam quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 23:23:14 | → | haykam joins (~haykam@static.100.2.21.65.clients.your-server.de) |
| 23:25:03 | → | mousey joins (~skymouse@gateway/tor-sasl/mousey) |
| 23:31:42 | <slack1256> | Is there a updated ghc roadmap? the ghc wiki has some but other were not met. |
| 23:32:19 | → | lavaman joins (~lavaman@98.38.249.169) |
| 23:33:52 | × | jgeerds quits (~jgeerds@55d45555.access.ecotel.net) (Ping timeout: 272 seconds) |
| 23:36:33 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 248 seconds) |
| 23:36:49 | × | epolanski quits (uid312403@id-312403.brockwell.irccloud.com) (Quit: Connection closed for inactivity) |
| 23:43:37 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: leaving) |
| 23:43:46 | × | mousey quits (~skymouse@gateway/tor-sasl/mousey) (Ping timeout: 244 seconds) |
| 23:50:57 | × | haveo_ quits (~haveo@sl35.iuwt.fr) (Quit: Reconnecting) |
| 23:51:03 | → | haveo joins (~haveo@sl35.iuwt.fr) |
| 23:55:23 | <lbseale> | I built a GHC package myself successfully, and I am trying to build it into a shared library. It tells me to compile with -fPIC, even though I already did: https://paste.tomsmeding.com/QscWJtVn |
All times are in UTC on 2021-08-09.