Logs: liberachat/#haskell
| 2021-07-20 21:51:23 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-20 21:51:29 | → | zebrag joins (~chris@user/zebrag) |
| 2021-07-20 21:51:37 | <[exa]> | h98: ^ might work |
| 2021-07-20 21:51:46 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-20 21:52:28 | <h98> | hah I gave up and just wrote it out: https://paste.tomsmeding.com/E9c62Vka |
| 2021-07-20 21:53:13 | → | myShoggoth joins (~myShoggot@97-120-70-214.ptld.qwest.net) |
| 2021-07-20 21:53:14 | <[exa]> | kinda wondering how this interacts with ': |
| 2021-07-20 21:53:40 | <[exa]> | (nvm I'm off for today) |
| 2021-07-20 21:57:01 | × | vysn quits (~vysn@user/vysn) (Remote host closed the connection) |
| 2021-07-20 21:57:48 | × | michalz quits (~michalz@185.246.204.50) (Remote host closed the connection) |
| 2021-07-20 21:58:41 | → | vysn joins (~vysn@user/vysn) |
| 2021-07-20 21:58:49 | × | Bayes quits (~Bayes@user/bayes) (Quit: Connection closed) |
| 2021-07-20 21:59:21 | × | Null_A quits (~null_a@2601:645:8700:2290:51:7614:ed:3f42) (Remote host closed the connection) |
| 2021-07-20 22:00:39 | → | Cajun joins (~Cajun@ip98-163-211-112.no.no.cox.net) |
| 2021-07-20 22:04:10 | × | ubert quits (~Thunderbi@91.141.50.212.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-07-20 22:05:17 | × | argento quits (~argent0@168-227-96-53.ptr.westnet.com.ar) (Quit: leaving) |
| 2021-07-20 22:05:31 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Remote host closed the connection) |
| 2021-07-20 22:06:11 | × | mikoto-chan quits (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Ping timeout: 252 seconds) |
| 2021-07-20 22:06:18 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 2021-07-20 22:06:21 | → | Null_A joins (~null_a@2601:645:8700:2290:51:7614:ed:3f42) |
| 2021-07-20 22:06:47 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-07-20 22:08:01 | → | jespada joins (~jespada@90.254.247.46) |
| 2021-07-20 22:08:41 | → | zeenk joins (~zeenk@2a02:2f04:a008:d600:18f2:3421:bac6:8f38) |
| 2021-07-20 22:12:37 | × | sagax quits (~sagax@213.138.71.146) (Ping timeout: 245 seconds) |
| 2021-07-20 22:14:31 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-20 22:15:10 | × | jespada quits (~jespada@90.254.247.46) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-07-20 22:21:23 | → | benin03693 joins (~benin@46.244.28.58) |
| 2021-07-20 22:23:52 | → | jespada joins (~jespada@90.254.247.46) |
| 2021-07-20 22:24:56 | × | benin0369 quits (~benin@46.244.28.118) (Ping timeout: 255 seconds) |
| 2021-07-20 22:24:56 | benin03693 | is now known as benin0369 |
| 2021-07-20 22:25:42 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-07-20 22:26:47 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-07-20 22:26:48 | × | dhil quits (~dhil@195.213.192.47) (Ping timeout: 252 seconds) |
| 2021-07-20 22:29:50 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 252 seconds) |
| 2021-07-20 22:30:14 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-20 22:34:12 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 265 seconds) |
| 2021-07-20 22:38:36 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-07-20 22:41:23 | × | zeenk quits (~zeenk@2a02:2f04:a008:d600:18f2:3421:bac6:8f38) (Quit: Konversation terminated!) |
| 2021-07-20 22:42:17 | → | Vajb joins (~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01) |
| 2021-07-20 22:46:43 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-20 22:46:50 | × | chris_ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-20 22:49:27 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 258 seconds) |
| 2021-07-20 22:49:34 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2021-07-20 22:50:45 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-07-20 22:53:55 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 268 seconds) |
| 2021-07-20 22:57:04 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-20 22:57:29 | × | jespada quits (~jespada@90.254.247.46) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-07-20 22:58:15 | → | berberman joins (~berberman@user/berberman) |
| 2021-07-20 22:58:26 | × | acidjnk quits (~acidjnk@p200300d0c72b9575c508b842a8b97de2.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2021-07-20 22:58:39 | → | pavonia joins (~user@user/siracusa) |
| 2021-07-20 23:00:56 | × | Vajb quits (~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01) (Remote host closed the connection) |
| 2021-07-20 23:01:12 | × | dunkeln quits (~dunkeln@188.71.231.232) (Ping timeout: 255 seconds) |
| 2021-07-20 23:01:25 | → | dunkeln joins (~dunkeln@94.128.224.230) |
| 2021-07-20 23:02:57 | → | schuelermine joins (~anselmsch@user/schuelermine) |
| 2021-07-20 23:03:56 | <schuelermine> | Is it on-topic to talk about software written in Haskell, not necesarily in respect to its code, here? |
| 2021-07-20 23:04:29 | <geekosaur> | yes |
| 2021-07-20 23:05:15 | <schuelermine> | Cool |
| 2021-07-20 23:05:44 | <geekosaur> | it may not be the best place to get help for something like pandoc or hledger though |
| 2021-07-20 23:05:57 | <schuelermine> | no that’s not what I mean |
| 2021-07-20 23:06:11 | <glguy> | you mean like *real software*? |
| 2021-07-20 23:07:30 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 255 seconds) |
| 2021-07-20 23:08:06 | × | chomwitt quits (~chomwitt@2a02:587:dc0e:ef00:12c3:7bff:fe6d:d374) (Remote host closed the connection) |
| 2021-07-20 23:08:29 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-20 23:08:46 | <schuelermine> | glguy: honestly I was originally thinking about https://github.com/samtay/tetris, a neat TUI tetris written in Haskell |
| 2021-07-20 23:08:49 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-07-20 23:09:05 | <schuelermine> | prolly a fair bit off of the main topic tho |
| 2021-07-20 23:09:30 | → | benin03693 joins (~benin@106.198.95.190) |
| 2021-07-20 23:09:54 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-20 23:10:04 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-20 23:10:04 | → | agua joins (~agua@2804:18:4f:bc57:1:0:3808:8f6a) |
| 2021-07-20 23:11:54 | × | benin0369 quits (~benin@46.244.28.58) (Ping timeout: 265 seconds) |
| 2021-07-20 23:11:54 | benin03693 | is now known as benin0369 |
| 2021-07-20 23:12:11 | × | pesada quits (~agua@2804:14c:8793:8e2f:3988:44e0:45e5:bd04) (Ping timeout: 252 seconds) |
| 2021-07-20 23:15:08 | × | chris_ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-20 23:16:44 | × | dunkeln quits (~dunkeln@94.128.224.230) (Ping timeout: 268 seconds) |
| 2021-07-20 23:18:29 | <h98> | are "minor page faults" something I should worry about or do I just ignore the number? from \time -v ... apparently ~1800 in my program |
| 2021-07-20 23:19:15 | <sm> | schuelermine: oh that looks nice. There's also #haskell-game and corresponding matrix rooms |
| 2021-07-20 23:20:00 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-07-20 23:20:25 | → | Guest2 joins (~Guest2@50.47.115.102) |
| 2021-07-20 23:20:45 | <geekosaur> | minor page faults are just allocations as seen by time |
| 2021-07-20 23:21:09 | <geekosaur> | ghc's 2-stage allocator confuses many tools |
| 2021-07-20 23:21:35 | <h98> | cool thanks, i'll ignore it then |
| 2021-07-20 23:21:59 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-07-20 23:22:32 | <geekosaur> | well, it's not completely ignorable if your program is using more memory than you think it should, but the next step is done with ghc which knows what's actually going on |
| 2021-07-20 23:24:36 | × | chris_ quits (~chris@81.96.113.213) (Ping timeout: 255 seconds) |
| 2021-07-20 23:26:03 | → | aegon joins (~mike@174.127.249.180) |
| 2021-07-20 23:26:22 | × | aegon quits (~mike@174.127.249.180) (Client Quit) |
| 2021-07-20 23:26:24 | → | adinf joins (~adinfinit@2600:6c40:653f:5f00:a650:d8d7:fe0b:8c1f) |
| 2021-07-20 23:29:17 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 255 seconds) |
| 2021-07-20 23:29:49 | → | arahael1 joins (~arahael@60-242-119-83.tpgi.com.au) |
| 2021-07-20 23:30:38 | × | arahael quits (~arahael@203-206-95-20.tpgi.com.au) (Ping timeout: 255 seconds) |
| 2021-07-20 23:31:05 | → | hexfive joins (~eric@50.35.83.177) |
| 2021-07-20 23:31:13 | × | Gurkenglas quits (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 246 seconds) |
| 2021-07-20 23:33:04 | arahael1 | is now known as Arahael |
| 2021-07-20 23:33:39 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 265 seconds) |
| 2021-07-20 23:37:37 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 245 seconds) |
| 2021-07-20 23:37:56 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-20 23:38:57 | → | Vajb joins (~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01) |
| 2021-07-20 23:39:51 | × | Guest2 quits (~Guest2@50.47.115.102) (Quit: Client closed) |
| 2021-07-20 23:42:20 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
All times are in UTC.