Logs: freenode/#haskell
| 2020-10-08 15:22:54 | → | snakemas1 joins (~snakemast@213.100.206.23) |
| 2020-10-08 15:24:47 | × | todda7 quits (~torstein@athedsl-4367507.home.otenet.gr) (Ping timeout: 240 seconds) |
| 2020-10-08 15:24:47 | → | fendor_ joins (~fendor@2001:629:3200:547:455f:533c:2a97:94e2) |
| 2020-10-08 15:25:25 | × | jneira_ quits (~jneira@118.red-176-83-71.dynamicip.rima-tde.net) (Ping timeout: 264 seconds) |
| 2020-10-08 15:25:32 | → | thir joins (~thir@p200300f27f0fc60038c1b16891cbfa03.dip0.t-ipconnect.de) |
| 2020-10-08 15:26:18 | × | GyroW quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie) |
| 2020-10-08 15:26:28 | → | GyroW joins (~GyroW@d54C03E98.access.telenet.be) |
| 2020-10-08 15:26:28 | × | GyroW quits (~GyroW@d54C03E98.access.telenet.be) (Changing host) |
| 2020-10-08 15:26:28 | → | GyroW joins (~GyroW@unaffiliated/gyrow) |
| 2020-10-08 15:27:01 | <tomsmeding> | 'impossible' |
| 2020-10-08 15:27:07 | × | snakemas1 quits (~snakemast@213.100.206.23) (Ping timeout: 240 seconds) |
| 2020-10-08 15:27:19 | × | fendor quits (~fendor@t204-126.demo.tuwien.ac.at) (Ping timeout: 265 seconds) |
| 2020-10-08 15:27:57 | → | jneira_ joins (~jneira@118.red-176-83-71.dynamicip.rima-tde.net) |
| 2020-10-08 15:28:30 | <dminuoso> | Yeah.. Im really staring at the weirdest wall ever. |
| 2020-10-08 15:29:13 | <dminuoso> | https://gist.github.com/dminuoso/0932484d82167ffad98baaf3348f5126 |
| 2020-10-08 15:29:19 | <dminuoso> | This is enough to completely bug out GHC :S |
| 2020-10-08 15:29:29 | <dminuoso> | On some strange linker errors on a completely unrelated library |
| 2020-10-08 15:30:05 | <Cheery> | When I paste stuff into slack or discourse, it summarizes the link for me. I'd love to have that in my blog as well. |
| 2020-10-08 15:30:07 | × | thir quits (~thir@p200300f27f0fc60038c1b16891cbfa03.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2020-10-08 15:30:45 | <sshine> | I'm sure there's a javascript for it. |
| 2020-10-08 15:31:16 | <dminuoso> | Im fairly sure that both slack and discourse use some "standard" library js library too. |
| 2020-10-08 15:31:48 | → | snakemas1 joins (~snakemast@213.100.206.23) |
| 2020-10-08 15:32:37 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-08 15:32:55 | <monochrom> | @quote autrijus impossible |
| 2020-10-08 15:32:55 | <lambdabot> | autrijus says: Perl: "Easy things are easy, hard things are possible" <autrijus> Haskell: "Hard things are easy, the impossible just happened" |
| 2020-10-08 15:34:08 | → | xerox_ joins (~xerox@unaffiliated/xerox) |
| 2020-10-08 15:34:52 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds) |
| 2020-10-08 15:38:35 | × | toorevitimirp quits (~tooreviti@117.182.180.245) (Remote host closed the connection) |
| 2020-10-08 15:38:47 | <Cheery> | :D I saw somebody has written a summarizer in haskell. |
| 2020-10-08 15:39:00 | <Cheery> | https://github.com/amliby/summary |
| 2020-10-08 15:39:04 | <tomsmeding> | dminuoso: well at least you have a nice, small test case :) |
| 2020-10-08 15:40:00 | × | jneira_ quits (~jneira@118.red-176-83-71.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2020-10-08 15:40:20 | <siraben> | Does anyone know if Emacs' `lsp-haskell` package has support for case splitting yet? |
| 2020-10-08 15:40:24 | → | jneira_ joins (~jneira@118.red-176-83-71.dynamicip.rima-tde.net) |
| 2020-10-08 15:40:32 | <siraben> | It's been added in haskell-language-server 0.5.0.0 |
| 2020-10-08 15:40:37 | <Cheery> | I'm too old to write a html parser myself when I need one. Not youthful enough to read a spec. |
| 2020-10-08 15:41:15 | <Cheery> | I'm glad I found a good HTML5 parser though. |
| 2020-10-08 15:43:18 | → | __skn joins (~sunil@sec.nimmagadda.net) |
| 2020-10-08 15:43:36 | → | andos joins (~dan@107-190-41-58.cpe.teksavvy.com) |
| 2020-10-08 15:46:22 | × | nados quits (~dan@162.246.216.28) (Ping timeout: 258 seconds) |
| 2020-10-08 15:47:07 | × | ixlun quits (~matthew@213.205.241.94) (Ping timeout: 240 seconds) |
| 2020-10-08 15:48:13 | × | Ariakenom quits (~Ariakenom@193.254.193.1) (Ping timeout: 264 seconds) |
| 2020-10-08 15:49:33 | × | raehik quits (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2020-10-08 15:50:01 | <siraben> | Ok so it looks like I have to do `s-l a a` to show the list of actions |
| 2020-10-08 15:50:09 | <siraben> | Holy hell, this is insane, like Agda-style holes. |
| 2020-10-08 15:51:19 | → | raehik joins (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) |
| 2020-10-08 15:51:32 | × | cosimone quits (~cosimone@2001:b07:ae5:db26:a16f:75:586:b3b0) (Remote host closed the connection) |
| 2020-10-08 15:51:41 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2020-10-08 15:52:00 | → | cosimone joins (~cosimone@2001:b07:ae5:db26:a16f:75:586:b3b0) |
| 2020-10-08 15:52:35 | × | conal quits (~conal@209.58.130.230) (Quit: Computer has gone to sleep.) |
| 2020-10-08 15:53:02 | <dminuoso> | tomsmeding: One that makes absolute no sense. |
| 2020-10-08 15:53:14 | <tomsmeding> | those are the best |
| 2020-10-08 15:53:21 | <dminuoso> | What does quasiquoters have to do with linking completely unrelated external libraries... |
| 2020-10-08 15:53:26 | <dminuoso> | Im smelling some memory corruption here. |
| 2020-10-08 15:53:30 | <tomsmeding> | ooooooooh |
| 2020-10-08 15:53:32 | <dminuoso> | Or some internal corruption |
| 2020-10-08 15:53:45 | <tomsmeding> | I've always known that TH is trouble |
| 2020-10-08 15:53:57 | <dminuoso> | well, QQ are much more harmless. |
| 2020-10-08 15:54:12 | <dminuoso> | In fact, the splice is just an Exp splice.. |
| 2020-10-08 15:54:22 | <dminuoso> | It doesn't get more harmless than that. :( |
| 2020-10-08 15:54:27 | <tomsmeding> | claim :) |
| 2020-10-08 15:54:32 | <tomsmeding> | apparently |
| 2020-10-08 15:54:39 | <dminuoso> | Well who knows |
| 2020-10-08 15:54:49 | <dminuoso> | Perhaps this is just some unrelated bug that my code shuffling manifests. |
| 2020-10-08 15:54:55 | → | leungbk joins (~user@2605:e000:1315:706:1e77:a69f:2d77:7de4) |
| 2020-10-08 15:55:05 | <dminuoso> | Ill have to do a bisect on ghc |
| 2020-10-08 15:55:21 | <monochrom> | yikes |
| 2020-10-08 15:56:05 | <dminuoso> | In fact, if you looked at the QQ, it's like a totally trivial 3 lines QQ... |
| 2020-10-08 15:56:12 | <monochrom> | maybe also reproduce it on another computer, just to be sure you don't have a RAM problem |
| 2020-10-08 15:56:30 | <dminuoso> | Well I have 16GiB of ram. This module is very harmless otherwise |
| 2020-10-08 15:56:40 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-10-08 15:56:43 | <monochrom> | I mean faulty RAM |
| 2020-10-08 15:56:55 | <dminuoso> | Well, this triggers *very* consistently with the diff applied... |
| 2020-10-08 15:56:59 | <dminuoso> | by very I mean 100% |
| 2020-10-08 15:57:20 | <leungbk> | Would anyone mind helping me make this more memory-efficient and idiomatic? https://paste.debian.net/1166370 |
| 2020-10-08 15:57:46 | <leungbk> | I tried running my solution in a practice coding competition but the automated judge said it used too much memory. |
| 2020-10-08 15:57:55 | <dminuoso> | leungbk: run with `+RTS p -RTS` and include the output |
| 2020-10-08 15:57:57 | → | sfvm joins (~sfvm@37.228.215.148) |
| 2020-10-08 15:59:57 | hackage | HaTeX 3.22.3.0 - The Haskell LaTeX library. https://hackage.haskell.org/package/HaTeX-3.22.3.0 (DanielDiaz) |
| 2020-10-08 16:00:41 | × | cpressey quits (~cpressey@79-72-202-104.dynamic.dsl.as9105.com) (Quit: WeeChat 1.9.1) |
| 2020-10-08 16:00:43 | <leungbk> | dminuoso: I'm not entirely sure how to execute it locally. Whenever I compile with `ghc dijkstra.hs` and `ghc -o a.out dijkstra.o`, I get errors like `error: undefined reference to 'containerszm0zi6zi2zi1_DataziSetziInternal_minView` |
| 2020-10-08 16:01:01 | <leungbk> | Which is weird since `containers` is built in to ghc 8.8.4 |
| 2020-10-08 16:01:05 | × | snakemas1 quits (~snakemast@213.100.206.23) (Ping timeout: 240 seconds) |
| 2020-10-08 16:01:19 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:9cdf:5974:56ad:fa2f) (Quit: oisdk) |
| 2020-10-08 16:01:53 | → | zacts_ joins (~zacts@dragora/developer/zacts) |
| 2020-10-08 16:02:08 | × | zacts_ quits (~zacts@dragora/developer/zacts) (Client Quit) |
| 2020-10-08 16:03:16 | <c_wraith> | skip the second line. ghc builds the binary as its output unless you ask it to do otherwise, and has for like 10 years now |
| 2020-10-08 16:03:39 | → | zacts_ joins (~zacts@dragora/developer/zacts) |
| 2020-10-08 16:04:21 | × | leungbk quits (~user@2605:e000:1315:706:1e77:a69f:2d77:7de4) (Remote host closed the connection) |
| 2020-10-08 16:04:23 | zacts_ | is now known as zacts |
| 2020-10-08 16:04:44 | × | zacts quits (~zacts@dragora/developer/zacts) (Client Quit) |
| 2020-10-08 16:05:08 | → | leungbk joins (~user@2605:e000:1315:706:1e77:a69f:2d77:7de4) |
| 2020-10-08 16:05:11 | → | zacts joins (~zacts@dragora/developer/zacts) |
| 2020-10-08 16:07:22 | <leungbk> | Sorry, my irc client died just now and didn't save the chat log; would someone mind reposting the `+RTS -p ...` bit from a few mins ago? |
| 2020-10-08 16:07:29 | × | xff0x quits (~fox@2001:1a81:53a8:5900:d048:1f00:80fa:e49e) (Ping timeout: 272 seconds) |
| 2020-10-08 16:07:43 | <monochrom> | <dminuoso> leungbk: run with `+RTS p -RTS` and include the output |
| 2020-10-08 16:07:53 | <c_wraith> | for compiling locally, just use `ghc dijkstra.hs` |
| 2020-10-08 16:08:03 | → | xff0x joins (~fox@2001:1a81:53a8:5900:4dd1:b846:131b:3964) |
| 2020-10-08 16:08:06 | <c_wraith> | it compiles and links in a single invocation |
| 2020-10-08 16:08:44 | × | yoneda quits (~mike@193.206.102.122) (Quit: leaving) |
All times are in UTC.