Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 792 793 794 795 796 797 798 799 800 801 802 .. 5022
— 502,152 events total
2020-10-22 03:09:52 <monsterchrom> haha
2020-10-22 03:10:04 → amagi_ joins (~amagi@113.101.23.223)
2020-10-22 03:10:38 <MarcelineVQ> it's the has-a-birthmark combinator, the total recall combinator is (.)(.)(.)
2020-10-22 03:11:10 <MarcelineVQ> You might think there's no difference but that couldn't be farther from the truth
2020-10-22 03:11:20 <MarcelineVQ> The difference is ( )
2020-10-22 03:11:44 <MarcelineVQ> Now get your ass to mars.
2020-10-22 03:14:46 → berberman|T joins (berberma_4@gateway/shell/matrix.org/x-cgdaaoawojkzwzyx)
2020-10-22 03:15:41 <koz_> Something something 'in Haskell we don't inspect each other's bottoms' something.
2020-10-22 03:19:03 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-22 03:23:53 → ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-22 03:24:47 × vqrs quits (~vqrs@learnprogramming/regular/vqrs) (Ping timeout: 260 seconds)
2020-10-22 03:25:16 → vqrs joins (~vqrs@learnprogramming/regular/vqrs)
2020-10-22 03:26:13 → aarvar joins (~foewfoiew@50.35.43.33)
2020-10-22 03:26:22 → Saukk joins (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4)
2020-10-22 03:27:32 × nineonine quits (~textual@216-19-190-182.dyn.novuscom.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-22 03:27:41 ← aarvar parts (~foewfoiew@50.35.43.33) ()
2020-10-22 03:28:30 × ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Ping timeout: 272 seconds)
2020-10-22 03:29:16 → nek0 joins (~nek0@mail.nek0.eu)
2020-10-22 03:29:46 × revprez_anzio quits (~revprez_a@pool-108-49-213-40.bstnma.fios.verizon.net) (Ping timeout: 272 seconds)
2020-10-22 03:30:01 → nineonine joins (~textual@216-19-190-182.dyn.novuscom.net)
2020-10-22 03:30:21 → revprez_anzio joins (~revprez_a@pool-108-49-213-40.bstnma.fios.verizon.net)
2020-10-22 03:30:51 × nineonine quits (~textual@216-19-190-182.dyn.novuscom.net) (Client Quit)
2020-10-22 03:35:31 × conal quits (~conal@ip-66-115-176-174.creativelink.net) (Read error: Connection reset by peer)
2020-10-22 03:35:52 → conal_ joins (~conal@ip-66-115-176-174.creativelink.net)
2020-10-22 03:36:41 → ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-22 03:37:58 × amagi_ quits (~amagi@113.101.23.223) (Quit: Lost terminal)
2020-10-22 03:38:03 → visage_ joins (~visage_@unaffiliated/visage/x-6658724)
2020-10-22 03:38:17 → amagi_ joins (~amagi@113.101.23.223)
2020-10-22 03:38:32 × amagi_ quits (~amagi@113.101.23.223) (Client Quit)
2020-10-22 03:38:52 → amagi_ joins (~amagi@113.101.23.223)
2020-10-22 03:39:13 → falafel joins (~falafel@71-34-132-121.clsp.qwest.net)
2020-10-22 03:39:33 × whatisRT quits (~whatisRT@2002:5b41:6a33:0:61c5:a3a1:1437:ebe5) (Quit: ZNC 1.7.5 - https://znc.in)
2020-10-22 03:40:32 <Squarism> is there a way to promote a value to a value that has a certain instance?
2020-10-22 03:40:37 <Squarism> class instance
2020-10-22 03:41:10 × ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Ping timeout: 246 seconds)
2020-10-22 03:41:10 × nyaomi quits (~naomi@cpe-74-75-6-125.maine.res.rr.com) (Ping timeout: 246 seconds)
2020-10-22 03:41:11 × dansho quits (~dansho@ip68-108-167-185.lv.lv.cox.net) (Quit: Leaving)
2020-10-22 03:42:11 × conal_ quits (~conal@ip-66-115-176-174.creativelink.net) (Quit: Computer has gone to sleep.)
2020-10-22 03:42:49 <Squarism> almost like Data.Typeable's cast but for class instances
2020-10-22 03:44:32 × VirusCorona quits (~roun@103.103.144.162) (Quit: nice)
2020-10-22 03:46:58 <koz_> Squarism: What's the context?
2020-10-22 03:49:19 → mozzarella joins (~sam@unaffiliated/sam113101)
2020-10-22 03:50:48 <Squarism> koz_, im working on a textual addressing mechanism for a class of data types i mention the other day. With risk of beeing TLDR : https://paste.ofcode.org/rbJug92hAXGxvAJVDdzAZu
2020-10-22 03:51:15 <koz_> 13 lines of extensions. This is some Real World Haskell right there. :P
2020-10-22 03:52:27 × ensyde quits (~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) (Ping timeout: 272 seconds)
2020-10-22 03:52:27 <Squarism> I'm not too experianced in advanced type magic, so I play around a bit
2020-10-22 03:52:46 <Squarism> im currently working on progress of mapLeaf2
2020-10-22 03:52:56 → polyrain joins (~polyrain@2001:8003:e501:6901:5473:8418:3e33:a31a)
2020-10-22 03:53:24 <Squarism> if " mapLeaf2 pr (a1 : a2 : rest) f" is set to undefined it should compile
2020-10-22 03:53:44 <Squarism> but its that function im trying to complete
2020-10-22 03:54:13 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2020-10-22 03:55:22 → mterwoord joins (~mterwoord@195.140.213.38)
2020-10-22 03:58:40 × justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) ()
2020-10-22 04:00:01 × alexelcu quits (~alexelcu@142.93.180.198) (Quit: ZNC 1.8.2 - https://znc.in)
2020-10-22 04:00:56 → alexelcu joins (~alexelcu@142.93.180.198)
2020-10-22 04:01:20 → olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber)
2020-10-22 04:02:49 → rekahsoft joins (~rekahsoft@fitz10681.telemetry.esentire.com)
2020-10-22 04:04:41 → ADG1089 joins (~adg1089@122.163.245.127)
2020-10-22 04:05:38 × ddellacosta quits (~dd@86.106.121.168) (Ping timeout: 260 seconds)
2020-10-22 04:05:56 <ADG1089> Some company asked me to design & implement XYZ system for last round as a whole day task and they told they will show this to an investor at the end of the day. I'm thinking they are just trying to get free consulting.
2020-10-22 04:07:10 × rekahsoft quits (~rekahsoft@fitz10681.telemetry.esentire.com) (Ping timeout: 256 seconds)
2020-10-22 04:08:41 → bartemius joins (~bartemius@109.252.20.20)
2020-10-22 04:10:06 → mirrorbird joins (~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1)
2020-10-22 04:10:08 × monsterchrom quits (trebla@216.138.220.146) (Quit: NO CARRIER)
2020-10-22 04:12:18 <ADG1089> any comments?
2020-10-22 04:12:35 × ADG1089 quits (~adg1089@122.163.245.127) ()
2020-10-22 04:12:58 → monsterchrom joins (trebla@216.138.220.146)
2020-10-22 04:13:35 <Squarism> Tell them you hourly fee
2020-10-22 04:14:21 × solonarv quits (~solonarv@astrasbourg-552-1-23-6.w90-13.abo.wanadoo.fr) (Ping timeout: 265 seconds)
2020-10-22 04:14:41 × Merfont quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-10-22 04:15:07 → Merfont joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-22 04:19:29 → ensyde joins (~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751)
2020-10-22 04:21:02 → yumh joins (~yumh@mail.xglobe.in)
2020-10-22 04:21:49 → nyaomi joins (~naomi@cpe-74-75-6-125.maine.res.rr.com)
2020-10-22 04:21:59 × visage_ quits (~visage_@unaffiliated/visage/x-6658724) (Quit: Textual IRC Client: www.textualapp.com)
2020-10-22 04:23:49 × emmanuel_erc quits (~user@2604:2000:1382:ce03:94e9:f71a:61cb:48a4) (Read error: Connection reset by peer)
2020-10-22 04:23:49 × darjeeli1 quits (~darjeelin@122.245.123.118) (Ping timeout: 256 seconds)
2020-10-22 04:23:58 → hyperisco joins (~hyperisco@d192-186-117-226.static.comm.cgocable.net)
2020-10-22 04:24:00 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-22 04:24:17 × ensyde quits (~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) (Ping timeout: 260 seconds)
2020-10-22 04:24:56 → darjeeli1 joins (~darjeelin@122.245.123.118)
2020-10-22 04:28:40 × acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 272 seconds)
2020-10-22 04:29:01 × drbean quits (~drbean@TC210-63-209-12.static.apol.com.tw) (Ping timeout: 264 seconds)
2020-10-22 04:29:37 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2020-10-22 04:29:55 × Saukk quits (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4) (Remote host closed the connection)
2020-10-22 04:30:13 × hyperisco quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 264 seconds)
2020-10-22 04:31:43 → mmohammadi981266 joins (~mmohammad@5.238.182.173)
2020-10-22 04:34:53 × Sarma quits (~Amras@unaffiliated/amras0000) (Ping timeout: 272 seconds)
2020-10-22 04:40:09 × texasmyn_ quits (~texasmyns@217.138.198.228) (Remote host closed the connection)
2020-10-22 04:40:54 → texasmynsted joins (~texasmyns@217.138.198.228)
2020-10-22 04:41:46 → mmohammadi9812 joins (~mmohammad@5.238.182.173)
2020-10-22 04:41:58 → day_ joins (~Unknown@unaffiliated/day)
2020-10-22 04:45:13 × day quits (~Unknown@unaffiliated/day) (Ping timeout: 264 seconds)
2020-10-22 04:45:13 day_ is now known as day
2020-10-22 04:45:39 × texasmynsted quits (~texasmyns@217.138.198.228) (Ping timeout: 260 seconds)
2020-10-22 04:45:39 × stefan-__ quits (~cri@42dots.de) (Read error: Connection reset by peer)
2020-10-22 04:45:52 → stefan-__ joins (~cri@42dots.de)
2020-10-22 04:47:35 × mmohammadi9812 quits (~mmohammad@5.238.182.173) (Quit: Quit)
2020-10-22 04:47:51 × avoandmayo quits (~textual@122-58-158-238-adsl.sparkbb.co.nz) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-22 04:48:01 → mmohammadi9812 joins (~mmohammad@5.238.182.173)
←Prev  Next→
Page 1 .. 792 793 794 795 796 797 798 799 800 801 802 .. 5022

All times are in UTC.