Logs: freenode/#haskell
| 2021-05-14 16:40:40 | <guest5> | ahh, so putStrLn will word |
| 2021-05-14 16:40:46 | <guest5> | got you, thanks |
| 2021-05-14 16:41:14 | → | Uter joins (467ca176@gateway/web/cgi-irc/kiwiirc.com/ip.70.124.161.118) |
| 2021-05-14 16:41:16 | <Uter> | https://www.youtube.com/watch?v=yaS5VIGsS0E |
| 2021-05-14 16:41:25 | × | Uter quits (467ca176@gateway/web/cgi-irc/kiwiirc.com/ip.70.124.161.118) (Client Quit) |
| 2021-05-14 16:42:11 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 2021-05-14 16:43:03 | × | xff0x quits (~xff0x@2001:1a81:52b5:6000:f0a6:872b:1338:809f) (Ping timeout: 260 seconds) |
| 2021-05-14 16:44:20 | × | isovector quits (~isovector@172.103.216.166) (Ping timeout: 252 seconds) |
| 2021-05-14 16:44:51 | → | xff0x joins (~xff0x@2001:1a81:52d0:2800:727d:1405:3867:9cdc) |
| 2021-05-14 16:45:01 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 260 seconds) |
| 2021-05-14 16:46:01 | × | kingswim quits (~kevinying@197.210.47.0) (Ping timeout: 252 seconds) |
| 2021-05-14 16:46:26 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-14 16:47:44 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 2021-05-14 16:48:22 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 2021-05-14 16:48:53 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:dd6b:deda:26b:d21e) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-14 16:50:07 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:dd6b:deda:26b:d21e) |
| 2021-05-14 16:51:13 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-05-14 16:51:22 | → | neiluj joins (~jco@91-167-203-101.subs.proxad.net) |
| 2021-05-14 16:51:22 | × | neiluj quits (~jco@91-167-203-101.subs.proxad.net) (Changing host) |
| 2021-05-14 16:51:22 | → | neiluj joins (~jco@unaffiliated/neiluj) |
| 2021-05-14 16:51:54 | × | tricklynch quits (~tricklync@216-180-94-57.starry-inc.net) (Quit: Quit) |
| 2021-05-14 16:53:25 | → | Uter joins (467ca176@gateway/web/cgi-irc/kiwiirc.com/ip.70.124.161.118) |
| 2021-05-14 16:53:37 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-05-14 16:54:03 | × | guest5 quits (5619784f@cpc143846-cosh20-2-0-cust78.6-1.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2021-05-14 16:54:07 | → | mxu joins (~user@ip5b40dfb7.dynamic.kabel-deutschland.de) |
| 2021-05-14 16:54:17 | <Uter> | Take a genetics test to see if you're black. Some of these white people have black genes... |
| 2021-05-14 16:54:22 | → | ddellaco_ joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-14 16:54:24 | × | Uter quits (467ca176@gateway/web/cgi-irc/kiwiirc.com/ip.70.124.161.118) (Client Quit) |
| 2021-05-14 16:56:28 | → | Uter joins (467ca176@gateway/web/cgi-irc/kiwiirc.com/ip.70.124.161.118) |
| 2021-05-14 16:56:31 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-05-14 16:56:36 | <Uter> | https://www.youtube.com/watch?v=Yurel80x_wA |
| 2021-05-14 16:56:47 | × | ddellac__ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-05-14 16:56:54 | × | Uter quits (467ca176@gateway/web/cgi-irc/kiwiirc.com/ip.70.124.161.118) (Client Quit) |
| 2021-05-14 16:58:08 | → | ddellac__ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-14 16:58:26 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 246 seconds) |
| 2021-05-14 16:59:07 | × | ddellaco_ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds) |
| 2021-05-14 17:00:58 | ChanServ | sets mode +o monochrom |
| 2021-05-14 17:01:18 | monochrom | sets mode +b *!467ca176@gateway/web/cgi-irc/kiwiirc.com/ip.70.124.161.118 |
| 2021-05-14 17:03:10 | monochrom | sets mode -o monochrom |
| 2021-05-14 17:05:52 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 240 seconds) |
| 2021-05-14 17:06:08 | → | Lycurgus joins (~niemand@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-05-14 17:06:08 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 246 seconds) |
| 2021-05-14 17:10:23 | × | geekosaur quits (45870322@069-135-003-034.biz.spectrum.com) (Ping timeout: 240 seconds) |
| 2021-05-14 17:10:54 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-05-14 17:11:49 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-05-14 17:12:25 | → | boxscape joins (54a350dc@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.80.220) |
| 2021-05-14 17:12:26 | × | Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 246 seconds) |
| 2021-05-14 17:12:32 | → | danso joins (~dan@modemcable156.91-20-96.mc.videotron.ca) |
| 2021-05-14 17:13:15 | <boxscape> | I wonder if it would be feasible to allow ghci to import local definitions, as long as they could be floated to the top level |
| 2021-05-14 17:13:22 | <boxscape> | seems like it would be extremely useful |
| 2021-05-14 17:13:48 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-05-14 17:14:15 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2021-05-14 17:14:56 | × | robotmay quits (~beepboop@2001:8b0:7af0:2580:f0c2:ac37:d419:2dbf) (Remote host closed the connection) |
| 2021-05-14 17:15:11 | <boxscape> | though it gets a bit murky when you think about how it works when you go more than one level deep... |
| 2021-05-14 17:15:15 | → | Scorpions joins (Scorpions@2401:4900:52f9:e8a4:81ee:3b13:8c19:6a32) |
| 2021-05-14 17:16:03 | × | hypercube quits (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Quit: WeeChat 3.1) |
| 2021-05-14 17:16:14 | → | robotmay joins (~beepboop@2001:8b0:7af0:2580:817:9e04:8c77:45e2) |
| 2021-05-14 17:16:23 | → | poljar1 joins (~poljar@78-2-35-208.adsl.net.t-com.hr) |
| 2021-05-14 17:16:50 | → | guest5 joins (5619784f@cpc143846-cosh20-2-0-cust78.6-1.cable.virginm.net) |
| 2021-05-14 17:16:50 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 268 seconds) |
| 2021-05-14 17:16:58 | <mxu> | |
| 2021-05-14 17:16:58 | <mxu> | Hi, I am currently on the search for a haskell library for symbolic math, something like https://github.com/JuliaSymbolics/SymbolicUtils.jl for julia. |
| 2021-05-14 17:16:59 | <mxu> | Which allows, aside from "polynomial terms with simplification", the definition of custom function symbols and rewrite rules for them. |
| 2021-05-14 17:16:59 | <mxu> | |
| 2021-05-14 17:17:01 | <mxu> | There doesn't seem to be quite such a library, but maybe someone here knows something what google doesn't? |
| 2021-05-14 17:19:55 | × | poljar quits (~poljar@93-141-135-207.adsl.net.t-com.hr) (Ping timeout: 268 seconds) |
| 2021-05-14 17:20:26 | <guest5> | I have a function that converts a list of ints to a string, is there a way I could divide each integer by a thousand? this would turn it into a float |
| 2021-05-14 17:20:50 | <guest5> | each integer is a number in thousands so 1324 is actually 1324000 |
| 2021-05-14 17:21:09 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 2021-05-14 17:21:11 | <guest5> | and I want to output it as 1.324, all to 3dmp |
| 2021-05-14 17:21:23 | <guest5> | this is what ive got so far - https://paste.tomsmeding.com/QpGJvpdo |
| 2021-05-14 17:21:29 | <guest5> | it just converts the ints to string |
| 2021-05-14 17:21:46 | × | stree quits (~stree@68.36.8.116) (Quit: Caught exception) |
| 2021-05-14 17:21:55 | → | Deide joins (~Deide@217.155.19.23) |
| 2021-05-14 17:22:10 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-14 17:23:05 | → | geekosaur joins (45870322@069-135-003-034.biz.spectrum.com) |
| 2021-05-14 17:25:31 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-05-14 17:25:59 | <Lycurgus> | mxu: ftr, you can find that query responded to multiple times in the log for this channel |
| 2021-05-14 17:26:04 | <monochrom> | replace "show x" by "show (div x 100)"? |
| 2021-05-14 17:26:24 | <monochrom> | and of course s/100/1000/ |
| 2021-05-14 17:26:44 | → | ddellaco_ joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-14 17:27:44 | <monochrom> | OK sorry, I was not doing floats. |
| 2021-05-14 17:28:07 | <guest5> | yeah that works it just doesn't go to float |
| 2021-05-14 17:29:28 | <monochrom> | import Numeric. listToString (x : xs) = showFFloat (Just 3) (fromIntegral x / 1000) (listToString xs) |
| 2021-05-14 17:30:21 | → | chimera joins (~chimera@120-192-113-92.pool.ukrtel.net) |
| 2021-05-14 17:31:14 | × | ddellaco_ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 245 seconds) |
| 2021-05-14 17:31:41 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-05-14 17:32:06 | <monochrom> | oh oops, forgot the space. |
| 2021-05-14 17:32:29 | <monochrom> | err more problem than that. |
| 2021-05-14 17:33:08 | <monochrom> | listToString (x : xs) = showFFloat (Just 3) (fromIntegral x / 1000) (" " ++ listToString xs) |
| 2021-05-14 17:34:19 | <guest5> | when I say hero |
| 2021-05-14 17:34:27 | <guest5> | I cannot thank you enough |
| 2021-05-14 17:34:46 | <monochrom> | :) |
| 2021-05-14 17:35:54 | <guest5> | that worked so well, is there a way to use printf with it so they'd line up? |
| 2021-05-14 17:36:20 | <guest5> | like printf %+10s% showFFloat (Just 3) (fromIntegral x / 1000) (" " ++ listToString XS) |
| 2021-05-14 17:36:54 | <monochrom> | printf is in Text.Printf. With printf you won't need Numeric's showFFloat |
| 2021-05-14 17:37:33 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-05-14 17:38:08 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-14 17:39:27 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Max SendQ exceeded) |
| 2021-05-14 17:40:09 | <guest5> | okay, thank you so much |
All times are in UTC.