Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 487 488 489 490 491 492 493 494 495 496 497 .. 5022
— 502,152 events total
2020-10-07 13:04:00 × ski quits (~ski@m-1163-19.studat.chalmers.se) (*.net *.split)
2020-10-07 13:04:00 × jedws quits (~jedws@121.209.161.98) (*.net *.split)
2020-10-07 13:04:00 × zaquest quits (~notzaques@5.128.210.178) (*.net *.split)
2020-10-07 13:04:00 × Buntspecht quits (~user@unaffiliated/siracusa) (*.net *.split)
2020-10-07 13:04:00 × pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (*.net *.split)
2020-10-07 13:04:00 × bgamari quits (~bgamari@2001:470:e438::1) (*.net *.split)
2020-10-07 13:04:00 × dolio quits (~dolio@haskell/developer/dolio) (*.net *.split)
2020-10-07 13:04:00 × emmanuel_erc quits (~user@2604:2000:1382:ce03:25fa:9e0d:1140:beff) (*.net *.split)
2020-10-07 13:04:00 × ezzieyguywuf quits (~Unknown@unaffiliated/ezzieyguywuf) (*.net *.split)
2020-10-07 13:04:00 × joshmeredith quits (sid387798@gateway/web/irccloud.com/x-lhhtwrcyukiolswv) (*.net *.split)
2020-10-07 13:04:00 × pong quits (chiya@2406:3003:2077:2341::babe) (*.net *.split)
2020-10-07 13:04:00 × coeus quits (~coeus@p200300d02724ef00d20f0ecf5ac74df4.dip0.t-ipconnect.de) (*.net *.split)
2020-10-07 13:04:00 × nopf quits (~frosch@static.179.17.76.144.clients.your-server.de) (*.net *.split)
2020-10-07 13:04:00 × M2tias quits (m2@seri.fi) (*.net *.split)
2020-10-07 13:04:06 → emmanuel` joins (~user@2604:2000:1382:ce03:25fa:9e0d:1140:beff)
2020-10-07 13:04:08 <dminuoso> INLINABLE does not make GHC inline more aggressively, but at least enable it for when GHC. Especially for specialization this can be useful.
2020-10-07 13:04:08 → ski joins (~ski@m-1163-19.studat.chalmers.se)
2020-10-07 13:04:12 <kuribas> INLINABLE includes the function body in the interface file.
2020-10-07 13:04:13 → alexknvl joins (sid259568@gateway/web/irccloud.com/x-ezzjogtrhlllcrlf)
2020-10-07 13:04:16 → Boarders joins (sid425905@gateway/web/irccloud.com/x-rullwqslalbceykx)
2020-10-07 13:04:16 → bgamari joins (~bgamari@72.65.103.227)
2020-10-07 13:04:16 → jinblack joins (~JinBlack@new.jinblack.it)
2020-10-07 13:04:24 → dhouthoo joins (~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be)
2020-10-07 13:04:26 → avdb joins (~avdb@ip-62-235-189-65.dsl.scarlet.be)
2020-10-07 13:04:27 → Buntspecht joins (~user@unaffiliated/siracusa)
2020-10-07 13:04:28 → GuillaumeChrel[m joins (guillaumec@gateway/shell/matrix.org/x-pdeyeszckwgtpgil)
2020-10-07 13:04:28 → betrion[m] joins (betrionmat@gateway/shell/matrix.org/x-ayssoeksjulbrphq)
2020-10-07 13:04:57 × avdb quits (~avdb@ip-62-235-189-65.dsl.scarlet.be) (Client Quit)
2020-10-07 13:05:16 → dolio joins (~dolio@haskell/developer/dolio)
2020-10-07 13:05:41 → mikr[m] joins (mikrdavral@gateway/shell/matrix.org/x-tfhuakjmvnwwteem)
2020-10-07 13:05:56 → avocado joins (renningmat@gateway/shell/matrix.org/x-fezyrhgjfnmnkpkv)
2020-10-07 13:05:59 → boistordu1 joins (boistordum@gateway/shell/matrix.org/x-hweoscsbacvjfdbp)
2020-10-07 13:06:01 → jtojnar joins (jtojnarmat@gateway/shell/matrix.org/x-qekearxjjpjsmkuo)
2020-10-07 13:06:10 × ixlun quits (~matthew@213.205.241.94) (Ping timeout: 245 seconds)
2020-10-07 13:06:24 <dminuoso> GHC could still include it without INLINABLE but only if its small
2020-10-07 13:06:55 × thir quits (~thir@p200300f27f0fc60038c1b16891cbfa03.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-07 13:07:01 → polyrain joins (~polyrain@2001:8003:e501:6901:ec3c:d1e0:e12d:d528)
2020-10-07 13:07:06 <dminuoso> Also, INLINABLE allows for shared specialization across modules
2020-10-07 13:08:12 → bahamas joins (~lucian@unaffiliated/bahamas)
2020-10-07 13:09:21 → sepp2k joins (sepp2kmatr@gateway/shell/matrix.org/session)
2020-10-07 13:09:21 → theDon joins (~td@muedsl-82-207-238-023.citykom.de)
2020-10-07 13:09:21 → takuan joins (~takuan@178-116-218-225.access.telenet.be)
2020-10-07 13:09:21 → Rudd0 joins (~Rudd0@185.189.115.103)
2020-10-07 13:09:21 → zaquest joins (~notzaques@5.128.210.178)
2020-10-07 13:09:21 → pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net)
2020-10-07 13:09:21 → ezzieyguywuf joins (~Unknown@unaffiliated/ezzieyguywuf)
2020-10-07 13:09:21 → joshmeredith joins (sid387798@gateway/web/irccloud.com/x-lhhtwrcyukiolswv)
2020-10-07 13:09:21 → pong joins (chiya@2406:3003:2077:2341::babe)
2020-10-07 13:09:21 → coeus joins (~coeus@p200300d02724ef00d20f0ecf5ac74df4.dip0.t-ipconnect.de)
2020-10-07 13:09:21 → nopf joins (~frosch@static.179.17.76.144.clients.your-server.de)
2020-10-07 13:09:21 → M2tias joins (m2@seri.fi)
2020-10-07 13:09:22 × John20 quits (~John@82.46.59.122) (Ping timeout: 256 seconds)
2020-10-07 13:09:23 × sepp2k quits (sepp2kmatr@gateway/shell/matrix.org/session) (Changing host)
2020-10-07 13:09:23 → sepp2k joins (sepp2kmatr@gateway/shell/matrix.org/x-ycdinvigeuvebcbs)
2020-10-07 13:09:34 × Rudd0 quits (~Rudd0@185.189.115.103) (Max SendQ exceeded)
2020-10-07 13:09:37 × alp quits (~alp@2a01:e0a:58b:4920:c5b1:5424:d94b:6bfc) (Ping timeout: 260 seconds)
2020-10-07 13:09:58 hackage contracheck-applicative 0.2.0 - Validation types/typeclass based on the contravariance. https://hackage.haskell.org/package/contracheck-applicative-0.2.0 (Birkmann)
2020-10-07 13:11:30 hackage uniqueness-periods-vector-general 0.4.6.0 - Some kind of the optimization approach to data inner structure. https://hackage.haskell.org/package/uniqueness-periods-vector-general-0.4.6.0 (OleksandrZhabenko)
2020-10-07 13:14:26 × xerox_ quits (~xerox@unaffiliated/xerox) (Ping timeout: 256 seconds)
2020-10-07 13:14:26 <kuribas> INLINABLE turns haskell into a whole program compiler :)
2020-10-07 13:14:42 <maerwald> only until it OOMs
2020-10-07 13:14:45 × arahael quits (~arahael@125-209-151-226.tpgi.com.au) (Ping timeout: 260 seconds)
2020-10-07 13:14:45 × kuribas quits (~user@ptr-25vy0i76pxhcqkyum1g.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3))
2020-10-07 13:14:54 <maerwald> there we go
2020-10-07 13:14:55 × xff0x_ quits (~fox@2001:1a81:5374:e100:90a4:ed3f:c45e:9759) (Ping timeout: 240 seconds)
2020-10-07 13:15:54 → xff0x_ joins (~fox@2001:1a81:5374:e100:2c9e:dd16:8ce3:558c)
2020-10-07 13:16:14 → alp joins (~alp@2a01:e0a:58b:4920:75d3:6a0d:821b:a780)
2020-10-07 13:16:39 × xff0x_ quits (~fox@2001:1a81:5374:e100:2c9e:dd16:8ce3:558c) (Client Quit)
2020-10-07 13:16:48 → xff0x joins (~fox@2001:1a81:5374:e100:2c9e:dd16:8ce3:558c)
2020-10-07 13:16:49 × toorevitimirp quits (~tooreviti@117.182.180.245) (Quit: Konversation terminated!)
2020-10-07 13:18:25 × borne quits (~fritjof@2001:638:708:30da:5a9f:5f48:16a:a1d1) (Ping timeout: 240 seconds)
2020-10-07 13:19:49 → polyrain_ joins (~polyrain@203.51.166.163)
2020-10-07 13:21:47 → avdb joins (~avdb@ip-62-235-189-65.dsl.scarlet.be)
2020-10-07 13:22:17 → John20 joins (~John@82.46.59.122)
2020-10-07 13:23:02 × polyrain quits (~polyrain@2001:8003:e501:6901:ec3c:d1e0:e12d:d528) (Ping timeout: 260 seconds)
2020-10-07 13:23:25 → arahael joins (~arahael@220.240.125.167)
2020-10-07 13:23:55 × bitmapper quits (uid464869@gateway/web/irccloud.com/x-tfzdjxpokcsicuwj) (Quit: Connection closed for inactivity)
2020-10-07 13:24:22 → mirrorbird joins (~psutcliff@2a00:801:3f8:10df:3fb2:3ec3:6676:3873)
2020-10-07 13:24:38 → Amras joins (~Amras@unaffiliated/amras0000)
2020-10-07 13:25:11 <sm[m]> G'day all
2020-10-07 13:25:14 <sm[m]> dminuoso: I'd like to see that 15 lone program (I bet ghc devs would too)
2020-10-07 13:25:54 × ryjm_matrix quits (~matrixirc@pool-74-105-197-68.nwrknj.fios.verizon.net) (Ping timeout: 272 seconds)
2020-10-07 13:27:20 <dminuoso> sm[m]: https://gitlab.haskell.org/ghc/ghc/-/issues/17370
2020-10-07 13:28:34 × Gurkenglas_ quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 246 seconds)
2020-10-07 13:28:45 <dminuoso> Admittedly, it's slightly longer than that.
2020-10-07 13:31:07 <sm[m]> thx!
2020-10-07 13:33:38 → Geraldus joins (1fa31137@31.163.17.55)
2020-10-07 13:33:44 × sedeki quits (~textual@unaffiliated/sedeki) (Quit: Textual IRC Client: www.textualapp.com)
2020-10-07 13:35:23 <sm[m]> nice report, I have subscribed
2020-10-07 13:35:46 <Geraldus> Hi friends! Struggling with VSCode and ghcide. Is there a good article how to make it work?
2020-10-07 13:38:39 × olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection)
2020-10-07 13:38:49 <sm[m]> Geraldus: probably not an up to date one. But for most people, installing the Haskell extension is the only action needed
2020-10-07 13:39:10 → ryjm_matrix joins (~matrixirc@pool-74-105-197-68.nwrknj.fios.verizon.net)
2020-10-07 13:39:39 → macrover joins (~macrover@ip70-189-231-35.lv.lv.cox.net)
2020-10-07 13:40:20 × polyrain_ quits (~polyrain@203.51.166.163) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-07 13:43:28 → polyrain joins (~polyrain@2001:8003:e501:6901:1d60:ec01:433a:e4a)
2020-10-07 13:44:27 × arahael quits (~arahael@220.240.125.167) (Ping timeout: 240 seconds)
2020-10-07 13:45:58 → Gurkenglas_ joins (~Gurkengla@unaffiliated/gurkenglas)
2020-10-07 13:45:58 × DavidEichmann quits (~david@43.240.198.146.dyn.plus.net) (Read error: Connection reset by peer)
2020-10-07 13:45:59 × jneira_ quits (~jneira@244.red-176-83-85.dynamicip.rima-tde.net) (Read error: Connection reset by peer)
←Prev  Next→
Page 1 .. 487 488 489 490 491 492 493 494 495 496 497 .. 5022

All times are in UTC.