Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 3903 3904 3905 3906 3907 3908 3909 3910 3911 3912 3913 .. 5022
— 502,152 events total
2021-03-19 02:15:53 → drbean joins (~drbean@TC210-63-209-13.static.apol.com.tw)
2021-03-19 02:15:57 <siraben> I wonder if there's a formalization of TAPL material in Coq or something
2021-03-19 02:16:31 <siraben> I found the usual proofs of soundness and preservation tedious as they added more and more language constructs
2021-03-19 02:16:46 <lyxia> siraben: https://www.seas.upenn.edu/~plclub/poplmark/
2021-03-19 02:18:43 <siraben> lyxia: oh, great!
2021-03-19 02:19:10 siraben hopes to get through all these references when he's done reviewing vol 1 & 2 of software foundations
2021-03-19 02:19:43 → dyeplexer joins (~lol@unaffiliated/terpin)
2021-03-19 02:21:07 → nfd joins (~nfd9001@c-73-225-42-170.hsd1.wa.comcast.net)
2021-03-19 02:21:58 × machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 260 seconds)
2021-03-19 02:22:28 → redmp joins (~redmp@172.58.35.162)
2021-03-19 02:24:33 × apache8080 quits (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 256 seconds)
2021-03-19 02:26:52 → elusive joins (~Jeanne-Ka@static-198-54-134-37.cust.tzulo.com)
2021-03-19 02:29:58 × xff0x quits (~xff0x@2001:1a81:522e:8700:ae9a:c4cb:63ce:6170) (Ping timeout: 244 seconds)
2021-03-19 02:30:34 × Wuzzy quits (~Wuzzy@p57a2ecf2.dip0.t-ipconnect.de) (Quit: Wuzzy)
2021-03-19 02:31:40 × willmoffat quits (~willmoffa@37.120.211.188) (Remote host closed the connection)
2021-03-19 02:31:42 → xff0x joins (~xff0x@2001:1a81:5242:1600:cb36:cbb0:c64a:920)
2021-03-19 02:32:44 × urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna)
2021-03-19 02:32:49 × viluon quits (uid453725@gateway/web/irccloud.com/x-ghtyiurdwpejnnhv) (Quit: Connection closed for inactivity)
2021-03-19 02:36:26 × acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 260 seconds)
2021-03-19 02:42:27 × matryoshka quits (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Ping timeout: 260 seconds)
2021-03-19 02:43:46 → matryoshka joins (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809)
2021-03-19 02:44:42 → conal joins (~conal@64.71.133.70)
2021-03-19 02:47:41 × unyu quits (~pyon@unaffiliated/pyon) (Quit: I remember I was told there's a new love that's born for each one that has died.)
2021-03-19 02:49:23 <Axman6> Came across this on Lobste.rs, and just reading the abstract I thought there could be some interesting applications to GHC... turns out they're way ahead of me https://drops.dagstuhl.de/opus/volltexte/2017/7273/
2021-03-19 02:49:38 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-03-19 02:49:45 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2021-03-19 02:54:22 → gitgoood joins (~gitgood@80-44-9-221.dynamic.dsl.as9105.com)
2021-03-19 02:55:57 × carlomagno quits (~cararell@148.87.23.7) (Quit: Leaving.)
2021-03-19 02:57:25 × gitgood quits (~gitgood@80-44-12-129.dynamic.dsl.as9105.com) (Ping timeout: 256 seconds)
2021-03-19 03:00:45 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-19 03:03:03 → conal joins (~conal@64.71.133.70)
2021-03-19 03:04:05 → FinnElija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716)
2021-03-19 03:04:05 finn_elija is now known as Guest52584
2021-03-19 03:04:05 FinnElija is now known as finn_elija
2021-03-19 03:05:21 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2021-03-19 03:08:05 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-19 03:08:08 × Guest52584 quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 268 seconds)
2021-03-19 03:11:52 × MVQq quits (~anja@198.254.199.42) (Quit: q)
2021-03-19 03:12:27 → MarcelineVQ joins (~anja@198.254.199.42)
2021-03-19 03:13:02 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-03-19 03:13:09 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 264 seconds)
2021-03-19 03:13:16 → plutoniix joins (~q@184.82.212.50)
2021-03-19 03:13:29 → conal joins (~conal@64.71.133.70)
2021-03-19 03:16:43 × elusive quits (~Jeanne-Ka@static-198-54-134-37.cust.tzulo.com) (Quit: Leaving)
2021-03-19 03:17:58 × conal quits (~conal@64.71.133.70) (Ping timeout: 245 seconds)
2021-03-19 03:20:29 × alx741 quits (~alx741@181.196.68.246) (Quit: alx741)
2021-03-19 03:21:28 × ezrakilty quits (~ezrakilty@97-113-58-224.tukw.qwest.net) (Remote host closed the connection)
2021-03-19 03:22:26 × poljar1 quits (~poljar@93-139-44-107.adsl.net.t-com.hr) (Read error: Connection reset by peer)
2021-03-19 03:23:00 → epicte7us joins (~epictetus@ip72-194-215-136.sb.sd.cox.net)
2021-03-19 03:23:12 → poljar1 joins (~poljar@93-139-44-107.adsl.net.t-com.hr)
2021-03-19 03:24:26 × stree quits (~stree@68.36.8.116) (Excess Flood)
2021-03-19 03:24:58 → stree joins (~stree@68.36.8.116)
2021-03-19 03:26:21 × ep1ctetus quits (~epictetus@ip72-194-215-136.sb.sd.cox.net) (Ping timeout: 264 seconds)
2021-03-19 03:29:27 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-19 03:33:02 → conal joins (~conal@64.71.133.70)
2021-03-19 03:34:02 × kderme quits (4fa6552d@ppp079166085045.access.hol.gr) (Ping timeout: 240 seconds)
2021-03-19 03:34:13 × mrchampion quits (~mrchampio@38.18.109.23) (Ping timeout: 245 seconds)
2021-03-19 03:34:19 × sm2n quits (~sm2n@bras-base-hmtnon143hw-grc-15-70-54-78-219.dsl.bell.ca) (Read error: Connection reset by peer)
2021-03-19 03:35:09 → MVQq joins (~anja@198.254.199.42)
2021-03-19 03:35:30 → sm2n joins (~sm2n@bras-base-hmtnon143hw-grc-15-70-54-78-219.dsl.bell.ca)
2021-03-19 03:36:15 × Tario quits (~Tario@201.192.165.173) (Ping timeout: 246 seconds)
2021-03-19 03:36:37 → Tario joins (~Tario@201.192.165.173)
2021-03-19 03:37:45 × MarcelineVQ quits (~anja@198.254.199.42) (Ping timeout: 264 seconds)
2021-03-19 03:37:47 → justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311)
2021-03-19 03:39:36 × MVQq quits (~anja@198.254.199.42) (Quit: q)
2021-03-19 03:39:55 → forgottenone joins (~forgotten@176.42.16.24)
2021-03-19 03:40:08 → MarcelineVQ joins (~anja@198.254.199.42)
2021-03-19 03:40:38 → DirefulSalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2021-03-19 03:43:29 → zyga joins (~zyga@139.28.218.148)
2021-03-19 03:49:54 × theDon quits (~td@muedsl-82-207-238-114.citykom.de) (Ping timeout: 246 seconds)
2021-03-19 03:52:01 → theDon joins (~td@muedsl-82-207-238-162.citykom.de)
2021-03-19 03:56:33 × nfd quits (~nfd9001@c-73-225-42-170.hsd1.wa.comcast.net) (Ping timeout: 246 seconds)
2021-03-19 03:59:58 <emmanuel_erc> Axman6: Here is a minimal example, hopefully. https://gist.github.com/emmanueldenloye/68767ab87827a5e048d4a9cecffa43b4. This compiles and runs and I assume you have a version of cabal that allows for cabal scripting.
2021-03-19 04:00:09 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-19 04:00:16 → jamm_ joins (~jamm@unaffiliated/jamm)
2021-03-19 04:00:50 <emmanuel_erc> Of course, the compilation speed here is relatively fast because there are few cases. In the code that I showed previously (this is the example where compilation chokes) there are at least 30 cases to consider.
2021-03-19 04:01:10 <emmanuel_erc> Is there someway to alleviate the burden of the compiler?
2021-03-19 04:02:33 × guest316` quits (~user@49.5.6.87) (Ping timeout: 245 seconds)
2021-03-19 04:03:43 × Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer)
2021-03-19 04:04:07 → Tario joins (~Tario@201.192.165.173)
2021-03-19 04:04:31 × jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 244 seconds)
2021-03-19 04:18:54 → shad0w_ joins (a0ca254d@160.202.37.77)
2021-03-19 04:25:06 × Aquazi quits (uid312403@gateway/web/irccloud.com/x-hqwyhalzcvtqolcp) (Quit: Connection closed for inactivity)
2021-03-19 04:25:06 × emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-19 04:25:07 × redmp quits (~redmp@172.58.35.162) (Quit: leaving)
2021-03-19 04:25:21 → emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-19 04:25:25 → ddellaco_ joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-03-19 04:28:08 × ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 256 seconds)
2021-03-19 04:32:36 × paddymahoney quits (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) (Ping timeout: 246 seconds)
2021-03-19 04:33:23 × jespada quits (~jespada@90.254.243.187) (Ping timeout: 245 seconds)
2021-03-19 04:34:08 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-03-19 04:34:30 × Tario quits (~Tario@201.192.165.173) (Ping timeout: 260 seconds)
2021-03-19 04:36:32 → jespada joins (~jespada@90.254.243.187)
2021-03-19 04:37:44 <dramforever> Is https://gitlab.haskell.org down?
2021-03-19 04:41:47 × shad0w_ quits (a0ca254d@160.202.37.77) (Quit: Connection closed)
2021-03-19 04:45:39 <ephemient> dramforever: seems like it, I can't get to it either
2021-03-19 04:45:56 × justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1)
2021-03-19 04:48:12 <ephemient> emmanuel_erc: doesn't seem reproducible to me. I even cloned them to `data MinimalTag where MinimalTag_String1 ... MinimalTagFloat100` for 500 cases total, and my Cabal+run time went from 2 seconds to 3 seconds. maybe it's missing something?
2021-03-19 04:48:34 <ephemient> I wonder if you're running into something like https://mail.haskell.org/pipermail/ghc-devs/2018-March/015538.html though
2021-03-19 04:50:05 → teardown joins (~user@gateway/tor-sasl/mrush)
←Prev  Next→
Page 1 .. 3903 3904 3905 3906 3907 3908 3909 3910 3911 3912 3913 .. 5022

All times are in UTC.