Logs: freenode/#haskell
| 2021-04-06 18:26:28 | <maerwald> | hmm, so another workaround would be to ditch lazy bytestring and recored file offsets, then have the call site re-read the file at those offsets |
| 2021-04-06 18:26:37 | → | fendor__ joins (~fendor@178.115.129.28.wireless.dyn.drei.com) |
| 2021-04-06 18:27:03 | <tomsmeding> | that should work yes |
| 2021-04-06 18:27:17 | <maerwald> | since metadata is small in size, the memory leaks there aren't noticable |
| 2021-04-06 18:27:20 | ← | doraemon parts (~doraemon@117.222.71.159) () |
| 2021-04-06 18:27:43 | <maerwald> | s/metadata/header/ |
| 2021-04-06 18:29:38 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
| 2021-04-06 18:29:42 | × | fendor_ quits (~fendor@91.141.3.10.wireless.dyn.drei.com) (Ping timeout: 268 seconds) |
| 2021-04-06 18:30:53 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:6d47:e2d7:e78c:8f4) |
| 2021-04-06 18:31:53 | <haskellstudent> | ok i was wrong regarding wasm bundle size. maybe what i remembered reading was the size before optimizations. afterwards rust wasm is just slightly larger than js and performs better. asterius (haskell wasm) output .wasm for todomvc (https://asterius.netlify.app/demo/todomvc/index.html#/completed) is 132k gzipped which is pretty good actually. but of course it will take a while untill haskell wasm is production ready, if ever. |
| 2021-04-06 18:33:56 | → | fendor joins (~fendor@178.165.131.170.wireless.dyn.drei.com) |
| 2021-04-06 18:34:56 | → | stree joins (~stree@68.36.8.116) |
| 2021-04-06 18:35:35 | × | fendor__ quits (~fendor@178.115.129.28.wireless.dyn.drei.com) (Ping timeout: 260 seconds) |
| 2021-04-06 18:36:32 | × | typetetris quits (uid275937@gateway/web/irccloud.com/x-ffiqklyrigbqxewu) (Quit: Connection closed for inactivity) |
| 2021-04-06 18:36:43 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:6d47:e2d7:e78c:8f4) (Remote host closed the connection) |
| 2021-04-06 18:37:12 | × | manuel quits (~manuel@185.204.1.185) (Remote host closed the connection) |
| 2021-04-06 18:39:11 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:6d47:e2d7:e78c:8f4) |
| 2021-04-06 18:41:34 | × | tomboy64 quits (~tomboy64@unaffiliated/tomboy64) (Quit: Off to see the wizard.) |
| 2021-04-06 18:41:38 | × | darjeeling_ quits (~darjeelin@115.215.43.37) (Ping timeout: 246 seconds) |
| 2021-04-06 18:43:49 | → | tomboy64 joins (~tomboy64@unaffiliated/tomboy64) |
| 2021-04-06 18:45:04 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:6d47:e2d7:e78c:8f4) (Remote host closed the connection) |
| 2021-04-06 18:45:33 | × | aenesidemus quits (~aenesidem@c-73-53-247-25.hsd1.fl.comcast.net) (Quit: Leaving) |
| 2021-04-06 18:47:28 | → | Forlorn_ joins (~Forlorn@unaffiliated/forlorn) |
| 2021-04-06 18:48:41 | → | maroloccio joins (~marolocci@pousada3ja.mma.com.br) |
| 2021-04-06 18:48:46 | → | Codaraxis joins (Codaraxis@gateway/vpn/mullvad/codaraxis) |
| 2021-04-06 18:48:49 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:6d47:e2d7:e78c:8f4) |
| 2021-04-06 18:50:01 | <mikoto-chan> | sorry if off-topic but what are a free category and a graph in category theory? |
| 2021-04-06 18:50:27 | <mikoto-chan> | most search results are very vague, I'm learning CT to better understand Haskell |
| 2021-04-06 18:51:49 | × | ADG1089 quits (~aditya@122.163.139.43) (Remote host closed the connection) |
| 2021-04-06 18:54:09 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:6d47:e2d7:e78c:8f4) (Remote host closed the connection) |
| 2021-04-06 18:54:29 | <koz_> | Learning CT will not necessarily help understanding Haskell, FWIW. |
| 2021-04-06 18:54:32 | <hololeap> | https://ncatlab.org/nlab/show/free+category ; https://en.wikipedia.org/wiki/Graph_(discrete_mathematics) |
| 2021-04-06 18:54:36 | → | darjeeling_ joins (~darjeelin@122.245.210.109) |
| 2021-04-06 18:56:12 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-04-06 18:56:40 | <mikoto-chan> | koz_: things like Monoids and Kleisli categories were far easier to grasp in mathematics than Haskell for me |
| 2021-04-06 18:56:55 | <koz_> | mikoto-chan: YMMV. |
| 2021-04-06 18:57:06 | × | hive-mind quits (~hivemind@rrcs-67-53-148-69.west.biz.rr.com) (Ping timeout: 260 seconds) |
| 2021-04-06 18:59:20 | → | __minoru__shirae joins (~shiraeesh@5.101.59.224) |
| 2021-04-06 18:59:24 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 252 seconds) |
| 2021-04-06 18:59:26 | × | minoru_shiraeesh quits (~shiraeesh@109.166.56.223) (Ping timeout: 240 seconds) |
| 2021-04-06 19:00:53 | × | tomboy64 quits (~tomboy64@unaffiliated/tomboy64) (Ping timeout: 246 seconds) |
| 2021-04-06 19:01:11 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
| 2021-04-06 19:01:19 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:6d47:e2d7:e78c:8f4) |
| 2021-04-06 19:01:21 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:6d47:e2d7:e78c:8f4) (Remote host closed the connection) |
| 2021-04-06 19:01:30 | <cub3s_> | is it possible to configure cabal such that it will ERROR instead of downloading a package, if that package is not found in Nix store? |
| 2021-04-06 19:02:04 | <cub3s_> | the default seems to be, if it's not found on nix store (within a nix shell), it still downloads/builds it using regular hackage |
| 2021-04-06 19:02:18 | <hololeap> | mikoto-chan: i think the concept is just really obvious and simple, which is why it feels "vague" to you |
| 2021-04-06 19:02:25 | → | norsxa joins (uid494793@gateway/web/irccloud.com/x-nletjvianbknahyj) |
| 2021-04-06 19:02:28 | × | LiaoTao quits (~LiaoTao@gateway/tor-sasl/liaotao) (Remote host closed the connection) |
| 2021-04-06 19:02:46 | → | LiaoTao joins (~LiaoTao@gateway/tor-sasl/liaotao) |
| 2021-04-06 19:03:30 | × | maroloccio quits (~marolocci@pousada3ja.mma.com.br) (Quit: WeeChat 2.3) |
| 2021-04-06 19:03:34 | × | Franciman quits (~francesco@host-87-20-23-243.retail.telecomitalia.it) (Quit: Leaving) |
| 2021-04-06 19:03:39 | <mikoto-chan> | hololeap: alright let's say I want to learn CT for fun but there's no channel to discuss it on Freenode |
| 2021-04-06 19:03:43 | <mikoto-chan> | maybe ##math? |
| 2021-04-06 19:04:51 | <hololeap> | i've asked CT questions on occasion in #haskell and nobody complained. ##math works but don't expect anyone there to know anything about haskell |
| 2021-04-06 19:05:39 | × | rdivyanshu quits (uid322626@gateway/web/irccloud.com/x-gwsdixqwmnlinkah) (Quit: Connection closed for inactivity) |
| 2021-04-06 19:06:08 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 246 seconds) |
| 2021-04-06 19:07:55 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-06 19:08:14 | <mikoto-chan> | I will change the state of the universe with Monad IO so that Haskell doesn't exist when I'm gonna ask questions in ##math :) |
| 2021-04-06 19:08:37 | <monochrom> | ##category-theory or ##category, I forgot which |
| 2021-04-06 19:08:59 | <joel135> | ^ both are empty |
| 2021-04-06 19:08:59 | <hololeap> | as far as your question about free categories, that nLab article lays it out well. there really isn't much to it. |
| 2021-04-06 19:09:47 | → | hive-mind joins (~hivemind@rrcs-67-53-148-69.west.biz.rr.com) |
| 2021-04-06 19:10:57 | <monochrom> | ##categorytheory |
| 2021-04-06 19:11:31 | <joel135> | ok |
| 2021-04-06 19:11:32 | <monochrom> | Some of them are some of us, you will be in good hands. :) |
| 2021-04-06 19:11:52 | × | cub3s_ quits (bifunc2@gateway/vpn/protonvpn/bifunc2) (Quit: Leaving) |
| 2021-04-06 19:12:00 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 2021-04-06 19:13:05 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 2021-04-06 19:15:50 | → | hiroaki joins (~hiroaki@2a02:908:4b18:8c40:cdf8:a3f:92b1:70de) |
| 2021-04-06 19:18:36 | → | son0p joins (~ff@181.136.122.143) |
| 2021-04-06 19:23:16 | → | Guest29958 joins (~amcrae@194.37.96.82) |
| 2021-04-06 19:25:40 | × | zebrag quits (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-06 19:25:58 | → | zebrag joins (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) |
| 2021-04-06 19:26:11 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-04-06 19:26:33 | → | cgfuh joins (~cgfuh@181.167.191.58) |
| 2021-04-06 19:31:49 | → | `slikts joins (~nelabs@wikipedia/reinis) |
| 2021-04-06 19:34:02 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-06 19:34:43 | → | todda7 joins (~torstein@athedsl-09242.home.otenet.gr) |
| 2021-04-06 19:35:13 | × | hololeap quits (~hololeap@unaffiliated/hololeap) (Quit: Quit) |
| 2021-04-06 19:37:17 | → | coot joins (~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl) |
| 2021-04-06 19:38:08 | → | tomboy64 joins (~tomboy64@unaffiliated/tomboy64) |
| 2021-04-06 19:39:00 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 2021-04-06 19:41:48 | → | Sorny joins (~Sornaensi@077213203030.dynamic.telenor.dk) |
| 2021-04-06 19:42:23 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-04-06 19:42:43 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 2021-04-06 19:43:51 | → | hololeap joins (~hololeap@unaffiliated/hololeap) |
| 2021-04-06 19:44:51 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-06 19:45:11 | × | Sorna quits (~Sornaensi@79.142.232.102.static.router4.bolignet.dk) (Ping timeout: 240 seconds) |
| 2021-04-06 19:45:12 | × | hololeap quits (~hololeap@unaffiliated/hololeap) (Client Quit) |
| 2021-04-06 19:46:08 | → | Franciman joins (~francesco@host-87-20-23-243.retail.telecomitalia.it) |
| 2021-04-06 19:46:36 | → | gesties joins (a7f8ae19@167.248.174.25) |
| 2021-04-06 19:47:05 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 246 seconds) |
| 2021-04-06 19:48:08 | → | hololeap joins (~hololeap@gateway/tor-sasl/hololeap) |
| 2021-04-06 19:48:11 | × | hypercube quits (hypercube@gateway/vpn/protonvpn/hypercube) (Ping timeout: 265 seconds) |
| 2021-04-06 19:48:22 | → | Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2021-04-06 19:49:19 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 260 seconds) |
| 2021-04-06 19:49:41 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-04-06 19:49:48 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2021-04-06 19:49:50 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
All times are in UTC.