Logs: liberachat/#haskell
| 2021-05-30 16:23:51 | → | Guest30 joins (~Guest30@46-117-196-155.bb.netvision.net.il) |
| 2021-05-30 16:24:38 | → | chomwitt joins (~Pitsikoko@2a02:587:dc02:b00:b16c:5166:feb8:97d5) |
| 2021-05-30 16:26:46 | → | fosskers joins (~colin@S0106f0f249642f53.vn.shawcable.net) |
| 2021-05-30 16:27:13 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.2-dev) |
| 2021-05-30 16:27:17 | × | ddellacosta quits (~ddellacos@86.106.121.111) (Ping timeout: 264 seconds) |
| 2021-05-30 16:28:43 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 2021-05-30 16:30:48 | <shiraeeshi> | tomsmeding: ircbrowse.tomsmeding.com doesn't show freenode haskell logs and says to ask here |
| 2021-05-30 16:31:31 | × | ubikium quits (~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net) (Quit: Quit) |
| 2021-05-30 16:31:41 | → | ubikium joins (~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net) |
| 2021-05-30 16:31:43 | × | nonzen quits (~nonzen@user/nonzen) (Quit: Gone) |
| 2021-05-30 16:31:43 | × | sajith quits (~nonzen@user/sajith) (Quit: Gone) |
| 2021-05-30 16:31:57 | → | nonzen joins (~nonzen@user/nonzen) |
| 2021-05-30 16:32:22 | <shiraeeshi> | are those logs going to be available later? |
| 2021-05-30 16:32:42 | × | nf quits (~n@monade.li) (Quit: Fairfarren.) |
| 2021-05-30 16:32:45 | × | werneta quits (~werneta@mobile-166-176-57-108.mycingular.net) (Ping timeout: 268 seconds) |
| 2021-05-30 16:32:50 | → | nf joins (~n@monade.li) |
| 2021-05-30 16:34:58 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-05-30 16:36:27 | × | lbseale quits (~lbseale@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 268 seconds) |
| 2021-05-30 16:36:54 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 264 seconds) |
| 2021-05-30 16:37:13 | × | chomwitt quits (~Pitsikoko@2a02:587:dc02:b00:b16c:5166:feb8:97d5) (Ping timeout: 272 seconds) |
| 2021-05-30 16:37:55 | → | oxide joins (~lambda@user/oxide) |
| 2021-05-30 16:38:25 | → | Erutuon joins (~Erutuon@71-34-10-193.mpls.qwest.net) |
| 2021-05-30 16:38:26 | → | dudek joins (~dudek@185.150.236.112) |
| 2021-05-30 16:39:10 | → | spoonm joins (~spoonm@tokyo.spoonm.org) |
| 2021-05-30 16:39:17 | × | raehik1 quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2021-05-30 16:39:42 | → | igghibu joins (~igghibu@37.120.201.126) |
| 2021-05-30 16:39:51 | → | ddellacosta joins (~ddellacos@89.46.62.116) |
| 2021-05-30 16:40:17 | × | igghibu quits (~igghibu@37.120.201.126) (Client Quit) |
| 2021-05-30 16:40:22 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2021-05-30 16:40:57 | → | qbt joins (~edun@user/edun) |
| 2021-05-30 16:41:20 | → | Bartosz joins (~textual@24.35.90.211) |
| 2021-05-30 16:43:07 | → | johnw joins (~johnw@2600:1700:cf00:db0:1519:fa63:98ad:1b6e) |
| 2021-05-30 16:43:45 | → | solomon joins (~solomon@165.227.48.175) |
| 2021-05-30 16:44:28 | × | ddellacosta quits (~ddellacos@89.46.62.116) (Ping timeout: 268 seconds) |
| 2021-05-30 16:45:53 | × | ubikium quits (~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net) (Ping timeout: 264 seconds) |
| 2021-05-30 16:47:14 | → | ubikium joins (~ubikium@2400:2200:4f2:4b71:94bf:c634:be62:7c0d) |
| 2021-05-30 16:47:44 | → | junkicid` joins (~user@2a01:e0a:195:20c0:25dd:142f:ddb3:ffc5) |
| 2021-05-30 16:48:34 | × | smitop quits (uid328768@user/smitop) (Quit: Connection closed for inactivity) |
| 2021-05-30 16:50:07 | × | ubikium quits (~ubikium@2400:2200:4f2:4b71:94bf:c634:be62:7c0d) (Read error: Connection reset by peer) |
| 2021-05-30 16:50:46 | → | ubikium joins (~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net) |
| 2021-05-30 16:51:02 | × | nf quits (~n@monade.li) (Quit: Fairfarren.) |
| 2021-05-30 16:51:11 | → | nf joins (~n@monade.li) |
| 2021-05-30 16:52:44 | → | ddellacosta joins (~ddellacos@86.106.143.10) |
| 2021-05-30 16:54:17 | → | ruomad joins (~ruomad@82-64-17-144.subs.proxad.net) |
| 2021-05-30 16:54:47 | → | dwt_ joins (~dwt_@c-98-200-58-177.hsd1.tx.comcast.net) |
| 2021-05-30 16:54:53 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2021-05-30 16:57:21 | → | ddellaco_ joins (~ddellacos@86.106.121.82) |
| 2021-05-30 16:57:26 | × | ddellacosta quits (~ddellacos@86.106.143.10) (Ping timeout: 268 seconds) |
| 2021-05-30 16:58:19 | → | pavonia joins (~user@user/siracusa) |
| 2021-05-30 16:58:20 | → | sajith joins (~sajith@user/sajith) |
| 2021-05-30 16:59:17 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds) |
| 2021-05-30 17:00:35 | → | ddellacosta joins (~ddellacos@89.46.62.75) |
| 2021-05-30 17:00:52 | × | ikex quits (~ash@user/ikex) (Quit: WeeChat 3.2-dev) |
| 2021-05-30 17:02:22 | × | ddellaco_ quits (~ddellacos@86.106.121.82) (Ping timeout: 268 seconds) |
| 2021-05-30 17:05:05 | → | notzmv joins (~zmv@user/notzmv) |
| 2021-05-30 17:05:06 | → | bfrk joins (~Thunderbi@200116b845d00f006a2925a261e5e856.dip.versatel-1u1.de) |
| 2021-05-30 17:05:22 | × | Guest30 quits (~Guest30@46-117-196-155.bb.netvision.net.il) (Ping timeout: 250 seconds) |
| 2021-05-30 17:05:24 | <maerwald> | if you have a point-free definition of a function, how does -XStrict behave... will it only insert bangs for the bindings you provide or will it eta-expand first? |
| 2021-05-30 17:10:52 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-30 17:15:09 | → | kiwi_33 joins (~00000000@selfhost1.threedot14.com) |
| 2021-05-30 17:15:38 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-05-30 17:15:48 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-05-30 17:15:53 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 2021-05-30 17:16:28 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2021-05-30 17:17:28 | → | __monty__ joins (~toonn@user/toonn) |
| 2021-05-30 17:18:59 | × | rk04 quits (~rk04@user/rajk) (Quit: Client closed) |
| 2021-05-30 17:19:39 | → | holy_ joins (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) |
| 2021-05-30 17:20:36 | → | whaletechno joins (~whaletech@user/whaletechno) |
| 2021-05-30 17:20:41 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 264 seconds) |
| 2021-05-30 17:21:51 | <glguy> | maerwald, I'd expect and hope it didn't expand first |
| 2021-05-30 17:22:22 | × | machinedgod quits (~machinedg@24.105.81.50) (Read error: No route to host) |
| 2021-05-30 17:22:33 | → | pbrisbin joins (~patrick@pool-72-92-38-164.phlapa.fios.verizon.net) |
| 2021-05-30 17:22:46 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 2021-05-30 17:22:47 | <maerwald> | that makes sense, but is also kinda a pitfall |
| 2021-05-30 17:22:48 | <glguy> | afaik it's just a simple random sprinkling of strictness bangs on the names in you patterns |
| 2021-05-30 17:22:55 | → | Guest30 joins (~Guest30@46-117-196-155.bb.netvision.net.il) |
| 2021-05-30 17:23:01 | <glguy> | pitfall is the name of the game with -XStrict |
| 2021-05-30 17:23:33 | <maerwald> | foo = \x -> bar -- will it insert for `x`? |
| 2021-05-30 17:24:19 | × | qbt quits (~edun@user/edun) (Quit: WeeChat 3.1) |
| 2021-05-30 17:24:21 | <glguy> | That's my reading of https://downloads.haskell.org/ghc/latest/docs/html/users_guide/exts/strict.html?highlight=xstrict#strict-by-default-pattern-bindings |
| 2021-05-30 17:24:35 | <zebrag> | Bartosz: Yes, the existence of a terminal object, of course, is what allows to consider elements inside objects, in Set. I spoke far too quickly yesterday. |
| 2021-05-30 17:25:31 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-05-30 17:26:05 | <tomsmeding> | shiraeeshi: I still have those logs, would be fairly easy to put them up again. I mainly put up that notice to see if anyone actually cared about them :) |
| 2021-05-30 17:28:25 | → | ddellaco_ joins (~ddellacos@89.45.224.202) |
| 2021-05-30 17:29:24 | × | Bartosz quits (~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-30 17:30:29 | → | chomwitt joins (~Pitsikoko@athedsl-20549.home.otenet.gr) |
| 2021-05-30 17:31:02 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-05-30 17:32:40 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-05-30 17:32:49 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-05-30 17:33:12 | × | ddellaco_ quits (~ddellacos@89.45.224.202) (Ping timeout: 268 seconds) |
| 2021-05-30 17:35:21 | → | econo joins (uid147250@user/econo) |
| 2021-05-30 17:38:34 | <Philonous> | Is it normal that changing a »data« to a »newtype« in an unopportune place sends the inliner into a frenzy, blowing the resulting core up by an order of magnitude? |
| 2021-05-30 17:39:16 | <shiraeeshi> | tomsmeding: you don't plan to delete them? can you send a copy to me? |
| 2021-05-30 17:39:50 | <[exa]> | Philonous: newtypes simplify strictness analysis, thus open more inlining possibilities, and in turn the inliner may overdo it a bit, yes. :] |
| 2021-05-30 17:39:56 | <shiraeeshi> | I have logs from tunes.org, they take up something like 250 mbs |
| 2021-05-30 17:39:56 | → | smitop joins (uid328768@user/smitop) |
| 2021-05-30 17:40:04 | <tomsmeding> | shiraeeshi: I'll put them up again until someone asks me to put them down :p |
| 2021-05-30 17:40:12 | <tomsmeding> | I can also send you the plain znc logs if you wish |
| 2021-05-30 17:40:22 | ← | unyu parts (~pyon@user/pyon) (WeeChat 3.1) |
| 2021-05-30 17:40:23 | <shiraeeshi> | yes please |
All times are in UTC.